fp.

Show HN: Mephisto – A RAM-only, ad-free disposable email PWA built with React

https://mephistomail.site

1•benmxrt•1m ago•0 comments

Let's (Not) Just Put Things in Context: Test-Time Training for Long-Context LLMs

https://arxiv.org/abs/2512.13898

1•elashri•2m ago•0 comments

We should just change the spec and ask Firefox to change

https://github.com/whatwg/html/issues/12023

1•ColinWright•3m ago•1 comments

Methaphone: free your hand and your mind will follow

https://methaphone.com/

1•walterbell•4m ago•0 comments

Guaranteed basic income report shows positive results in Fresno

https://www.newsbeep.com/us-ca/97436/

1•robtherobber•4m ago•0 comments

Pwn Santa – Container Isolation Bug Bounty / CTF

https://dangerzone.rocks/news/2025-12-10-santa-pwn/

3•almet•6m ago•1 comments

Photonic Chips Are Coming Faster Than Anyone Expected [video]

https://www.youtube.com/watch?v=9tqOPS6x9l8

1•thmpp•10m ago•0 comments

Optimization countermeasures: inline asm value barriers for constant-time crypto

https://mcyoung.xyz/2025/12/15/value-barriers/

2•fanf2•14m ago•0 comments

2.8 days to disaster: Why we are running out of time in low earth orbit (LEO)

https://phys.org/news/2025-12-days-disaster-earth-orbit.html

2•teleforce•14m ago•0 comments

For App Developers: How to Identify and Fix Common Vulnerabilities

https://makeincoimbatore.substack.com/p/for-app-developers-how-to-identify

1•swathid•17m ago•0 comments

Laws of (New) Media – By Andrew McLuhan

https://www.a16z.news/p/laws-of-new-media

1•walterbell•18m ago•0 comments

Is Mozilla trying hard to kill itself?

https://infosec.press/brunomiguel/is-mozilla-trying-hard-to-kill-itself

4•pabs3•19m ago•0 comments

Greaseweazle Host Tools: accessing a floppy drive at the raw flux level

https://github.com/keirf/greaseweazle

1•doener•21m ago•0 comments

New Crypto Analysis Blog Out on Substack – Recommended

https://thalescapital.substack.com/

1•alexanderstahl2•25m ago•0 comments

A Survey of Dynamic Array Structures

https://azmr.uk/dyn/

1•todsacerdoti•25m ago•0 comments

Temporal Knowledge Graphs for Brand Intelligence

https://deltaintel.ai/resources/guides/temporal-brand-context

1•13pixels•26m ago•1 comments

MI6 chief: We'll be as fluent in Python as we are in Russian

https://www.theregister.com/2025/12/16/mi6_chief_well_be_as/

2•datelligence•38m ago•0 comments

Ask HN: How can I get better at using AI for UI design?

1•bhu1st•39m ago•1 comments

Hollywood Unites to Fight for Future with Launch of Creators Coalition on AI

https://www.hollywoodreporter.com/news/general-news/hollywood-creators-coalition-on-ai-launch-mem...

1•thm•39m ago•0 comments

Copying the Code Is the Easy Part

1•bobbyblackstone•40m ago•0 comments

iRobot's Cofounder (Colin Angle) Weighs in on Company's Bankruptcy

https://spectrum.ieee.org/irobot-bankruptcy-colin-angle-amazon

1•v9v•43m ago•0 comments

Ask HN: How do you learn marketing as a developer? It's so different from coding

2•Gooblebrai•45m ago•0 comments

Apriel-H1: Towards Efficient Enterprise Reasoning Models

https://arxiv.org/abs/2511.02651

1•guiriduro•47m ago•1 comments

One extension that replaces all the browser tools

https://exportelement.com/

1•mddanishyusuf•47m ago•0 comments

SK hynix and Nvidia formalize joint SSD development to boost AI inference

https://biz.chosun.com/en/en-it/2025/12/16/UWDZYH4W4VDKLFQSNPGPJ2BBDI/

1•walterbell•51m ago•0 comments

Legit: Git for AI Agents

https://www.legitcontrol.com/

1•jannesblobel•52m ago•0 comments

Boot manager RefindPlus is a fork of rEFInd that provides extended functionality

https://github.com/RefindPlusRepo/RefindPlus

3•doener•55m ago•0 comments

How to fundraise in 3 weeks: The modern playbook by vastpoint

https://vastpoint.substack.com/p/eng-how-to-fundraise-in-3-weeks-the

1•kaku05ac•58m ago•0 comments

Ask HN: MCP calls leading to dynamic context length issues

1•jinen83•1h ago•0 comments

Xiaomi MiMo-V2-Flash Model

https://github.com/XiaomiMiMo/MiMo-V2-Flash

3•echostone•1h ago•0 comments

Open in hackernews

SeL4 is a formally verified operating system

https://sel4.systems/

1•logicallee•1h ago

Comments

logicallee•1h ago

I saw this mentioned in the article "Prediction: AI will make formal verification go mainstream"[1] and thought it is worth its own post.

Does anyone have any experience with SeL4 that they would like to share?

[1] https://martin.kleppmann.com/2025/12/08/ai-formal-verificati...