Show HN: I'm building an open source platform for studying Arabic
parallel-arabic.com·14h·
Discuss: Hacker News
📝ABNF Extensions
Flag this post
Stochastic computing
scottlocklin.wordpress.com·13h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·4h·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·9h·
Discuss: Hacker News
🏗️Compiler Archaeology
Flag this post
Scripts That Don’t Fit: The Hidden Bias of NLP in South Asian Languages
digitalorientalist.com·3d
🏛Digital humanities
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.io·11h
⚙️TLA+
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·10h·
Discuss: Hacker News
🔄Schema Evolution
Flag this post
The ChatGPT effect: We’ve all started talking like robots
english.elpais.com·1h
🎙️Whisper
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·8h
⚡Proof Automation
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·12h·
Discuss: Hacker News
🔗Network Calculi
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·2d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Abjad AI at NADI 2025: CATT-Whisper: Multimodal Diacritic Restoration Using Text and Speech Representations
arxiv.org·3d
🎙️Whisper
Flag this post
Chatbots, My Rules of Engagement
christophedujarric.com·46m·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·12h·
Discuss: Hacker News
🔒Linear Types
Flag this post
Nonlinear dynamics of multi-omics profiles during human aging
nature.com·3h·
Discuss: Hacker News
🧬Copy Number Variants
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.com·2d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·10h·
Discuss: DEV
⚙️TLA+
Flag this post
Hardware to Prove Humanity
juliver.bearblog.dev·1d·
Discuss: Hacker News
🎯Threat Hunting
Flag this post