Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·11h·
Discuss: Hacker News
💻Programming languages
Flag this post
How a Colorado psychologist proved being gay isn't a mental illness
cpr.org·13h·
Discuss: Hacker News
📊Economic Theory
Flag this post
Show HN: QRShrt – Turn your shirt into a photo collection system with QR codes
news.ycombinator.com·1d·
Discuss: Hacker News
🔐Security Patterns
Flag this post
This Jet Engine Uses No Fuel – Only Microwaves and Air, According to Researchers
slashgear.com·7h·
Discuss: Hacker News
🌐Distributed systems
Flag this post
Why are Massachusetts' teachers unions so opposed to the reading bill?
wbur.org·12h·
Discuss: Hacker News
📏Linear Types
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·11h·
Discuss: Hacker News
📏Linear Types
Flag this post
I tested Sora's new 'Character Cameo' feature, and it was borderline disturbing
zdnet.com·4h·
Discuss: Hacker News
🏹Apache Arrow
Flag this post
The Dare Market Manifesto
docs.daremarket.com·14h·
Discuss: Hacker News
📊Quant Trading
Flag this post
Pressure to change
maryrosecook.com·1d·
Discuss: Hacker News
💻Programming languages
Flag this post
‘A lot of this is speculative’: faith and fear mix amid $3tn global datacentre boom
theguardian.com·15h·
Discuss: Hacker News
🌐Distributed systems
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·21h·
Discuss: Hacker News
📈Time Series ML
Flag this post
After the Last Git Commit
gist.github.com·7h·
Discuss: Hacker News
🌐Distributed systems
Flag this post
10k-Year Earworm to Discourage Resettlement Near Nuclear Waste Repositories
genius.com·1d·
Discuss: Hacker News
🏹Apache Arrow
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·20h·
Discuss: Hacker News
📈Time Series ML
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·11h·
Discuss: Hacker News
🏹Apache Arrow
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·17h·
Discuss: Hacker News
💻Programming languages
Flag this post
Handbook of Satisfiability (2021)
iospress.com·15h·
Discuss: Hacker News
📐Formal Methods
Flag this post
What Mamdani Gets Right About Housing
theatlantic.com·14h·
Discuss: Hacker News
📊Economic Theory
Flag this post
Nuclear Reactor Slated to Repurpose Coal-Burning Power Plants (2023)
holtecinternational.com·1d·
Discuss: Hacker News
📮Message Queues
Flag this post
Through the Crystal Ball of VC Florian Graillot
insurtechamsterdam.com·18h·
Discuss: Hacker News
💹Rust Finance
Flag this post