🧬 Computational Biology - danielfox · Scour

Algorithms for Modern Hardware 🔬Robert m. Hazen

en.algorithmica.org·1d·Hacker News

BQN: Implementation of Ordering Functions 🔬Robert m. Hazen

mlochbaum.github.io·16h·Hacker News

Functional Algorithms, Verified ✅Formal Verification

www21.in.tum.de·6d·Lobsters

Designing life science assessments in the era of generative artificial intelligence ⚙Complex ststems

journals.plos.org·1d·Hacker News

[Security/Feature] Deterministic substrate made modeling_utils.py stateful without modifying source — CJPI 100 · CVE-2025-32434 wrapped · Issue #45246 🌐Distributed Systems

github.com·14h·Hacker News

Almost every drug developed from now on will have probably used AlphaFold. ⚙Complex ststems

founderboat.com·3d·Hacker News

Artificial intelligence modeling techniques for vision-based occupancy determination 🔺Computational Geometry

patents.google.com·2d·Hacker News

Show HN: The 323, a 32-bit computer in Conway's Game of Life 🧩Complexity Theory

256-32.com·2d·Hacker News

Formal Modeling and Analysis of Distributed Systems from AWS ✅Formal Verification

p-org.github.io·3d·Hacker News

What if you could test ideas on simulated users before building them? 🧠Machine learning

askreplicas.com·1d·Hacker News

Visualizing Graph Structures Using Go and Graphviz 🔺Computational Geometry

dominik.info·4d·Hacker News, r/golang, r/programming

Is there a path to Gamification of Verification? ⚙Complex ststems

olshansky.info·1d·Hacker News

Floyd's Sampling Algorithm 📊Streaming ML

NULL BITMAP by Justin Jaffray via buttondown.com·3d·Hacker News

Škoda's Duobell bicycle bell outsmarts ANC headphones 🔬Robert m. Hazen

heise.de·1d·Hacker News

The Sortable interface: Teaching every column type to sort itself 🔬Robert m. Hazen

axiom.co·6d·Hacker News

Optimising a Pipelined RISC-V Core: From Naive Pipeline to Near-Superscalar Performance 🌐Distributed Systems

mummanajagadeesh.github.io·3d·Lobsters, Hacker News

Securing AI infrastructure to prevent backdoors and sabotage ✅Formal Verification

the-substrate.net·4d·Hacker News

Card Modeling FAQ (2002) 🔺Computational Geometry

cardfaq.org·4d·Hacker News

Retrospective on binary search and comp{ress,ilat}ion (2015) 🔬Robert m. Hazen

pvk.ca·16h·Hacker News

Show HN: I built a business strategy simulation game with two different UI modes 🧠Machine learning

voltstrategist.com·3d·Hacker News

Loading more...