Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·1d·
Discuss: Hacker News
🔷C#
Protobuffers Are Wrong
reasonablypolymorphic.com·5d·
Discuss: Hacker News, r/programming
🔷C#
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·2d·
Discuss: Hacker News
🔷C#
InvisiCaps: Giving Capabilities to C Pointers
fil-c.org·5d·
Discuss: Hacker News
🔷C#
A quarter century of chasing simplicity
loopwerk.io·1d·
Discuss: Hacker News
🔷C#
Animistic Physics
dothemath.ucsd.edu·1d
🐍Python
Federated Learning Explained: Collaborative AI Without Data Sharing
stackabuse.com·2d
🤖AI
Voice AI Needs an Accurate Evaluation Layer. Podonos Just Raised $2.4M to Build It
prnewswire.com·22h
🐍Python
You too can run malware from NPM (I mean without consequences)
github.com·1d·
Discuss: Hacker News
🔷C#
Show HN: Chrome-site-stats – Track, limit, and optimize your browsing time
chromewebstore.google.com·1d·
Discuss: Hacker News
🐍Python
Techno-economic analysis of deuterium-tritium magnetic confinement fusion power plants
sciencedirect.com·1d
🔷C#
Music Spectrum Visualizer, In 10 min, No coding required
hackster.io·1d
📊R
Groovy 5 expands Java and JDK support
infoworld.com·1d
🐍Python
I am fairly new and have a question on how to make something specific
reddit.com·1d·
Discuss: r/godot
🔷C#
Immunic Receives Notice of Allowance for United States Patent Protecting Vidofludimus Calcium's Dose Strengths in Progressive Multiple Sclerosis
prnewswire.com·1d
🐍Python
From Digital Distrust to Codified Honesty: Experimental Evidence on Generative AI in Credence Goods Markets
arxiv.org·1d
📊R
gcloud MCP Server: Seamless Integration with GCP Resources for AI agents
github.com·1d·
Discuss: Hacker News
🔷C#
Modeling Visual Hallucination: A Generative Adversarial Network Framework
arxiv.org·1d
🤖AI
Using RPI 5 Compute Module for FPGA Test
hackster.io·2d·
Discuss: Hacker News
🐍Python
A Beginner’s Guide to Svelte Stores (Writable, Readable, and Derived)
dev.to·2d·
Discuss: DEV
🔷C#