Neon PostgreSQL Tutorial
neon.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Reticular Thalamic Activity and Autism Spectrum Disorders
science.org·1d·
Discuss: Hacker News
➡️Category Theory
7 Best Practices for API Design 🔥
newsletter.systemdesign.one·3d·
Discuss: r/programming
👁️System Observability
Show HN: Miniatur AI – Transform character images into figurine renders with AI
miniatur-ai.online·1d·
Discuss: Hacker News
✓Automated Theorem Proving
How to Avoid Knowledge Stagnation
marlonribunal.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Fixing my gripes with GitHub using Gleam and a Raspberry Pi
giacomocavalieri.me·1d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Oops, No Victims: The Largest Supply Chain Attack Stole 5 Cents
securityalliance.org·1d·
Discuss: Hacker News
🔧Unikernel Development
How to (actually) become an expert in .NET
mijailovic.net·3d·
Discuss: r/AskProgramming, r/programming
🔄Reproducible Builds
Get Started Using Generative AI for Content Creation With ComfyUI and NVIDIA RTX AI PCs
blogs.nvidia.com·1d·
Discuss: Hacker News
💾Retro Computing
I don’t want AI agents controlling my laptop
sophiebits.com·1d·
Discuss: Lobsters, Hacker News
🖥Self-Hosting
Show HN: DevSwarm, run multiple AI coding assistants in parallel
devswarm.ai·1d·
Discuss: Hacker News
⚙️PL Implementation
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·22h·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Kaset — Embed Coding Agents Directly in Your Web App
medium.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
AI Agents and Their Life Cycle: What You Should Know
thenewstack.io·22h
🩹Self-Healing Systems
Underdetermined Fourier Extensions for Surface Partial Differential Equations
arxiv.org·2d
🐫OCaml
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·15h·
Discuss: Hacker News
⚙️PL Implementation
Promptware Attacks Against LLM-Powered Assistants in Production
sites.google.com·2d·
Discuss: Hacker News
🛡️seL4
MCANet: A Multi-Scale Class-Specific Attention Network for Multi-Label Post-Hurricane Damage Assessment using UAV Imagery
arxiv.org·2d
📚Automata Learning
The Ethical Compass of the Machine: Evaluating Large Language Models for Decision Support in Construction Project Management
arxiv.org·2d
🧠Automated Reasoning
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org·6d
🧠Automated Reasoning