Arduino Nano R4
store-usa.arduino.cc·1d·
Discuss: Hacker News
🐫Embedded OCaml
What MBA students reveal about inequality in America
promarket.org·4h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: RewriteBar v2.13.2: Review Window Improvements, Localizations and More
rewritebar.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Chaotic AI Tool Pricing: Limits Cut, Token Metering
forgecode.dev·3d·
Discuss: r/programming
👁️System Observability
Total Body Disruption
en.wikipedia.org·6h·
Discuss: Hacker News
🤖Program Synthesis
The Psychology of Deception – By Caroline Orr Bueno, PhD
weaponizedspaces.substack.com·8h·
Discuss: Substack
🎮Verification Games
Serverless single tenant RAG with DuckDB
summer.io·2d·
Discuss: Hacker News
📦Unikernel Systems
Idea: Introduce/standardize project development scripts
discuss.python.org·4d·
Discuss: Hacker News
❄️Nixified Development
I built a smart photo organizer that automatically finds solo portraits using AI face detection on macOS
reddit.com·21h·
Discuss: r/programming
🍎Apple
Show HN: My GPU Fan Saga – A DIY ATX Fan Controller
shafq.at·3d·
Discuss: Hacker News
👁️System Observability
How to (mostly) make InfluxDBv3 Enterprise work as the Proxmox external metric server
reddit.com·2d·
Discuss: r/homelab
📡Network Protocol Design
Nonlinear Framework for Speech Bandwidth Extension
arxiv.org·2d
🐫OCaml
GVCCS: A Dataset for Contrail Identification and Tracking on Visible Whole Sky Camera Sequences
arxiv.org·22h
➡️Category Theory
HypoChainer: A Collaborative System Combining LLMs and Knowledge Graphs for Hypothesis-Driven Scientific Discovery
arxiv.org·1d
✓Automated Theorem Proving
Application of Whisper in Clinical Practice: the Post-Stroke Speech Assessment during a Naming Task
arxiv.org·1d
🐫OCaml
Building Multi-Agent Solutions with Semantic Kernel and A2A Protocol
devblogs.microsoft.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
ICML Statement about subversive hidden LLM prompts
icml.cc·2d·
Discuss: Hacker News
🛡️seL4
ROBAD: Robust Adversary-aware Local-Global Attended Bad Actor Detection Sequential Model
arxiv.org·3d
🎮Verification Games
Graph-Structured Data Analysis of Component Failure in Autonomous Cargo Ships Based on Feature Fusion
arxiv.org·4d
💻CS
An Overview of the Risk-based Model of AI Governance
arxiv.org·3d
🏹Effect Systems