Precompiled headers and why Squid won't be using them (2023)
squidproxy.wordpress.com·5h·
Discuss: Hacker News
🔧ppx
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·3d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Labs for Broke – EKS for Pennies
georgedeblog.com·21h·
Discuss: Hacker News
🖥Self-Hosting
Flag this post
Pain Points of OCaml
quamserena.com·20h·
Discuss: Lobsters, Hacker News
📦Module Systems
Flag this post
Runs-On: Mac
runs-on-mac.com·4d·
Discuss: Hacker News
💾Classic Mac OS
Flag this post
🧠 New Open-Source Tool: git-recently - Instantly see your most recently modified (unstaged or untracked) files in Git; beautifully, right from your terminal wit...
reddit.com·4d·
Discuss: r/programming
❄️Nixified Development
Flag this post
Heroic Responsibility
lesswrong.com·3h
🩹Self-Healing Systems
Flag this post
Towards Automated Petrography
arxiv.org·21h
🔲Cellular Automata
Flag this post
Molecular Alchemy: AI-Powered Design of Novel Compounds by Arvind Sundararajan
dev.to·5h·
Discuss: DEV
🤖Program Synthesis
Flag this post
Finding Today's Changed Files: A Quick Python Script for File Uploads
dev.to·1d·
Discuss: DEV
📺Vintage Apple
Flag this post
Building PhishNet: An AI Cybersecurity Agent for Detecting Phishing Threats with Mastra
dev.to·3h·
Discuss: DEV
🔒Protocol Verification
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·3d·
Discuss: Substack
⚡Process Calculi
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·2d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·21h
🔍CBMC
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·8h·
Discuss: DEV
🌐Network Protocols
Flag this post
Claude Agent Skills: A First Principles Deep Dive
leehanchung.github.io·6d·
Discuss: Hacker News
🔤Language Design
Flag this post
15 Best AI Coding Assistant Tools
dev.to·5d·
Discuss: DEV
🤖Program Synthesis
Flag this post
Turbocharge Claude Desktop: Use Docker MCP Toolkit for Real Developer Workflows
dev.to·1d·
Discuss: DEV
🐳Containerization
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·21h
📦OPAM
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·2d·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post