Android Password Store (pass) is back on F-Droid (github.com)

1 points by resill 4m ago 1 comments

A Software Language for Zero Maintenance Systems

1 points by ss3681755 6m ago 0 comments

Beyond Agency (mssv.net)

1 points by adrianhon 9m ago 0 comments

Chip designers latest casualties in US-China trade war (theregister.com)

2 points by rntn 13m ago 0 comments

Fibrations and Cofibrations (bartoszmilewski.com)

1 points by ibobev 14m ago 0 comments

Show HN: Glyde – One-shot AI landing pages that don't feel templated (glyde.world)

1 points by AdewoleJasper 18m ago 2 comments

What is currently the best LLM model for consumer grade hardware? Is it phi-4?

2 points by VladVladikoff 20m ago 0 comments

Claude 4 – From Hallucination to Creation? (omarabid.com)

1 points by csomar 22m ago 0 comments

Trump Taps Palantir to Compile Data on Americans (nytimes.com)

5 points by jgalt212 24m ago 2 comments

Python JSON encoder apples and oranges and making it faster (aivarsk.com)

1 points by aivarsk 27m ago 0 comments

I Now Own the Coinhive Domain (2021) (troyhunt.com)

2 points by WayToDoor 28m ago 0 comments

Google fixes bug that led AI Overviews to say it's now 2024 (techcrunch.com)

2 points by amalinovic 28m ago 0 comments

Argentine court declares a mistrial in the death of soccer star Maradona (apnews.com)

1 points by _tk_ 29m ago 0 comments

Working from Home: How to Set Boundaries with Yourself (cate.blog)

1 points by adrianhoward 29m ago 0 comments

My First Impressions of Official EKS MCP Server (vijay.eu)

1 points by vijaykodam 30m ago 0 comments

Appendix: Assumptions, Presumptions, Suppositions, and Presuppositions (emerald.com)

1 points by benjacksondev 30m ago 0 comments

Crims defeat humans with fake AI installers they poison with ransomware (theregister.com)

2 points by penda 31m ago 0 comments

Ensloppification (dbushell.com)

5 points by OuterVale 31m ago 0 comments

White House MAHA Report may have garbled science by using AI (washingtonpost.com)

5 points by ctippett 33m ago 0 comments

The U.S. Deported This Chinese Scientist, a Decision That Changed World History (nytimes.com)

3 points by mitchbob 34m ago 1 comments

Aiko and Robby AI radio (serbian) (aikoirobi.com)

1 points by zchira 37m ago 0 comments

The decoding of ancient Roman scrolls is speeding up (economist.com)

4 points by helsinkiandrew 37m ago 1 comments

AI is not our future – Procreate (procreate.com)

3 points by alexharri 37m ago 0 comments

Re: What's so cool about Scheme? (people.csail.mit.edu)

2 points by ryangibb 37m ago 0 comments

Show HN: Code doodles to get my morning started (thebacklog.net)

1 points by dirkc 37m ago 0 comments

A reverse engineering of Linear's sync engine (github.com)

1 points by alex_hirner 41m ago 0 comments

Japan's population crisis reaches tipping point [video] (youtube.com)

1 points by olvy0 43m ago 0 comments

It's Not Your Codebase (seangoedecke.com)

2 points by ingve 45m ago 0 comments

Ask HN: How do you set up a new dev machine? (2025 edition)

3 points by daryllxd 47m ago 0 comments

Three Weeks in Japan with a Toddler (laktek.com)

2 points by laktek 48m ago 0 comments

Show HN: Let an AI Find You a Job in Sweden (easyjob.one)

1 points by behindai 48m ago 0 comments

Trump Is Waging War on the Future (nytimes.com)

5 points by dotcoma 48m ago 4 comments

Show HN: Interactive Retro CRT Terminal-Themed CV and Portfolio Template (sypert.gumroad.com)

1 points by Yuvehu 50m ago 0 comments

Bridged Indexes in OrioleDB: architecture, internals and everyday use? (orioledb.com)

12 points by pella 51m ago 0 comments

Live video feed for every multimodal model not just Gemini (videodb.io)

6 points by ashu_trv 55m ago 2 comments

Ask HN: Have you ever wasted long-term processing power(even paid f. like cloud)

1 points by Haeuserschlucht 55m ago 0 comments

A smarter, simpler Firefox address bar (blog.mozilla.org)

1 points by Ianvdl 56m ago 0 comments

I let Claude Code write an entire book (github.com)

1 points by JayD0ubleu 1h ago 0 comments

Amazon Echo Show 5 2nd Generation Smart Display Teardown (2021) (briandorey.com)

2 points by walterbell 1h ago 0 comments

Show HN: WhatTheDuck – open-source, in-browser SQL on CSV and Parquet files (whattheduck.incentius.com)

1 points by pratik227 1h ago 0 comments

UX Beyond Prompting [WIP] (gktk.us)

2 points by thenameless7741 1h ago 0 comments

Linux VM without VM software (popovicu.com)

2 points by speckx 1h ago 0 comments

Claude Artifacts Instructions (pastebin.com)

1 points by mpwner 1h ago 2 comments

How Does the Sound Blaster AWE64 Access Memory? [video] (youtube.com)

2 points by rasz 1h ago 0 comments

Finding SSRFs in Azure DevOps – Part 2 (binarysecurity.no)

1 points by hland 1h ago 1 comments

What Happens When AI-Generated Lies Are More Compelling Than the Truth? (behavioralscientist.org)

9 points by the-mitr 1h ago 0 comments

Building a Brand – Redesigning a Business Start to Finish [video] (youtube.com)

2 points by e-topy 1h ago 0 comments

Museum-Inspired Biscuit Art (ellahawkins.com)

1 points by camtarn 1h ago 0 comments

2025.22: What LLMs Could Be in the Workplace (stratechery.com)

1 points by feross 1h ago 0 comments

Behavioral analysis for mission-critical applications (open-source) (tirreno.com)

1 points by reconnecting 1h ago 0 comments

Functional Programming and Theorem Proving in Lean 4

4 rck 0 5/29/2025, 12:51:37 AM web.stanford.edu ↗

Comments (0)

No comments yet