Cure - Verification-First Programming for the BEAM
cure-lang.orgยท2dยท
Discuss: Lobsters
โœ…Formal Verification
Flag this post
Guide to data analytics automation
zapier.comยท18h
๐ŸŽฒProbabilistic Programming
Flag this post
NumPy for Absolute Beginners: A Project-Based Approach to Data Analysis
towardsdatascience.comยท1d
๐ŸŽฒProbabilistic Programming
Flag this post
Becoming a Core Developer
stefaniemolin.comยท3d
๐Ÿ”—Parser Combinators
Flag this post
Run LLMs Locally
ikangai.comยท8hยท
Discuss: Hacker News
๐Ÿ—Computer Architecture
Flag this post
Beyond computational assumptions: How BGKW replaced hardness with isolation
reddit.comยท1dยท
Discuss: r/compsci
๐Ÿ”Cryptography
Flag this post
The AI development trap that wastes your time
suchdevblog.comยท12hยท
Discuss: Hacker News
๐ŸงฉTheorem Proving
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.comยท2dยท
Discuss: Substack
๐ŸงฉTheorem Proving
Flag this post
Where do I even begin with system design, where do I even start ?
reddit.comยท10hยท
Discuss: r/node
๐Ÿ—๏ธSoftware Architecture
Flag this post
What We Shipped in Q3: User Debug Tools, AI-Generated Features and More ๐Ÿš€
dev.toยท5hยท
Discuss: DEV
๐Ÿ—๏ธSoftware Architecture
Flag this post
SysPulse: A Terminal-based System Monitor
reddit.comยท4hยท
Discuss: r/programming
๐Ÿ—Computer Architecture
Flag this post
Helios-Engine ,Why I Built Another LLM Agent Framework (And Why You Might Actually Care)
dev.toยท2dยท
Discuss: DEV
๐Ÿฆ€Rust
Flag this post
Building Resilient Event-Driven Systems: Lessons from the Distributed Trenches
dev.toยท1dยท
Discuss: DEV
๐ŸŒDistributed Systems
Flag this post
The older I get, the better my code becomes
dev.toยท23hยท
Discuss: DEV
๐ŸงฎProgramming Language Theory
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.comยท1d
๐Ÿ”—Parser Combinators
Flag this post
Composer-1 vs SWE-1.5: A detailed Comparison
dev.toยท20hยท
Discuss: DEV
๐Ÿ—๏ธSoftware Architecture
Flag this post
Mastering End to End testing for Reliable Modern Software
dev.toยท16hยท
Discuss: DEV
๐Ÿ‘Open Source Software
Flag this post
The True Cost of AI Integrations: Comparing Performance and Pricing Models for C# Libraries
dev.toยท2dยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Flag this post