🗂️ Data Structures - the_floundering_lotus · Scour

Simple Apps with Clojure, Htmx and Pipelines ✅Formal Verification

rockyj-blogs.web.app·3d·Hacker News

Sending a Welcome Message to New Employees Part 2 💻Programming

office365itpros.com·2d

Introducing Headcode: A Unified API for UK Rail Data 📰RSS Readers

Clojure Deref (May 26, 2026) λType Theory

clojure.org·3d

I Tried 20+ AI Agents and Chatbots Courses on Udemy: Here Are My Top 5 Recommendations for 2026 📚Education

javarevisited.blogspot.com·1d·javarevisited.blogspot.com

Pipeline Parallel Decompression ✅Formal Verification

danglingpointers.substack.com·3d·Substack

Resilience That Holds Under Load: Hazelcast Platform 5.7 🖥️Homelab

hazelcast.com·1d

How market makers print money ♟️Game Theory

zozo123.github.io·3d·Hacker News

Haskell Brain Teasers (Pragmatic Programmers) λType Theory

i-programmer.info·2d

Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation ✅Formal Verification

Introducing HRM-Text ✅Formal Methods

sapient.inc·4d·Hacker News

How Conflict-free Replicated Data Types power active-active database replication 🖥️Homelab

Understanding traceroute by re-implementing it in Rust λType Theory

blog.apnic.net·4d

Show HN: blqsort – Fast Branchless Quicksort with C++ Interface 🧮Algorithms

github.com·2d·Hacker News

Hands-On Python for Finance Course (75% discount) 🐍Python

sharewareonsale.com·4d

Engineering the Hierarchical Credit Engine: Data Model, Check Path, and the Race You Will Lose 🎯Constraint Programming

thefinancialengineer.substack.com·3d·r/programming

Accurate and Efficient MCMC for Latent Position Models λType Theory

Java Performance News May 2026 💻Computer Science

javaperformancetuning.com·3d

No slop grenade 🔓Lock Sport

perrotta.dev·4d

Gemma 4 CAD Orchestrator ✅Formal Verification

gemma4-cad-orchestrator-176775177828.us-central1.run.app·4d·DEV

Sign up or log in to see more results

Log in to enable infinite scrolling