The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
📐Type Theory
An Updated Version of the OPML Peeler
calishat.com·6h
💻programming
rustc_codegen_gcc: Progress Report #37
blog.antoyo.xyz·1d·
Discuss: r/rust
🦀Rust
Using unstructured data to create knowledge graphs in SurrealDB
surrealdb.com·1d
🦀Rust
Racket 8.18 Released
blog.racket-lang.org·15h·
Discuss: Hacker News
🦀Rust
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·5d
🔧functional programming languages
Typescript monorepo / ORM hell
reddit.com·5h·
Discuss: r/typescript
⚠️Error Handling
Rewriting Modulo Traced Comonoid Structure
arxiv.org·1d
⚠️Error Handling
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
🔧functional programming languages
original ↗
raymondcamden.com·1d
💻programming
Toying with Poisoned Search Results Fed to an LLM
github.com·3h·
Discuss: Hacker News
💻programming
Let's build an MCP server (100% local):
threadreaderapp.com·11h
🦀Rust
Gpt-oss, The First Open-weight Reasoning Model from OpenAI
digitalocean.com·1d
🦀Rust
Do I need a Lisp Machine comeback?
far.chickenkiller.com·12h·
Discuss: Hacker News
🦀Rust
Lisp in 99 Lines of C With TinyLisp
hackaday.com·2d
🦀Rust
How to Get People Excited about Functional Programming • Russ Olsen & James Lewis • GOTO 2024
youtube.com·1d
🔧functional programming languages
ContextualLVLM-Agent: A Holistic Framework for Multi-Turn Visually-Grounded Dialogue and Complex Instruction Following
arxiv.org·20h
🔧functional programming languages
LLMs Won't Replace Programming Languages
mech-lang.org·17h·
Discuss: Hacker News
🔧functional programming languages
TIL The P53 gene is known as a 'tumor suppressor gene' due to its ability to prevent cancers forming. Whereas humans only have one instance of the gene, elephan...
en.wikipedia.org·1d·
Discuss: r/todayilearned
📐Type Theory
I made dynamic_string.h - a single-header C library with reference counting and immutable strings
reddit.com·20h·
Discuss: r/C_Programming
🦀Rust