Software

Clean, a formal verification DSL for ZK circuits in Lean4

Hacker News - Thu, 2025-03-27 19:33
Comments
Categories: Software

A language for building concurrent software with confidence

Hacker News - Thu, 2025-03-27 19:15
Comments
Categories: Software

Parameter-Free KV Cache Compression for Memory-Efficient Long-Context LLMs

Hacker News - Thu, 2025-03-27 19:07
Comments
Categories: Software

B-2 Spirit Stealth Bombers Begin Unannounced Deployment to Diego Garcia

Hacker News - Thu, 2025-03-27 19:01
Comments
Categories: Software

California bill aims to phase out harmful ultra-processed foods in schools

Hacker News - Thu, 2025-03-27 18:45
Comments
Categories: Software

University of Toronto Snags Yale Professors as Canada Raids American Brain Trust

Hacker News - Thu, 2025-03-27 18:28
Comments
Categories: Software

Show HN: Xorq – open-source Python-first Pandas-style pipelines

Hacker News - Thu, 2025-03-27 18:27
Comments
Categories: Software

Philosophy of Coroutines (2023)

Hacker News - Thu, 2025-03-27 18:23
Comments
Categories: Software

Over 2000 protest in wake of student detainment

Hacker News - Thu, 2025-03-27 18:13
Comments
Categories: Software

Alkanes on Mars

Hacker News - Thu, 2025-03-27 18:10
Comments
Categories: Software

Abundance Isn't Going to Happen Unless Politicians Are Scared of the Status Quo

Hacker News - Thu, 2025-03-27 18:09
Comments
Categories: Software

Tracing the thoughts of a large language model

Hacker News - Thu, 2025-03-27 18:05
Comments
Categories: Software

Replit (YC W18) Is Hiring Engineers to Automate Coding

Hacker News - Thu, 2025-03-27 18:01
Comments
Categories: Software

Limits of Smart: Molecules and Chaos

Hacker News - Thu, 2025-03-27 17:51
Comments
Categories: Software

Zoom bias: The social costs of having a 'tinny' sound during video conferences

Hacker News - Thu, 2025-03-27 17:49
Comments
Categories: Software

Vibe marketing prompts for OpenAI's new model

Hacker News - Thu, 2025-03-27 17:24
Comments
Categories: Software

People say they prefer stories written by humans over AI, study says otherwise

Hacker News - Thu, 2025-03-27 17:10
Comments
Categories: Software

Fish odor syndrome – A rare metabolic condition that makes sweat smell like fish

Hacker News - Thu, 2025-03-27 16:55
Comments
Categories: Software

XAN: A Modern CSV-Centric Data Manipulation Toolkit for the Terminal

Hacker News - Thu, 2025-03-27 16:50
Comments
Categories: Software

Launch HN: Continue (YC S23) – Create custom AI code assistants

Hacker News - Thu, 2025-03-27 16:06
Comments
Categories: Software

Pages