🔧 Functional Programming - widget101 · Scour

Functional Logic Program Transformations

arxiv.org·1d

⚙️Query Compilers

Making a Language

thunderseethe.dev·9h

⚙️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·21h·

Discuss: DEV

🧮Apache Calcite

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🔄Concurrency

Designing a Programming Language for the Desert

futhark-lang.org·16h·

Discuss: Hacker News

⚙️Query Compilers

Conversation: LLMs and the what/how loop

martinfowler.com·17h

🌳Git Internals

Real programming vs. interviews: A dyslexic perspective

lobste.rs·22h·

Discuss: Lobsters

What School Violence Reveals About Education – and How AI Could Help

hackernoon.com·4h

🔍AI Detection

Evolution of LLMs use by a programmer

asfaload.com·15h·

Discuss: Hacker News

⚙️Query Compilers

Kolmogorov Complexity

en.wikipedia.org·20h·

Discuss: Hacker News

Project Aletheia: Verifier-Guided Distillation of Backtracking for Small Language Models

arxiv.org·3h

⚙️Query Compilers

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·2d·

Discuss: DEV

🔄Concurrency

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

thume.ca·2d·

Discuss: Hacker News

🛡️Memory Safety

Type-Safe Routing Without the Build Step

werkbank.dev·13h·

Discuss: Hacker News

Designing real systems with immutable data in Clojure

building.nubank.com·2d·

Discuss: Hacker News

🛡️Memory Safety

ES6 Generators Deliver Go Style Concurrency

swannodette.github.io·1d

🔄Concurrency

Support me with advice and feedback

hash-scanner-1.onrender.com·6h·

Discuss: DEV

🗂️Obsidian

Loading more...