Myers Diff for Tab Management: Part 2
🔍Static Analysis
Flag this post
Can LLMs subtract numbers?
🐫Ocaml
Flag this post
are-dependent-types-actually-erased
🪜Scala
Flag this post
A C example with objects and a arena for allocations, what do you think?
🔍Static Analysis
Flag this post
The Downside of Anthropomorphizing
🪜Scala
Flag this post
Vibing Negative
theblackwall.uk·6h
💻Claude
Flag this post
Think DSP second edition
allendowney.com·2d
🪜Scala
Flag this post
Create a MCP server from scratch
📐formal specification
Flag this post
Continuous Autoregressive Language Models : Alternate for traditional LLMs, paper by Tencent
🐫Ocaml
Flag this post
I ace CS exams but can’t code my way out of a loop — and my profs still picked me for competitive programming 😭 What do I do?
🔍Static Analysis
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
📐formal specification
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·3d
🪜Scala
Flag this post
HAP v2 - a declarative HTTP framework for rapid API service development
pkg.go.dev·8h
🪜Scala
Flag this post
The Curved Spacetime of Transformer Architectures
🪜Scala
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
📐formal specification
Flag this post
Loading...Loading more...