Detecting Organic Contaminants with Less Data
mirawelner.com·1d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Information is Beautiful Awards 2024
informationisbeautifulawards.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Static analysis for pull requests. Another step towards regularity
pvs-studio.com·23h·
Discuss: r/programming
🔬Static Analysis
Annealing in Space: How NASA Saved JunoCam in Orbit Around Jupiter
hackaday.com·41m
💾Retro Computing
Paste Extrusion for 3D Printing Glass and Eggshells
hackaday.com·1d
🔬Unikernels
Preserving Ownership Culture in a Scaling Engineering Team
handsonculture.blog·1d·
Discuss: Hacker News
👁️System Observability
Rethinking MCP or Tool Calling Through Permission Based System
shivasurya.me·2d·
Discuss: Hacker News
🛡️seL4
Under-qualified sysadmin crashed Amazon.com for 3 hours with a typo
theregister.com·2d·
Discuss: Hacker News
❄️Nixified Development
Ask HN: What Speaker Diarization tools should I look into?
news.ycombinator.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
(Python) Poste Italiane document parser
github.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
First Mini PC for modded Minecraft and Homelab
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
What are the practical building blocks for independent AI agents?
news.ycombinator.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
One Step is Enough: Multi-Agent Reinforcement Learning based on One-Step Policy Optimization for Order Dispatch on Ride-Sharing Platforms
arxiv.org·1d
✓Automated Theorem Proving
Brave blocks Microsoft Recall by default
brave.com·1d·
Discuss: Hacker News, Hacker News
🍎Apple
A 27M-param model that solves hard Sudoku/mazes where LLMs fail, without CoT
github.com·22h·
Discuss: Hacker News
🎮Verification Games
From Flat to Round: Redefining Brain Decoding with Surface-Based fMRI and Cortex Structure
arxiv.org·7h
🐫OCaml
Suggestions for building NAS
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
personal NAS setup
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
P-CoT: A Pedagogically-motivated Participatory Chain-of-Thought Prompting for Phonological Reasoning in LLMs
arxiv.org·7h
🎮Verification Games
Advanced Space Mapping Technique Integrating a Shared Coarse Model for Multistate Tuning-Driven Multiphysics Optimization of Tunable Filters
arxiv.org·1d
🐫OCaml