fp.
newest
Open in hackernews
Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
https://gavinhoward.com/2025/12/piecemeal-formal-verification-cloudflare-java-exceptions-and-rust-mutexes/
2
•
gavinhoward
•
7h ago
Client-side PII redactor (WASM) to use ChatGPT safely
https://saferedact.vercel.app/
1
•
firesaber
•
1m ago
•
1 comments
CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)
https://bernsteinbear.com/isdt/
1
•
vismit2000
•
1m ago
•
0 comments
AI promised a revolution. Companies are still waiting
https://www.reuters.com/business/business-leaders-agree-ai-is-future-they-just-wish-it-worked-rig...
2
•
keyle
•
2m ago
•
0 comments
King of Cannibal Island
https://www.lrb.co.uk/the-paper/v47/n23/john-lanchester/king-of-cannibal-island
2
•
mitchbob
•
4m ago
•
1 comments
Any Issue on AWS?
2
•
ferguess_k
•
8m ago
•
1 comments
Show HN: Parsley - Open-source AI parser for PDFs and images to JSON/CSV
https://github.com/bgwastu/parsley
1
•
wastu
•
9m ago
•
1 comments
Show HN: OVR – The Ultimate Streaming Framework
https://ovrjs.com
1
•
robinoross
•
9m ago
•
0 comments
Nvidia's B200: Keeping the CUDA Juggernaut Rolling Ft. Verda
https://old.chipsandcheese.com/2025/12/15/nvidias-b200-keeping-the-cuda-juggernaut-rolling-ft-ver...
1
•
brian_herman
•
13m ago
•
0 comments
The Reduction of Gravity Using Two Gyroscopic Motions at Right Angles To
https://vinyasi.substack.com/p/the-reduction-of-gravity
1
•
vinyasi
•
14m ago
•
0 comments
Uber and DoorDash Try to Halt NYC Law That Encourages Tipping
https://www.nytimes.com/2025/12/16/nyregion/uber-doordash-nyc-tipping.html
3
•
voxadam
•
14m ago
•
0 comments
LLM Hypercompetence
https://twilightworld.ai/thoughts/hypercompetence/
1
•
rodphil
•
15m ago
•
0 comments
Vm.overcommit_memory=2 is always the right setting
https://ariadne.space/2025/12/16/vmovercommitmemory-is-always-the-right.html
1
•
todsacerdoti
•
24m ago
•
0 comments
Flow – A Programmer's Text Editor
https://flow-control.dev/
2
•
css_apologist
•
26m ago
•
0 comments
Show HN: GPT Image 1.5 – An AI image editor with conversational editing
https://gptimage15.app
1
•
jackson_mile
•
27m ago
•
0 comments
California threatens to ban Tesla sales for 30 days
https://www.sfchronicle.com/california/article/tesla-autopilot-claims-possible-sales-ban-21246659...
4
•
dangle1
•
29m ago
•
1 comments
Get Food with Your Colleagues
https://lcmchris.github.io/posts/get_food_with_your_colleagues
1
•
lcmchris
•
30m ago
•
0 comments
Canada launches its own quantum research program
https://betakit.com/canada-launches-it-own-quantum-research-program-to-rival-darpa-initiative/
2
•
gangtao
•
33m ago
•
0 comments
Ask HN: What happens when a new user's submission disappears?
1
•
ursAxZA
•
33m ago
•
4 comments
Show HN: Learn Japanese contextually while browsing
https://lingoku.ai/learn-japanese
6
•
englishcat
•
37m ago
•
0 comments
New MI6 chief: Tech bosses are becoming as powerful as nations
https://www.thetimes.com/uk/defence/article/new-mi6-chief-blaise-metrew-russia-speech-bqlvlx5hq
4
•
voxadam
•
38m ago
•
2 comments
Detecting hidden market regimes beyond correlation (empirical results)
https://github.com/johnoliveiradev/Multiscale-structural-regime-benchmark/tree/main/results/BTC%2...
1
•
johnoliveiradev
•
39m ago
•
1 comments
A universal law could explain how large trades change stock prices
https://phys.org/news/2025-12-universal-law-large-stock-prices.html
1
•
pseudolus
•
41m ago
•
0 comments
An Interview with a YouTube Writer Behind 500M+ Views
https://www.humaninvariant.com/blog/youtube-interview
3
•
gwintrob
•
45m ago
•
0 comments
LLM Pricing Calculator
https://app.hatrio.ai/free/llm-pricing-calculator
1
•
DinakarS
•
47m ago
•
0 comments
Time Team Map of Episodes (2021)
https://deparkes.co.uk/2021/04/16/time-team-map-of-episodes/
2
•
zeristor
•
49m ago
•
0 comments
The Jagged AI Frontier Is a Data Frontier
https://huggingface.co/spaces/lvwerra/jagged-data-frontier
1
•
in-silico
•
49m ago
•
0 comments
X updates terms, countersues to lay claim to the 'Twitter' trademark
https://techcrunch.com/2025/12/16/x-updates-its-terms-files-countersuit-to-lay-claim-to-the-twitt...
6
•
SanjayMehta
•
49m ago
•
2 comments
All printable snow-based triboelectric nanogenerator: Snow-TENG
https://www.sciencedirect.com/science/article/abs/pii/S2211285519302204
1
•
westurner
•
50m ago
•
0 comments
Synthetic key enzyme enables the conversion of CO2 into formic acid
https://phys.org/news/2025-12-synthetic-key-enzyme-enables-conversion.html
2
•
westurner
•
51m ago
•
0 comments
Hot for its bot, McKinsey may cut jobs
https://www.theregister.com/2025/12/16/mckinsey_may_cut_staff/
2
•
OptionOfT
•
52m ago
•
3 comments
Load More