Program verification is not all-or-nothing (lawrencecpaulson.github.io)

1 points by tempodox 43s ago 0 comments

From Snapshots to Standards: Measuring AI Visibility (zenodo.org)

1 points by businessmate 1m ago 1 comments

Cursive Reader – Free Handwriting to Text Converter (cursivereader.net)

1 points by clonbin 1m ago 1 comments

Bring back your old Mac: 5 ways to refresh the OS on elderly Apples (theregister.com)

1 points by rntn 2m ago 0 comments

Zodiac Sign Is 2k Year Out of Date (nytimes.com)

1 points by Hooke 2m ago 0 comments

K2-Think: A Parameter-Efficient Reasoning System (huggingface.co)

1 points by Anon84 4m ago 0 comments

Yes, Your Passkeys Can Be Hacked–New Attack 'Breaks the Myth' (forbes.com)

1 points by mnmalst 5m ago 0 comments

Underused Techniques for Effective Emails (refactoringenglish.com)

1 points by mtlynch 7m ago 0 comments

School cell phone ban creates surge in JCPS library visits (wave3.com)

1 points by vidyesh 7m ago 0 comments

How 'overworked, underpaid' humans train Google's AI to seem smart (theguardian.com)

1 points by Brajeshwar 11m ago 0 comments

Are EVs causing car sickness – and what can be done? (theguardian.com)

1 points by n1b0m 11m ago 0 comments

I Made a Mechanical Laptop (youtube.com)

3 points by hashworks 13m ago 0 comments

Never steal a hacker's girlfriend's phone: A global network of thieves exposed (english.elpais.com)

1 points by mnmalst 17m ago 1 comments

Firing the Lorentz Plasma Cannon [video] (youtube.com)

1 points by luckys 19m ago 0 comments

Builtwithhare.org – various projects built with the Hare programming language (builtwithhare.org)

1 points by TheWiggles 22m ago 0 comments

James Webb Space Telescope reveals something strange on comet 3I/ATLAS (livescience.com)

2 points by thunderbong 24m ago 0 comments

Show HN: AI Roast – Fun AI-generated roasts of websites (ai-roast.jamatrix.io)

1 points by happy_malone 24m ago 0 comments

Æthelstan 1100 (diamondgeezer.blogspot.com)

1 points by zeristor 26m ago 1 comments

Improving state machine code generation (trifectatech.org)

1 points by tempodox 28m ago 0 comments

People are losing jobs due to social media posts about Charlie Kirk (npr.org)

3 points by Improvement 30m ago 2 comments

Why not analyzing a dataset as if it were an image (with brushes, erasers,)?

1 points by vinserello 36m ago 0 comments

Inventor says most humanoid robots today are 'terrifying' (theregister.com)

3 points by YeGoblynQueenne 42m ago 1 comments

Lobsters Interview with Susam (lobste.rs)

1 points by tempodox 43m ago 0 comments

Betrusted – Building transparent, secure computing from the silicon up (betrusted.io)

1 points by akyuu 47m ago 0 comments

Ace and DAZN Shut Down a Major Sports Piracy Site in a "DMCA Ignored" Country (torrentfreak.com)

2 points by gslin 49m ago 0 comments

Evolutionary Software Quality (youtube.com)

1 points by mcp_ 54m ago 0 comments

Gen-Z Protestors in Nepal Used Discord and TikTok to Overthrow Their Government (twitter.com)

2 points by 3l3ktr4 58m ago 1 comments

We compared 6 AI models for coding (unscientific, but fun) (blog.kilocode.ai)

2 points by rietie 1h ago 0 comments

New Zealand's plan to save birds? Kill invasive animals (npr.org)

1 points by rbanffy 1h ago 0 comments

Scrapy_cffi: Async-first, modular web scraping utilities (github.com)

2 points by funnyStrange 1h ago 1 comments

Vimeo to be acquired by Bending Spoons for $1.38B (theverge.com)

1 points by akyuu 1h ago 0 comments

Show HN: PromptGit – Git diff and rollback for LLM prompts (github.com)

1 points by lexokoh 1h ago 0 comments

Seedream 4.0 – Professional AI Image Generator and Editor (seedream-4.app)

1 points by alexzn596 1h ago 0 comments

The Death of Charlie Kirk Is the Turning Point for Accountability in America [video] (youtube.com)

1 points by keepamovin 1h ago 2 comments

The Mass Shooters Are Performing for One Another (theatlantic.com)

1 points by usrusr 1h ago 0 comments

Next-generation graph computing with electric current-based approaches (nature.com)

1 points by bryanrasmussen 1h ago 1 comments

Pivotal Helix: A Quiet Leap in Emergency Response (spectrum.ieee.org)

2 points by rbanffy 1h ago 0 comments

Migrating to TanStack Start (catalins.tech)

1 points by cmpit 1h ago 0 comments

The Mythical Creatures of London (londonist.com)

1 points by zeristor 1h ago 0 comments

From Legal Documents to Knowledge Graphs (neo4j.com)

1 points by bryanrasmussen 1h ago 0 comments

Sluggo Fixes Things (medium.com)

1 points by bryanrasmussen 1h ago 0 comments

Reddit's API wasn't officially available so I built AI browser agent to automate

2 points by tabhishek 1h ago 1 comments

Fictitious Telephone Number (en.wikipedia.org)

1 points by treebrained 1h ago 0 comments

Safe C++ proposal is not being continued (sibellavia.lol)

3 points by sibellavia 1h ago 1 comments

Scottish villagers stun developers by demanding extra turbine (2009) (theguardian.com)

4 points by iamflimflam1 2h ago 0 comments

Children learn video gaming skills at school (bbc.co.uk)

1 points by zeristor 2h ago 0 comments

Improving My Dotfiles Posture (benprisby.com)

1 points by twp 2h ago 0 comments

AI Coding (geohot.github.io)

118 points by abhaynayar 2h ago 75 comments

The unreasonable effectiveness of modern sort algorithms (github.com)

2 points by r4um 2h ago 0 comments

Epsilab: Convert ideas into quant trading strategies in seconds (epsilab.ai)

3 points by matthewolsen 2h ago 0 comments

Diesel 2.3.0

3 Bogdanp 0 9/13/2025, 9:16:31 AM diesel.rs ↗

Comments (0)

No comments yet