Beyond the Hype: Why Your AI Assistant Might Be Sabotaging Your Architecture
medium.com·11h·
Discuss: Hacker News
🤖Program Synthesis
Cognitive and Gestalt psychology in your code: SMVP pattern
github.com·17h·
Discuss: Hacker News
🐫OCaml
ECMAScript TC39 proposal-pattern-matching
github.com·2h·
Discuss: Hacker News
💎Refinement Types
The Obsolescence of Political Definitions
vmchale.com·3h·
Discuss: Hacker News
🧮Lambda Calculus
AI Companies School Like Fish
dbreunig.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Rating 26 years of Java changes
neilmadden.blog·2d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Just built a God Proof Simulator with React & TypeScript - Philosophy & Code Experiment
reddit.com·2d·
Discuss: r/programming
💎Refinement Types
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·35m·
Discuss: Hacker News
🤖Program Synthesis
[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.com·1d
🧩Parser Combinators
Show HN: Semlib – Semantic Data Processing
github.com·2h·
Discuss: Hacker News
🧩Parser Combinators
You can't test if quantum uses complex numbers
algassert.com·4h·
Discuss: Hacker News
🧩Separation Logic
Basic Guide to Einsum
ajcr.net·20h·
Discuss: Hacker News
🧮Lambda Calculus
Top 38 .NET interview questions asked in 2025
dotnetinterviews.com·2h·
Discuss: Hacker News
🔤DSLs
Issue 489
haskellweekly.news·4d·
Discuss: Hacker News
🔠Type-Level Programming
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·3d·
Discuss: Hacker News
🏹Effect Systems
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·3h·
Discuss: Hacker News
⚙️PL Implementation
An information-theoretic foreshadowing of mathematicians' sudden insights
pnas.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
I built an LLM from Scratch in Rust (Just ndarray and rand)
github.com·1d·
Discuss: Hacker News, r/LLM, r/rust
🧩Parser Combinators
Hosting a WebSite on a Disposable Vape
bogdanthegeek.github.io·14h·
Discuss: Lobsters, Hacker News, Hacker News
🖥Self-Hosting
From Legal Documents to Knowledge Graphs
neo4j.com·2d·
Discuss: Hacker News
🧩Parser Combinators