Brazil AG Wants Probe of Possible Insider Trading on US Tariffs
bloomberg.com·1d·
Discuss: Hacker News, r/worldnews
✓Automated Theorem Proving
What is dynamitegroup.net and why does Google use it to review Chat bots?
allquiet.app·21h·
Discuss: Hacker News
🎮Verification Games
Mike Krieger and Luis von Ahn Join Figma's Board of Directors
figma.com·12h·
Discuss: Hacker News
🍎Apple
ROOST Announces “Coop” and “Osprey”: Free, Open-Source Trust and Safety Infrastructure for the AI Era
discord.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Security is a Renewals Problem: How to negotiate in vendor renewals
securityis.substack.com·2d·
Discuss: Substack
🔄Reproducible Builds
Dennis Ritchie: The Man Who Gave Us C Language
karthikwritestech.com·1d·
Discuss: Hacker News, r/programming
⚙️PL Implementation
Diary of a Startup – the rise and fall of ArsDigita
web.archive.org·19h·
Discuss: Hacker News
💾Retro Computing
Why we finally allowed arbitrary waits in our tests
octomind.dev·3d·
Discuss: Hacker News, r/programming
🧪Property-Based Testing
Vibe coding a Greek learning app without knowing Gree
mikeborozdin.com·1d·
Discuss: Hacker News
🍎Apple
Migrating over 30 lambdas from Serverless Framework with LLMs
intmaker.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Bare-Metal Kubernetes: The Performance Advantage Is Almost Gone
thenewstack.io·12h
⎈Kubernetes
Testing Exaone4 32B Q5
medium.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Fluent-state: a new fresh take on local React state
github.com·3d·
Discuss: Hacker News
🔄Finite State Machines
UL-DD: A Multimodal Drowsiness Dataset Using Video, Biometric Signals, and Behavioral Data
arxiv.org·1d
💻CS
I just passed my 2nd year of B.Tech CSE. i know the syntax of languages and rn i am building mini projects , need some suggestions and reviews on my ways of doi...
reddit.com·4d·
Discuss: r/programming
💻CS
Dear Sam Altman
news.ycombinator.com·1d·
Discuss: Hacker News
💻CS
A multi-strategy improved snake optimizer for three-dimensional UAV path planning and engineering problems
arxiv.org·1d
🤖Program Synthesis
Enhancing Sustainability in HAPS-Assisted 6G Networks: Load Estimation Aware Cell Switching
arxiv.org·1h
📡Network Protocol Design
MedSR-Impact: Transformer-Based Super-Resolution for Lung CT Segmentation, Radiomics, Classification, and Prognosis
arxiv.org·1h
🏹Effect Systems