Integrating Nix and Buck2
tweag.io·2d·
Discuss: Hacker News
☁️Serverless Rust
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
λFunctional Programming
7 workloads that run insanely fast on a 64-core Threadripper CPU
xda-developers.com·14h
⚡Hardware Acceleration
Executing arbitrary Python code from a comment
hacktron.ai·3d·
Discuss: Hacker News
🦋Tauri
Agents: An Optimistic Painting
abrowne.xyz·2d·
Discuss: Hacker News
🤖AI agents
Want to build your own cheap smart home sensors? Here's how I got started with the ESP32
xda-developers.com·1d
🔌Microcontrollers
Google Sans Code
github.com·20h·
Discuss: Hacker News
🎙️Whisper
How I Made Europe Searchable From a Single Server - The Story of HydrAIDE
dev.to·12h·
Discuss: DEV
☁️Serverless Rust
Why I Chose to Build When Everyone Told Me Not To
hackernoon.com·1d
✨vibe-coding
Semantic Caching with Spring AI & Redis
dev.to·1d·
Discuss: DEV
🗃️Embedded Databases
Stop Prompting, Start Designing: 5 Agentic AI Patterns That Actually Work
dev.to·1d·
Discuss: DEV
🤖AI agents
Python JSON Stringify Guide
dev.to·2d·
Discuss: DEV
🔌SQLite Extensions
Discrete Tokenization for Multimodal LLMs: A Comprehensive Survey
arxiv.org·1d
🎙️Whisper
AI is Eating QA's Lunch (And I'm Here for It!)
dev.to·3d·
Discuss: DEV
🧩Low-code
From Python to ML: A Challenge-Based Learning Journey
dev.to·12h·
Discuss: DEV
💻Local LLMs
Using Scaling Laws for Data Source Utility Estimation in Domain-Specific Pre-Training
arxiv.org·2d
🏗️AI Infrastructure
Show HN: Open-Source AI Code Review Agent for Teams
github.com·3d·
Discuss: Hacker News
🤖AI agents
Schematra: Sinatra inspired Chicken web framework
github.com·1d·
Discuss: Lobsters, Hacker News
🦋Tauri
Comp AI secures $2.6M pre-seed to disrupt SOC 2 market
devops.com·14h
🧩Low-code
Streamline GitHub workflows with generative AI using Amazon Bedrock and MCP
aws.amazon.com·2d
🤖AI agents