diig - A music discovery app for record diggers
polymonster.co.uk·1d·
Discuss: Hacker News
🗃️SQLite
I Built an AI Flood Forecasting System with Next.js 15 &
future.forem.com·12h·
Discuss: DEV
☁️Serverless Rust
Experimenting with ACL2 and Claude Code
mikedodds.org·2d·
Discuss: Hacker News
💬Language Servers
Functions are Asymmetric
elbeno.com·2d·
Discuss: Hacker News
λFunctional Programming
[Pre-RFC] Substructural Type System
internals.rust-lang.org·10h·
Discuss: Hacker News
⚠️Unsafe Rust
Assessing microplastic contamination in milk and dairy products
nature.com·3h·
Discuss: Hacker News
♻️Bioplastics
Reverse Supply Chain Network Design of a Polyurethane Waste Upcycling System
arxiv.org·2d
♻️Bioplastics
Assessing Paleovirus Revival Risk via Multi-Agent Bayesian Network Simulation
dev.to·23h·
Discuss: DEV
🧬Computational Biology
Online KubeDiagrams Service
reddit.com·14h·
Discuss: r/kubernetes
📦Container Orchestration
Show HN: Realization Jsmn on a Pure Zig
github.com·2d·
Discuss: Hacker News
☁️Serverless Rust
Software Architecture: A Horror Story
mihai-safta.dev·2d
🧩Low-code
A small number of samples can poison LLMs of any size
dev.to·2d·
Discuss: DEV
💻Local LLMs
80 Days, 80 Python Challenges: The Project That Will Turn Me Into a Better Coder! 🐍 (My First Post)
dev.to·10h·
Discuss: DEV
🧩Low-code
The Complete Guide to Building High-Quality Backlinks in 2025
dev.to·2d·
Discuss: DEV
🕸️Knowledge Graphs
Contrastive Weak-to-strong Generalization
arxiv.org·2d
🎙️Whisper
ResAD: Normalized Residual Trajectory Modeling for End-to-End Autonomous Driving
arxiv.org·2d
🏗️AI Infrastructure
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
🏗️AI Infrastructure
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
💻Local LLMs
Managing Asynchronous Work with Celery and Redis
dev.to·2d·
Discuss: DEV
☁️Serverless Rust