fp.
news
Open in hackernews
Formally verifying a floating-point division routine with Gappa – part 1
https://community.arm.com/arm-community-blogs/b/embedded-and-microcontrollers-blog/posts/formally-verifying-a-floating-point-division-routine-with-gappa-p1
11
•
montalbano
•
2d ago
KDE launches its own distribution
https://lwn.net/SubscriberLink/1037166/caa6979c16a99c9e/
326
•
Bogdanp
•
7h ago
•
172 comments
DOOMscrolling: The Game
https://ironicsans.ghost.io/doomscrolling-the-game/
160
•
jfil
•
6h ago
•
38 comments
Court rejects Verizon claim that selling location data without consent is legal
https://arstechnica.com/tech-policy/2025/09/court-rejects-verizon-claim-that-selling-location-dat...
285
•
nobody9999
•
4h ago
•
23 comments
Show HN: Term.everything – Run any GUI app in the terminal
https://github.com/mmulet/term.everything
749
•
mmulet
•
1d ago
•
110 comments
ChatGPT Developer Mode: Full MCP client access
https://platform.openai.com/docs/guides/developer-mode
409
•
meetpateltech
•
13h ago
•
222 comments
Pontevedra, Spain declares its entire urban area a "reduced traffic zone"
https://www.greeneuropeanjournal.eu/made-for-people-not-cars-reclaiming-european-cities/
745
•
robtherobber
•
19h ago
•
823 comments
Where did the Smurfs get their hats
https://www.pipelinecomics.com/beginning-bd-smurfs-hats-origin/
39
•
andsoitis
•
4h ago
•
13 comments
Intel's E2200 "Mount Morgan" IPU at Hot Chips 2025
https://chipsandcheese.com/p/intels-e2200-mount-morgan-ipu-at
55
•
ingve
•
7h ago
•
25 comments
Rewriting Dataframes for MicroHaskell
https://mchav.github.io/rewriting-dataframes-for-microhs/
9
•
internet_points
•
2d ago
•
0 comments
The HackberryPi CM5 handheld computer
https://github.com/ZitaoTech/HackberryPiCM5
176
•
kristianpaul
•
2d ago
•
51 comments
A polyglot's guide to multiple-dispatch (2016)
https://eli.thegreenplace.net/2016/a-polyglots-guide-to-multiple-dispatch/
46
•
andsoitis
•
3d ago
•
7 comments
Launch HN: Recall.ai (YC W20) – API for meeting recordings and transcripts
82
•
davidgu
•
13h ago
•
34 comments
Defeating Nondeterminism in LLM Inference
https://thinkingmachines.ai/blog/defeating-nondeterminism-in-llm-inference/
220
•
jxmorris12
•
12h ago
•
84 comments
Jiratui – A Textual UI for interacting with Atlassian Jira from your shell
https://jiratui.sh/
187
•
gjvc
•
15h ago
•
57 comments
Hot Chips 2025: Session 1 – CPUs – By George Cozma
https://chipsandcheese.com/p/hot-chips-2025-session-1-cpus
11
•
rbanffy
•
2d ago
•
0 comments
The Four Fallacies of Modern AI
https://blog.apiad.net/p/the-four-fallacies-of-modern-ai
14
•
13years
•
3h ago
•
5 comments
A desktop environment without graphics (tmux-like)
https://github.com/Julien-cpsn/desktop-tui
38
•
mustaphah
•
2d ago
•
7 comments
“No Tax on Tips” Includes Digital Creators, Too
https://www.hollywoodreporter.com/business/business-news/no-tax-on-tips-guidance-creators-trump-t...
109
•
aspenmayer
•
13h ago
•
179 comments
Fraudulent Publishing in the Mathematical Sciences
https://arxiv.org/abs/2509.07257
50
•
bikenaga
•
8h ago
•
24 comments
Clojure's Solutions to the Expression Problem
https://www.infoq.com/presentations/Clojure-Expression-Problem/
89
•
adityaathalye
•
3d ago
•
5 comments
Mux (YC W16) Is Hiring Engineering ICs and Managers
https://mux.com/jobs
1
•
mmcclure
•
8h ago
What would you do with 52 hours a week of discretionary time?
https://www.njbrown.com/blog/25/
4
•
ntnbr
•
3d ago
•
2 comments
Show HN: Haystack – Review pull requests like you wrote them yourself
https://haystackeditor.com
60
•
akshaysg
•
11h ago
•
38 comments
I didn't bring my son to a museum to look at screens
https://sethpurcell.com/writing/screens-in-museums/
886
•
arch_deluxe
•
13h ago
•
293 comments
Kerberoasting
https://blog.cryptographyengineering.com/2025/09/10/kerberoasting/
168
•
feross
•
17h ago
•
56 comments
Show HN: TailGuard – Bridge your WireGuard router into Tailscale via a container
https://github.com/juhovh/tailguard
122
•
juhovh
•
1d ago
•
26 comments
Formally verifying a floating-point division routine with Gappa – part 1
https://community.arm.com/arm-community-blogs/b/embedded-and-microcontrollers-blog/posts/formally...
11
•
montalbano
•
2d ago
•
0 comments
Picat: A Logic-based Multi-paradigm Language (2014) [pdf]
https://logicprogramming.org/wp-content/uploads/2014/07/alp14.pdf
22
•
b-man
•
2d ago
•
0 comments
Harvey Mudd Miniature Machine
https://www.cs.hmc.edu/~cs5grad/cs5/hmmm/documentation/documentation.html
60
•
nill0
•
3d ago
•
23 comments
Semantic Line Breaks (2017)
https://sembr.org
84
•
Bogdanp
•
3d ago
•
52 comments
Load More