A New Faster Algorithm for Gregorian Date Conversion
benjoffe.com·2d·
Discuss: Hacker News, r/cpp
🔢Algebraic Data Types
Flag this post
Up and Down the Ladder of Abstraction
worrydream.com·7h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Precompiled headers and why Squid won't be using them (2023)
squidproxy.wordpress.com·20h·
Discuss: Hacker News
🔧ppx
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Microservices? No, modularity is what matters
binaryigor.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
It’s Time To Build APIs for AI, Not Just For Developers
thenewstack.io·1d
🤖Program Synthesis
Flag this post
Tea-Fi Redefines DeFi: One SuperApp. Infinite Yield. Powered by $TEA
hackernoon.com·1d
🔬Unikernels
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·20h·
Discuss: Hacker News
💎Refinement Types
Flag this post
4 Rules for Successful Vibe Coding
appsoftware.com·2h·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
[R] Knowledge Graph Traversal With LLMs And Algorithms
reddit.com·19h·
📝Term Rewriting
Flag this post
AI Uses Functions to Fetch Real Data (Not Just Chat)
farukalpay.substack.com·1d·
Discuss: Substack
λFunctional Programming
Flag this post
Weakly Supervised Concept Learning with Class-Level Priors for Interpretable Medical Diagnosis
arxiv.org·1d
🔍CBMC
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·1d
🔍Formal Verification
Flag this post
Reevaluating Self-Consistency Scaling in Multi-Agent Systems
arxiv.org·1d
🔲Cellular Automata
Flag this post
ZoFia: Zero-Shot Fake News Detection with Entity-Guided Retrieval and Multi-LLM Interaction
arxiv.org·1d
🧩Parser Combinators
Flag this post
Building PRRover: A FastAPI GitHub PR Reviewer with Telex A2A Integration
dev.to·1d·
Discuss: DEV
🌐Network Protocols
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·12h
🔍CBMC
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·1d
🔲Cellular Automata
Flag this post
The 2-hour upgrade: coder engineer
dev.to·11h·
Discuss: DEV
🔧DevOps
Flag this post