Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·5d·
Discuss: Hacker News
🔄functional programming
Flag this post
The Scariest Lines of Code I've Ever Written
canro91.github.io·7h·
Discuss: Hacker News
🔄functional programming
Flag this post
Computational Turing Test Reveals Systematic Differences Between Human and AI Language
arxiv.org·18h·
Discuss: Hacker News
🤖AI
Flag this post
Why Prompt Engineering Made Me Reach for JSX
chatbotkit.com·5h·
Discuss: Hacker News
🔄functional programming
Flag this post
A SQLite extension for the crazy ones because everything could be a database
kruzenshtern.org·23h·
Discuss: Hacker News
🔄functional programming
Flag this post
An Elegy for Jetbrains
news.ycombinator.com·8h·
Discuss: Hacker News
🔴Scala
Flag this post
Magika 1.0: now faster, smarter, and rebuilt in Rust
opensource.googleblog.com·1d·
Discuss: Lobsters, Hacker News
🔴Scala
Flag this post
Stainless Docs Platform — Early Access
stainless.com·1d·
Discuss: Hacker News
🔴Scala
Flag this post
TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg
github.blog·1d·
Discuss: Hacker News
🔄functional programming
Flag this post
My tutorial and take on C++20 coroutines (2021)
scs.stanford.edu·21h·
Discuss: Hacker News
🔄functional programming
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🔄functional programming
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·4d·
Discuss: Hacker News
🔄functional programming
Flag this post
Free Weather Data with National Weather Service API
clojurecivitas.github.io·23h·
Discuss: Hacker News
🔄functional programming
Flag this post
How to set up Emacs as an SVG editor
monospace.games·4h·
Discuss: Hacker News
🔴Scala
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·3d·
Discuss: Hacker News
🔄functional programming
Flag this post
Making MCP Tool Calls Scriptable with mcp_cli
joshbeckman.org·6h·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: I made a better DOM morphing algorithm
joel.drapper.me·11h·
Discuss: Hacker News
🔄functional programming
Flag this post
Weighted Quantile Weirdness and Bugs
practicalsignificance.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
A Week of Teaching
fivetwelvethirteen.substack.com·4h·
Discuss: Substack
🔄functional programming
Flag this post
Satisfying Bazel'€™s relative paths requirement in C++ toolchains
pigweed.dev·1d·
Discuss: Hacker News, r/cpp
🔴Scala
Flag this post