Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
🔍Chip Verification
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·5d
λFunctional Programming
Flag this post
Improving Emacs' iCalendar Support
recursewithless.net·1d·
Discuss: Hacker News
☁️Serverless Rust
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
blog.stephenturner.us·4h·
Discuss: Hacker News
📊ClickHouse
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·3d·
Discuss: Hacker News
🔄C to Rust Translation
Flag this post
The APM paradox
honeybadger.io·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/devops, r/programming, r/webdev
📊Infrastructure Monitoring
Flag this post
Vercel AI SDK 6 Beta
v6.ai-sdk.dev·3d·
Discuss: Hacker News
🤖AI agents
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·1d·
Discuss: Hacker News
✨vibe-coding
Flag this post
⚠️ Most Developers Are Using AI Wrong — Here’s How to Fix It
dev.to·17h·
Discuss: DEV
🧩Low-code
Flag this post
PlotCraft: Pushing the Limits of LLMs for Complex and Interactive Data Visualization
arxiv.org·9h
🏗️AI Infrastructure
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·1d·
Discuss: DEV
🔍Query Compilers
Flag this post
A2A adventures
dev.to·20h·
Discuss: DEV
🌐Axum
Flag this post
I built a self-healing home lab with n8n
xda-developers.com·27m
🧪Home Lab
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
github.com·1d·
Discuss: Hacker News, r/LocalLLaMA
🏗️AI Infrastructure
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·2d·
Discuss: DEV
⚡Tokio
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·1d·
Discuss: Hacker News
➡️Apache Arrow
Flag this post
Creating a very basic gRPC server
dev.to·19h·
Discuss: DEV
🌐Rust Networking
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·8h·
Discuss: DEV
✨vibe-coding
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·22h
🏗️AI Infrastructure
Flag this post
Why AI Needs Human Oversight for Architecture: A Real Refactoring Story
dev.to·2d·
Discuss: DEV
🧩Low-code
Flag this post