Writing a Verified Postfix Calculator in Ada/Spark (pyjarrett.github.io)

2 points by Bogdanp 2m ago 0 comments

Turn your photo into a talking AI baby video (aibabytalk.com)

2 points by cy2025421 9m ago 1 comments

Suppressions of Suppressions (overreacted.io)

1 points by danabramov 11m ago 0 comments

Broot: Highly interactive terminal file browser (dystroy.org)

3 points by ambigious7777 14m ago 0 comments

Android-MCP: Bridging AI Agents and Android Devices

1 points by jeomon27 17m ago 0 comments

Ubuntu and Gnome Drop Xorg Following Xorg Fork Announcement (youtube.com)

3 points by snvzz 18m ago 0 comments

SnapDOM Demo Gallery (zumerlab.github.io)

1 points by mromanuk 18m ago 0 comments

The new Xbox isn't an Xbox (ravi64.com)

4 points by merlioncity 19m ago 0 comments

When do girls fall behind in maths? Gigantic study pinpoints the moment (nature.com)

4 points by pseudolus 21m ago 1 comments

I'm not back yet, but I'm looking for where to go next [video] (youtube.com)

1 points by thunderbong 24m ago 0 comments

7 Days Later: Analyzing Phishing-Site Lifespan After Detected (dl.acm.org)

1 points by grac3 35m ago 0 comments

Nvidia and Perplexity Team Up in European AI Push (wsj.com)

2 points by codexy 39m ago 0 comments

Amsterdam's high-stakes experiment to create fair welfare AI (technologyreview.com)

1 points by gnabgib 42m ago 0 comments

AI Try on Haul Tool (tryonhaul.ai)

1 points by BruceWok 46m ago 0 comments

Beethoven Was on Another Level (twitter.com)

1 points by keepamovin 48m ago 0 comments

Digg AMA with Christian Selig: Rebuilding Better [video] (vimeo.com)

1 points by CharlesW 49m ago 0 comments

Java 25's new CPU-Time Profiler (mostlynerdless.de)

2 points by mfiguiere 58m ago 0 comments

RecoveryFox AI – Recover Your Data Smarter and Safer (wonderfoxrecovery.com)

1 points by RecoveryFox_AI 58m ago 0 comments

Zuckerberg created the saddest place on the internet with Meta AI's public feed (businessinsider.com)

8 points by acmeian 1h ago 3 comments

Toward a Reasonably Secure Laptop (qubes-os.org)

2 points by pabs3 1h ago 1 comments

State Considered Harmful – a proposal for a stateless laptop (2015) [pdf] (blog.invisiblethings.org)

1 points by pabs3 1h ago 0 comments

An AI's Defense of "Vibe Coding" (substack.com)

1 points by rickbarraza 1h ago 0 comments

Apple Built a Little 3D Monaco F1 Circuit to Explore in Apple Maps (thedrive.com)

3 points by PaulHoule 1h ago 0 comments

Show HN: Joinly.ai – Build real-time interactive meeting agents using MCP (github.com)

3 points by fynnomenon 1h ago 0 comments

Edit Videos with Meta AI (about.fb.com)

3 points by siddharthb_ 1h ago 0 comments

Show HN: I created an AI search engine for the Quebec Civil Code (codex-nuvia.ca)

2 points by Dontizi 1h ago 3 comments

Iran's intel breach involves Israeli nuke plans, surveillance, organ trafficking (thecradle.co)

3 points by cempaka 1h ago 0 comments

Coding Defense Solutions on the Fly with AI (warontherocks.com)

2 points by setracer 1h ago 0 comments

These 4 code snippets won WWDC (justin.searls.co)

2 points by searls 1h ago 0 comments

ConnectWise/ScreenConnect cert being revoked by CA (bleepingcomputer.com)

1 points by nerdbaggy 1h ago 0 comments

Exploiting Vulnerabilities in Cellebrite UFED (2021) (signal.org)

4 points by s-mon 1h ago 0 comments

How I Built A SQL Editor For A Vector Database (pgvector) (zachgortonnyc.medium.com)

2 points by z-gort 1h ago 1 comments

Tux Domain Looking for Partners and Builders (tux.re)

1 points by tux033 1h ago 0 comments

Transforming Quantum Education with AI Supercomputing and Nvidia CUDA-Q Academic (developer.nvidia.com)

1 points by williamstein 1h ago 0 comments

Shot to the eye brings back vision in mice – humans next (newatlas.com)

2 points by geox 1h ago 0 comments

Show HN: Eyesite - experimental website combining computer vision and web design (blog.andykhau.com)

14 points by akchro 1h ago 2 comments

AI Toolkit for Visual Studio Code (code.visualstudio.com)

3 points by CharlesW 1h ago 0 comments

Space tech firm Voyager valued at $3.8B (reuters.com)

4 points by Anumbia 1h ago 0 comments

Why Companies Use AI to Cut Costs Instead of Building Ambitious Projects

6 points by badr_elmazaz 1h ago 1 comments

How Microsoft Office Moved from Source Depot to Git (danielsada.tech)

19 points by dshacker 2h ago 13 comments

Are There Any Tech Billionaires Who Weren't 'Nerds' Growing Up?

4 points by moneyhungry 2h ago 7 comments

Show HN: Conveniences for Node.js including JSX and HMR and stuff (immaculata.dev)

1 points by 90s_dev 2h ago 2 comments

The Git Myth (2013) (stevelosh.com)

4 points by thegoodduck 2h ago 1 comments

Show HN: The Roman Industrial Revolution that could have been (thelydianstone.com)

14 points by miki_tyler 2h ago 12 comments

Unveiling the EndBOX – A microcomputer prototype for EndBASIC (endbasic.dev)

9 points by jmmv 2h ago 1 comments

AI Engineers at OpenAI, Pydantic, Microsoft on Future of Work (youtube.com)

1 points by lenadroid 2h ago 1 comments

SmartAttack: Air-Gap Attack via Smartwatches (arxiv.org)

14 points by dangle1 2h ago 2 comments

Biotech Quiz App (letsgobiotech.com)

1 points by rohanrobinson 2h ago 0 comments

What the Hell Is Services as a Software? (ressl.ai)

1 points by abhishek203r 2h ago 0 comments

The Canadian C++ Conference (cppnorth.ca)

3 points by BiraIgnacio 2h ago 1 comments

What's New Online at the Library of Congress

2 mitchbob 1 6/11/2025, 11:02:21 PM blogs.loc.gov ↗

Comments (1)

treetalker · 2h ago

LOC is great with RSS. All of its feeds are gathered at https://www.loc.gov/subscribe/.

Scroll down to the heading "New on the Web" for feeds of new content like the OP's link.