frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Stablecoins vs. Tokenized Deposits: The Narrow Banking Debate Revisited

https://fedinprint.org/item/fednsr/102411
1•toomuchtodo•3m ago•1 comments

Llms.txt – A Robots.txt for AI Assistants

https://seekrates-ai.com/llms-txt-file/
1•mohan-AIyer•3m ago•0 comments

College Board Banning Students from Using Smart Glasses During SATs

https://gizmodo.com/the-college-board-is-banning-students-from-using-smart-glasses-during-the-sat...
1•bookofjoe•7m ago•0 comments

LLMs do plan before they genenrate tokens

https://arxiv.org/abs/2502.06258
1•kaaaang•10m ago•0 comments

X07: An agent-first compiled language with JSON AST and deterministic tooling

https://x07lang.org/
1•webodik•13m ago•1 comments

Show HN: MIE – Shared memory for all your AI agents (Claude, Cursor, ChatGPT)

https://github.com/kraklabs/mie
1•kraklabs•14m ago•0 comments

Show HN: Qwen3-TTS WebUI – a local web interface for Qwen3 text-to-speech

https://github.com/bdim404/Qwen3-TTS-WebUI
1•bdim404•15m ago•0 comments

U.S. Automakers' Foreign Troubles Now Extend to Canada

https://www.nytimes.com/2026/01/24/business/general-motors-ford-canada-china.html
2•JumpCrisscross•16m ago•0 comments

Tell HN: No more emoji in my LinkedIn name

1•prakashn27•16m ago•0 comments

Jim Roskind on C Ambiguity

https://pdos.csail.mit.edu/archive/l/c/roskind.html
3•pcfwik•19m ago•0 comments

The Philosophy of Safety [video]

https://www.youtube.com/watch?v=EqJzoof3WxQ
1•lowlevel86•20m ago•0 comments

Free NNTP news servers for all

http://nntp.freeservers.com/
1•rolph•21m ago•0 comments

Longest Eggplant Ever?

https://ballparkguess.com/?id=6b18143e-7380-422c-ab69-8a1cd285e0bb
1•bkls•21m ago•0 comments

Media over QUIC

https://datatracker.ietf.org/group/moq/about/
1•ncb9094•22m ago•0 comments

Pizza Hut is closing locations

https://abc30.com/post/pizza-hut-is-closing-hundreds-locations/18546906/
2•lxm•23m ago•0 comments

Show HN: RMTimer a Redmine Desktop Client

https://datasolutions.bz/rmtimer/
1•nabenjamin•23m ago•0 comments

Trudging Through Nonsense

https://aphyr.com/posts/405-trudging-through-nonsense
1•RebelPotato•23m ago•0 comments

Breach exposes gaps in NZ's privacy framework

https://iapp.org/news/a/notes-from-the-asia-pacific-region-breach-exposes-gaps-in-nz-s-privacy-fr...
2•TripleLB•24m ago•0 comments

First Hands-On with the Most Advanced Music Tool I've Ever Used [video]

https://www.youtube.com/watch?v=dImZLkozcZg
1•saidinesh5•25m ago•1 comments

AI Hunts for the Next Big Thing in Physics

https://spectrum.ieee.org/particle-physics-ai
1•pseudolus•26m ago•0 comments

Impact of Google's Manifest Version 3 (MV3) Update on Ad Blocker Effectiveness

https://petsymposium.org/popets/2026/popets-2026-0027.php
1•sohkamyung•34m ago•1 comments

RAG on Ruby on Rails

https://jessewaites.com/blog/post/rag-on-rails/
1•N_A_T_E•34m ago•0 comments

DAiFi Announces ICO for Powering the First Verifiable AI Compute Economy

https://www.binance.me/en/square/post/36047863652690
1•whatsupdog•34m ago•0 comments

Show HN: Global Liquidation Map (OBS overlay, no login)

https://v4-binance.pages.dev/obs-setup
1•JosMade•35m ago•0 comments

The End of the Beginning: Has US Dollar Decline Entered Its Terminal Phase?

https://multipolaritypod.substack.com/p/the-end-of-the-beginning-has-us-dollar
3•Jerry2•39m ago•0 comments

We had sex in a Chinese hotel, then found we had been broadcast to thousands

https://www.bbc.com/news/articles/c62rexy9y3no
5•notepad0x90•39m ago•1 comments

Show HN: WaldenWeek – An anti-app designed to be used 1min/week

https://waldenweek.com/conversation-pit.html
1•calinf•41m ago•1 comments

IPlotCSV: CSV Data, Visualized Beautifully

https://www.iplotcsv.com/demo
2•maxmoq•42m ago•2 comments

Go's Synctest Is Amazing

https://oblique.security/blog/go-synctest/
2•thunderbong•42m ago•0 comments

Firesheep: Easy HTTP session hijacking from within Firefox (2010)

https://codebutler.com/2010/10/24/firesheep/
1•lelandbatey•42m ago•0 comments
Open in hackernews

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs

https://github.com/namin/dafny-sandbox/blob/master/Sat.dfy
2•namin•1h ago

Comments

vdupras•36m ago
I asked the LLM whether my program was correct and it answered: you're absolutely right!
namin•29m ago
Ha. At least you can check the theorem statements and see that the proofs verify :)