Ormin – An ORM for Nim (github.com)

1 points by TheWiggles 1m ago 0 comments

Apple has not destroyed Steve Jobs' vision for iPad (victorwynne.com)

1 points by curtblaha 2m ago 0 comments

AI Is Not a Dev

1 points by tudorizer 3m ago 1 comments

Show HN: Harbor Guard – Manage and Scan Container Images (Open Source) (github.com)

1 points by rakeda 6m ago 0 comments

Show HN: AICMaker – Generate Origina Characters for Games and Animation (aiocmaker.com)

1 points by qianjin1979 7m ago 0 comments

Artifacts and Attention Sinks: Structured Approximations for Vision Transformers (arxiv.org)

1 points by PaulHoule 7m ago 0 comments

An introduction to the market making game – a quant favorite (xquant.substack.com)

1 points by nb_quant 7m ago 0 comments

'Ad Blocking Is Not Piracy' Decision Overturned by Top German Court (torrentfreak.com)

3 points by gslin 8m ago 0 comments

Chinese Room vs. SupatMod Experiment 1/7 (Claude, Mar 12-13, 2025) (medium.com)

1 points by SupatMod 9m ago 0 comments

Browser wars are back, predicts Palo Alto, thanks to AI (theregister.com)

2 points by rntn 9m ago 0 comments

A ton of AI images [he's] made that [he's] liked (andymasley.substack.com)

1 points by eadmund 10m ago 0 comments

Launch HN: Uplift (YC S25) – Voice models for under-served languages

1 points by zaidqureshi 11m ago 0 comments

Show HN: RequirementsTracker – Gherkin-based requirements manager (github.com)

1 points by DRYTRIX 14m ago 0 comments

Making Sense of Text with Decision Trees (machinelearningmastery.com)

1 points by speckx 15m ago 0 comments

Why are we counting everything? (english.elpais.com)

3 points by geox 15m ago 0 comments

UK drops demand for backdoor into Apple encryption (theverge.com)

4 points by iamdamian 22m ago 0 comments

AI is a Junior Dev and needs a Lead (getparthenon.com)

3 points by that_guy_iain 22m ago 0 comments

Britain caves in to Trump demands on iPhone security (telegraph.co.uk)

1 points by dent9876543 23m ago 0 comments

Modi Hails 'Friend' Putin and Boosts China Ties in Tilt from US (bloomberg.com)

1 points by JumpCrisscross 25m ago 0 comments

Trump Tariffs Seen Fostering New China-Global South Trade Order (bloomberg.com)

1 points by JumpCrisscross 27m ago 1 comments

The AI That Solved IMO Geometry Problems – Guest Video by ‪ Aleph0‬ (youtube.com)

1 points by amichail 27m ago 0 comments

Smart50 star The Laundry Lady raises $1M to fuel global expansion (smartcompany.com.au)

1 points by mooreds 29m ago 0 comments

After 15 Years I Finally Left My Day Job [video] (youtube.com)

2 points by amichail 30m ago 0 comments

Dioxus is raising red flags [video] (youtube.com)

1 points by Alifatisk 31m ago 0 comments

Does Weed Make You Sleepy or Keep You Awake? The Truth About Cannabis and Sleep (lightcapai.medium.com)

3 points by WASDAai 31m ago 1 comments

DotWrap, generating Python wrappers for .NET AOT projects (github.com)

2 points by pjmlp 34m ago 0 comments

TinyPilot (KVM-over-IP device) has quietly removed their user forum (forum.tinypilotkvm.com)

1 points by luckman212 37m ago 1 comments

Ask HN: If Google will sell Chrome, is that a good thing?

4 points by worldsavior 38m ago 3 comments

A programmer's field guide to assertions (typesanitizer.com)

1 points by fanf2 39m ago 0 comments

The State of Homegrown Authentication: 2025 (fusionauth.io)

1 points by mooreds 40m ago 0 comments

Isaac Newton's Alchemy (wpr.org)

1 points by pyman 40m ago 1 comments

I Run a Full Linux Desktop in Docker Just Because I Can (howtogeek.com)

2 points by redbell 41m ago 0 comments

Ordered Insertion Optimization in OrioleDB (orioledb.com)

1 points by pella 44m ago 0 comments

AI Can't Help You Write Well (jade.ellis.link)

3 points by JadedBlueEyes 45m ago 0 comments

All Paths to Happiness (2013) (physicsnapkins.wordpress.com)

1 points by OgsyedIE 46m ago 1 comments

Why do people keep writing about the imaginary compound Cr2Gr2Te6? (righto.com)

4 points by rbanffy 46m ago 1 comments

They Came for Climate Science. Then the Storms Came (nautil.us)

1 points by rbanffy 47m ago 0 comments

Feedback on Masterit.ai – AI Interview Platform

1 points by masteritai 50m ago 0 comments

Query-Mutating Data Race in Go (coder.com)

1 points by spikecurtis1 50m ago 0 comments

Introducing Action Native Push (dev.37signals.com)

1 points by thunderbong 52m ago 0 comments

Coding of Visual Memory in Hippocampal Neurons Revealed by Interpretable Model (advanced.onlinelibrary.wiley.com)

1 points by PaulHoule 53m ago 0 comments

Elon Musk's "thermonuclear" Media Matters lawsuit may be fizzling out (arstechnica.com)

1 points by rbanffy 54m ago 0 comments

Tether Taps Ex-White House Crypto Advisor Hines for US Expansion (bloomberg.com)

1 points by JumpCrisscross 54m ago 0 comments

Americans fear AI permanently displacing workers, Reuters/Ipsos poll finds (reuters.com)

1 points by nis0s 55m ago 1 comments

OpenSSH will now adapt IP QoS to actual sessions and traffic (undeadly.org)

2 points by dfc 56m ago 0 comments

Textarea syntax coloring with CSS' mix-blend-mode and Tree-sitter (jsfiddle.net)

2 points by miki_oomiri 56m ago 0 comments

Databricks eyes over $100B valuation as investors back AI growth plans (reuters.com)

2 points by cloudsql 56m ago 1 comments

Are serverless AI providers operating at a loss?

1 points by gutomotta 56m ago 0 comments

2.782J Design of Medical Devices and Implants (MIT 2025) (ocw.mit.edu)

1 points by pillars 56m ago 0 comments

Unifying the AI stack into one Postgres instance (tigerdata.com)

2 points by ishita159 1h ago 1 comments

Last20 Reached 100 Sign Ups in 2 Weeks Post Launch

1 mightymosquito 0 8/19/2025, 9:36:32 AM proofstories.io ↗

Comments (0)

No comments yet