Switching from Desktop Linux to FreeBSD (hackaday.com)

1 points by rodrigo975 25s ago 0 comments

The provenance memory model for C (gustedt.wordpress.com)

1 points by HexDecOctBin 2m ago 0 comments

What the rise of “buy now, pay later” services tells us about the economy (vox.com)

1 points by lr0 3m ago 0 comments

Leap: AI Agent That Deploys to Your AWS Account (leap.new)

2 points by andout_ 4m ago 0 comments

Show HN: A rigorous proof that the imaginary unit "i" is real(PGP and DOI) (zenodo.org)

1 points by purrplexia 7m ago 0 comments

AI Infra Guard (github.com)

1 points by joneil 10m ago 0 comments

Skin Deep: Source Code Release (blendogames.com)

1 points by zote 15m ago 0 comments

High-flux and stable thin-film evaporation from fiber membranes (sciencedirect.com)

1 points by simonebrunozzi 17m ago 0 comments

What's the difference between named functions and arrow functions in JavaScript? (jrsinclair.com)

1 points by jrsinclair 17m ago 0 comments

AxiomOS An AI system where agents generate and evolve under an Overseer (github.com)

1 points by yand420 18m ago 1 comments

Warzonemeta.io (warzonemeta.io)

1 points by evantheproduct 18m ago 1 comments

How we moved to Shadcn to standardize UI in LocalOps (localops.co)

1 points by luckydev 21m ago 1 comments

Show HN: RepoInsightAI – Learn about a GitHub Repository with LLM (github.com)

1 points by tigerkid 25m ago 0 comments

Why Americans are less likely to voice their opinions on political issues? (werd.io)

3 points by furkansahin 36m ago 1 comments

Thousands in Norway told they had won life-changing sums in lottery error (theguardian.com)

16 points by zqna 39m ago 10 comments

PostgreSQL: HypoPG 1.4.2 Is Out (postgresql.org)

1 points by unripe_syntax 46m ago 0 comments

Recently, June 29, 2025 – island94.org (island94.org)

1 points by amalinovic 47m ago 0 comments

Show HN: Oomol – A local-first, code-first workflow automation engine (oomol.com)

1 points by monica-guli 47m ago 0 comments

Android apps can now be officially developed in Swift (swift.org)

3 points by skreep 50m ago 1 comments

OpenAI is doing a 1 week company shutdown (twitter.com)

4 points by tosh 52m ago 0 comments

Understanding Keyword Search (kentro-learn.com)

1 points by sebg 52m ago 1 comments

"Sovereign cloud"? A Trojan Horse at Europe's digital gates (tuta.com)

7 points by 01-_- 53m ago 0 comments

Intel will shut down its automotive business (fortune.com)

3 points by Bluestein 54m ago 2 comments

NASA Mars Orbiter Learns New Moves After Nearly 20 Years in Space (jpl.nasa.gov)

2 points by 01-_- 55m ago 0 comments

How [NOT] to Evaluate Your RAG (nixiesearch.substack.com)

5 points by shutty 59m ago 0 comments

Compiling Brainfuck Code – Part 1: An Optimized Interpreter (rodrigodd.github.io)

1 points by SchwKatze 1h ago 0 comments

How Humans Solve Problems (theness.com)

1 points by flyingkiwi44 1h ago 1 comments

How Long Contexts Fail (dbreunig.com)

1 points by bittermandel 1h ago 0 comments

First Hack Contest for LLMs:) (github.com)

4 points by parasitid 1h ago 2 comments

Using Advanced JSON Context Profiles to generate same-looking AI images (yurikoval.com)

2 points by yurikoval 1h ago 0 comments

When the CTO Asks You to Use Autocomplete (idiallo.com)

1 points by WhyNotHugo 1h ago 2 comments

Show HN: VidVeo3 – AI Video Creation with Seamless Sound (vidveo3.com)

1 points by Viaya 1h ago 0 comments

Tripthesia – Create personalized travel itineraries with AI (tripthesia.travel)

1 points by robyrocker89 1h ago 1 comments

Canada rescinds digital services tax to advance trade negotiations with the US (canada.ca)

2 points by pghatedphones 1h ago 0 comments

Former NTSB IG: Boeing 787 FADEC may have caused AirIndia crash (sundayguardianlive.com)

3 points by dz0ny 1h ago 2 comments

Would you use a chat app that auto-generates to-do list from chat? (markhub.ink)

1 points by PaulShin 1h ago 4 comments

Show HN: I rewrote my notepad calculator as a local-first app with CRDT syncing (numpad.io)

3 points by tonyonodi 1h ago 0 comments

I Left Quantum Computing Research [video] (youtube.com)

3 points by viewtransform 1h ago 0 comments

The Accuracy Trap – Why Winning Too Often Can Break You (fractiz.com)

1 points by fractiz 1h ago 0 comments

Safeguarding and Monetizing Music in Digital, Virtual and AI-Driven Worlds (copyrightdelta.com)

1 points by Someone 1h ago 0 comments

Creating a Chatbot with Google Gemini Vertex AI and Quarkus (loicmathieu.fr)

1 points by loicmathieu 1h ago 0 comments

After decades in the US, Iranians arrested in Trump's deportation drive (apnews.com)

2 points by perihelions 1h ago 0 comments

Anthropic's Claude AI became a terrible business owner in an experiment (techcrunch.com)

3 points by gdrift 1h ago 1 comments

Harper: Offline, privacy-first grammar checker. Fast, open-source, Rust (github.com)

2 points by internet_points 1h ago 0 comments

What is wrong with all those AArch64 desktops? (2019) (marcin.juszkiewicz.com.pl)

4 points by Bluestein 1h ago 1 comments

Ask HN: What made you click TCP, THE TRANSPORT LAYER OF INTERNET?

1 points by shivajikobardan 1h ago 1 comments

Ask HN: MCP vs. Browser-Based Agents

1 points by giaco_hendel 1h ago 0 comments

Show HN: Anagnorisis. A Vision for Better Information Management (medium.com)

1 points by volotat 1h ago 0 comments

Low-Rank Multiplicative Adaptation for LLMs (exploration-lab.github.io)

1 points by porridgeraisin 1h ago 0 comments

60-Foot Magnet Could Be the Key to Fusion Energy (slashgear.com)

4 points by Bluestein 1h ago 1 comments

Flux – Rust annotation-based type checker

2 burnt-resistor 1 6/30/2025, 2:53:56 AM flux-rs.github.io ↗

Comments (1)

burnt-resistor · 6h ago

Similar to dialyzer (Erlang) or sorbet (Ruby), but adds gradual refinement (almost dependent) typing to Rust.