Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.com·1d·
Discuss: r/cpp
🧮Combinator Calculus
ഈലോകഗോളം തിരിയുന്ന മാർഗ്ഗം - Cosmic Spiral of Compassionate Intelligence
vivaram.org·19h
📋S-Expression
A gentle introduction to Generative AI: Historical perspective
medium.com·16h·
Discuss: Hacker News
📊LR Parsing
Rust 🦀 for french speaker's
youtube.com·2h·
Discuss: r/programming, r/rust
🎓Teaching Compilers
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·16h·
Discuss: Hacker News
🪜Recursive Descent
Building a Production-Ready E-Commerce Platform with NestJS
dev.to·1d·
Discuss: DEV
📦Monorepos
Quantum Agents: The Algorithmic Alchemists Reshaping Discovery
dev.to·7h·
Discuss: DEV
✨Gleam
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·4d
🧮Theorem Provers
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🎮Language Ergonomics
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·1d
🔍ML Language
How Google Translate & ChatGPT Work: The Transformer, Unboxed
proceedings.neurips.cc·2d·
Discuss: DEV
🌊Streaming Lexers
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·2d·
Discuss: Hacker News
🧮Combinator Calculus
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·18h·
Discuss: Hacker News
💬Interactive REPLs
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to·1d·
Discuss: DEV
🪄C Metaprogramming
Memgoose – An In-Memory Mongoose Impersonator
github.com·8h·
Discuss: Hacker News
📡Protocol Buffers
Built FoldCMS: a type-safe static CMS with Effect and SQLite with full relations support (open source)
reddit.com·1d·
Discuss: r/opensource
📚Stack Languages
Built FoldCMS: a type-safe static CMS with Effect and SQLite with full relations support (open source)
reddit.com·1d·
Discuss: r/webdev
📚Stack Languages
Three Solutions to Nondeterminism in AI
blog.hellas.ai·3d·
Discuss: Hacker News
✅Type Checking
7x faster JSON in SQL: a deep dive into Variant data type
e6data.com·1h·
Discuss: Hacker News
🎭Polymorphic Variants
Generalized Orders of Magnitude (GOOMs)
github.com·2h·
Discuss: Hacker News
🧮Linear Algebra