Nvdia using SPARK for safety-critical firmware (adacore.com)

1 points by c2the3rd 1m ago 0 comments

Show HN: Building a convolutional neural network from scratch with no libraries (deadbeef.io)

1 points by rjinman 3m ago 0 comments

I rebuilt Kate Raworth's Doughnut Economics model with SDG metrics and data (debuggingearth.substack.com)

1 points by MattDworakowski 4m ago 0 comments

AI-assisted coding for teams that can't get away with vibes (blog.nilenso.com)

1 points by m5r 5m ago 0 comments

A Technique of Pure Reason (lesswrong.com)

1 points by ibobev 6m ago 0 comments

Is Fake Grass Safe? A Manufacturer Sues to Stop a Discussion (nytimes.com)

1 points by bookofjoe 8m ago 1 comments

Store as HTML, Edit as LML (ratfactor.com)

1 points by ibobev 9m ago 0 comments

Haskell Weekly Issue 477 (haskellweekly.news)

1 points by amalinovic 10m ago 0 comments

It's 1999 and I Feel Fine (filfre.net)

1 points by ibobev 10m ago 0 comments

Investors Are Finally Excited About Europe and Japan Again (businessinsider.com)

1 points by doener 10m ago 0 comments

Matrix: Why Olm and Megolm Are No Longer Fit to Protect Sensitive Data in the EU (wire.com)

1 points by bipbip4242 12m ago 0 comments

Show HN: Boeing Flight Detector (github.com)

3 points by pankajtanwar 15m ago 0 comments

Khalifa University and Knowledge E to Organise AI Futures Summit in Abu Dhabi

1 points by KnowledgeE 16m ago 0 comments

/e/ OS 3.0: Slightly less clunky, slightly more private (theregister.com)

3 points by defrost 17m ago 0 comments

NumPy-like audio manipulation library (github.com)

1 points by pinter69 19m ago 1 comments

Rewriting Kafka in Rust (wangjunfei.com)

2 points by chuckhend 20m ago 0 comments

A Deep Dive into OpenAPI (deployhq.com)

3 points by whatatimeline 25m ago 0 comments

Show HN: Curated collection of the greatest photography books (photographybooks.top)

2 points by Henadz 27m ago 0 comments

Show HN: Simple Drag and drop mockup creator (peerlist.io)

2 points by jdsane 28m ago 0 comments

They Control You (defragzone.substack.com)

3 points by frag 29m ago 1 comments

Show HN: Claude Code Usage Monitor – real-time tracker to dodge usage cut-offs (github.com)

11 points by Maciej-roboblog 33m ago 4 comments

2025 Gödel Prize has been awarded to Eshan Chattopadhyay (sigact.org)

3 points by thunderbong 34m ago 0 comments

Let There Be Bobcoin (bitfieldconsulting.com)

1 points by gus_leonel 39m ago 0 comments

Sizing Up Sizewell C (thecritic.co.uk)

2 points by scrlk 40m ago 0 comments

Protestware in JavaScript UI Toolkits on NPM Target Russian Language Sites (socket.dev)

2 points by feross 40m ago 0 comments

Optimizing tea: An N=4 experiment (dynomight.net)

1 points by OuterVale 41m ago 0 comments

Usability Barriers for Liquid Types (dl.acm.org)

1 points by matt_d 45m ago 0 comments

Nationalization of Cyber Threat Intelligence (fromcyberia.substack.com)

2 points by campuscodi 45m ago 0 comments

Six-month-old, solo-owned vibe coder Base44 sells to Wix for $80M cash (techcrunch.com)

17 points by myth_drannon 48m ago 0 comments

Show HN: 10xarch – System design playground for building and getting AI feedback (10xarch.com)

3 points by ahmadhawwash 49m ago 0 comments

The Most Ethical AI (gizvault.com)

2 points by ricecat 49m ago 0 comments

From LLM to AI Agent: What's the Real Journey Behind AI System Development? (codelink.io)

5 points by codelink 50m ago 0 comments

Seriously, can these bozos do anything on their own? (letterstome.cc)

2 points by wiljr 50m ago 0 comments

Show HN: Some Pay Millions for McKinsey, Others Use BrainTerms (brainterms.ai)

3 points by Jderenne 51m ago 1 comments

Eat or be eaten by AI, Amazon CEO warns staff (theregister.com)

1 points by Brajeshwar 52m ago 0 comments

Salesforce adds AI to everything, jacks up prices by 6% (theregister.com)

1 points by Brajeshwar 52m ago 0 comments

Microsoft Broke DHCP for Windows Server Last Patch Tuesday (theregister.com)

2 points by Brajeshwar 52m ago 0 comments

I built T2IM – AI-powered photo generation (texttoimagemodel.com)

1 points by ghazwan 53m ago 0 comments

Exploring the Theory and Practice of Concurrency in the ECS Pattern [pdf] (curious.software)

1 points by matt_d 56m ago 0 comments

Show HN: GitHub as Blogging Engine

3 points by revskill 1h ago 2 comments

NTSB – Urgent safety bulletin potential problems with Boeing 737 MAX jet engines (ntsb.gov)

2 points by belter 1h ago 0 comments

Stanford CS 153: Infra Scale – Cursor CTO and Co-Founder Sualeh Asif [video] (youtube.com)

2 points by handfuloflight 1h ago 0 comments

Show HN: LifeHabitsAPI – Get daily habits aligned with core life values (lifehabitsapi.com)

1 points by galdevops 1h ago 0 comments

Greet Wheel Game (wheelgames.net)

1 points by tiantiankaixin 1h ago 2 comments

Ask HN: Would you take a job where back end is only in PHP?

1 points by nobitanobi 1h ago 9 comments

Market Risk Becomes Infrastructure (Settlement/Cyber) Risk in Crypto (papers.ssrn.com)

1 points by gattodipiombo 1h ago 2 comments

Show HN: I built YT2Medium – turn YouTube transcripts into Medium articles (yt2medium.xyz)

1 points by Bytesaint 1h ago 1 comments

Liberux NEXX – Linux phone crowdfunding (indiegogo.com)

2 points by mapleoin 1h ago 0 comments

Show HN: Expose your local services to public users safely (github.com)

1 points by buhuipao 1h ago 0 comments

Apache Fory Serialization Framework 0.11.0 Released (github.com)

1 points by chaokunyang 1h ago 0 comments

Nvdia using SPARK for safety-critical firmware

1 c2the3rd 0 6/19/2025, 10:18:47 AM adacore.com ↗

Comments (0)

No comments yet