frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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