🔧 Functional Programming - widget101 · Scour

Functional Logic Program Transformations

arxiv.org·21h

⚙️Query Compilers

Making a Language

thunderseethe.dev·4h

⚙️Query Compilers

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

Scheme implementation as O’Reilly book via Claude Code

ezzeriesa.notion.site·1d·

Discuss: Hacker News

🦀Rust Scientific

From logical reasoning to code in C and PHP

dev.to·15h·

Discuss: DEV

🧮Apache Calcite

Rust async combinators for elegant and secure concurrency

kerkour.com·20h·

Discuss: r/rust

🔄Concurrency

Designing a Programming Language for the Desert

futhark-lang.org·10h·

Discuss: Hacker News

⚙️Query Compilers

Conversation: LLMs and the what/how loop

martinfowler.com·12h

🌳Git Internals

Real programming vs. interviews: A dyslexic perspective

lobste.rs·17h·

Discuss: Lobsters

Evolution of LLMs use by a programmer

asfaload.com·9h·

Discuss: Hacker News

⚙️Query Compilers

Kolmogorov Complexity

en.wikipedia.org·14h·

Discuss: Hacker News

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·14h

🔐Privacy Engineering

Get To Grips With Transformers And LLMs

i-programmer.info·1d·

Discuss: Hacker News, r/programming

⚙️Query Compilers

Debounce in Swift: Ditch Combine for This One Simple Loop

github.com·1d·

Discuss: DEV

🔄Concurrency

Designing real systems with immutable data in Clojure

building.nubank.com·2d·

Discuss: Hacker News

🛡️Memory Safety

Type-Safe Routing Without the Build Step

werkbank.dev·8h·

Discuss: Hacker News

Support me with advice and feedback

hash-scanner-1.onrender.com·47m·

Discuss: DEV

🗂️Obsidian

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·2d·

Discuss: Hacker News

🛡️Memory Safety

Can LLMs Compress (and Decompress)? Evaluating Code Understanding and Execution via Invertibility

arxiv.org·21h

⚙️Query Compilers

ES6 Generators Deliver Go Style Concurrency

swannodette.github.io·1d

🔄Concurrency

Loading more...