TL;DR: I’m proposing SpecMD — a compiler that turns Markdown specifications into verified, executable code. Think “literate programming meets LLM-powered synthesis meets formal verification.” This is ...

Ancestral genomes are essential for studying the diversification of life from the last universal common ancestor to modern organisms. Methods have been proposed to infer ancestral gene order, but they ...

Pancreatic cancer treatment often relies on multi-drug regimens, but optimal combinations remain elusive. This study evaluates predictive approaches to identify synergistic drug combinations using a ...

Have you ever wondered how programming models relationships—whether it’s social networks, web pages, or transportation systems? One powerful concept that helps us model these connections is the graph.

Academic departments, research clusters and evaluators analyze author and citation data to measure research impact and to support strategic planning. We created Scholar Metrics Scraper (SMS) to ...

Note: Some of the code here is old and was written when I was learning C++. It might be possible that code is not safe or making wrong assumptions. Please use with caution. Pull requests are always ...

I originally created this as a short to-do list of study topics for becoming a software engineer, but it grew to the large list you see today. After going through this study plan, I got hired as a ...