frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Pulse: Proof-Oriented Programming in Concurrent Separation Logic (Output C/Rust)

https://fstar-lang.org/tutorial/book/pulse/pulse.html
1•hackingonempty•10s ago•1 comments

Strategic Technical Debt: A Real Options Approach to Early-Stage Software

https://arxiv.org/abs/2608.16112
1•rashidae•11s ago•0 comments

There's a 100% Chance AI Agents Are Ruining the Internet

https://www.404media.co/theres-a-100-chance-ai-agents-are-already-ruining-the-internet/
1•pavel_lishin•27s ago•0 comments

Administrative Subpoena Powers and an Outdated Fourth Amendment Doctrine

https://www.brennancenter.org/our-work/analysis-opinion/no-warrant-no-problem-administrative-subp...
1•hn_acker•1m ago•1 comments

Uber Eats rebuilt its search pipeline

https://www.uber.com/in/en/blog/uber-eats-search-pipeline/
1•hmokiguess•1m ago•0 comments

Emacs, Movies and SQLite – Random Thoughts

https://lars.ingebrigtsen.no/2026/09/14/emacs-movies-and-sqlite/
1•temphaaa•2m ago•0 comments

He Might End Up the Most Educated Person

https://www.nytimes.com/2026/09/15/style/he-might-end-up-the-worlds-most-educated-person.html
1•mykowebhn•2m ago•0 comments

Show HN: QLIC – JXL e3 speeds with e9 file density

https://github.com/OzzyMitchell/QLIC
1•ozzymitchell•2m ago•0 comments

Science Gossip – of moss and snakes and bees

https://www.patreon.com/RobinInce/posts/science-gossip-169554732
1•wertyk•4m ago•0 comments

There is still time to reset the AI Doomsday Clock

https://au.civic.ai/p/there-is-still-time-to-reset-the
1•mofeien•5m ago•0 comments

Trump Told Supporters to "Cheat Like Hell." NYT Chose Quote: "Tired of Politics"

https://www.techdirt.com/2026/09/14/trump-told-supporters-to-cheat-like-hell-the-ny-times-went-wi...
1•hn_acker•7m ago•1 comments

Rogue AI didn't breach Hugging Face, human decisions did

https://thebulletin.org/2026/09/rogue-ai-didnt-breach-hugging-face-human-decisions-did/
1•speckx•7m ago•0 comments

Charges Against Man Who Destroyed 3D-Printed 'Decoy' Flock Camera Reduced

https://www.404media.co/charges-against-man-who-destroyed-3d-printed-decoy-flock-camera-drastical...
1•pavel_lishin•8m ago•0 comments

Official Homebrew GUI

https://github.com/Homebrew/BrewUI
1•spiralpolitik•8m ago•0 comments

Corporate pressure killed a bill curtailing surveillance pricing

https://prospect.org/2026/09/15/california-democrats-republican-void-corporate-surveillance-prici...
2•paimapi•10m ago•0 comments

Show HN: ETLFunnel – self-hosted, code-first data pipelines (v1.1.1)

https://etlfunnel.com
1•vivekburman•10m ago•0 comments

Fedora Linux 45 Beta

https://fedoramagazine.org/announcing-fedora-linux-45-beta/
2•speckx•12m ago•0 comments

What counts as a large cosine similarity?

https://www.johndcook.com/blog/2026/09/15/cosine-similarity/
3•ibobev•16m ago•0 comments

Every US Electrical Outlet Explained

https://practical.engineering/blog/2026/9/15/every-us-electrical-outlet-explained
1•throw0101a•16m ago•1 comments

Periodic Labs, building labs that learn

https://periodic.com/news/building-labs-that-learn
1•aguez•16m ago•0 comments

You don't need a kernel 0day

https://bour.ch/you-dont-need-a-kernel-0day/
1•speckx•17m ago•0 comments

Show HN: Open-Source Lightweight Prompt Injection Safety

https://github.com/StackOneHQ/defender/
1•Hiskias•18m ago•0 comments

Ask HN: Why aren't LLM token CDN cache's a thing?

1•devrob•18m ago•1 comments

Agentic Primer – how I shipped a commercial app without writing code

https://github.com/shiranjit/agentic-primer
1•curoo•19m ago•0 comments

Grok Bot Galaxy

https://x.ai/galaxy
2•ilikehurdles•19m ago•0 comments

OpenAI, Anthropic, Google have been in talks on AI safety for weeks

https://techcrunch.com/2026/09/15/openai-anthropic-google-have-been-in-talks-on-ai-safety-for-weeks/
2•Alephinitesimal•19m ago•0 comments

Jean-Pierre Serre

https://en.wikipedia.org/wiki/Jean-Pierre_Serre
2•gslin•20m ago•0 comments

Compare your reaction time with a simulated fly brain

https://flinch-fly-brain-duel.vercel.app/
1•khordoo•20m ago•0 comments

AI Is Lowering the Cost of Competence and Raising the Value of Judgment

https://pensero.ai/blog/knowledge-is-no-longer-the-competitive-advantage.-judgment-is
4•rodipen•20m ago•0 comments

Who Owns the World Cup?

https://phenomenalworld.org/analysis/who-owns-the-world-cup/
1•paimapi•22m ago•0 comments
Open in hackernews

Show HN: routr - a fast local replacement for DuckDuckGo bangs

https://t128n.github.io/routr/
2•trbndev•1y ago

Comments

trbndev•1y ago
routr is a lightweight, offline search router inspired by DuckDuckGo's bangs. It's fully browser-based (no server requests needed other than the initial one) and routes queries like `!gh tokio` to GitHub, `!yt` to YouTube, `!hn` to Hacker News, etc.

What sets it apart:

- Runs entirely locally (no network, no tracking)

- Lets you define your own bangs and destinations

- Optionally rewrites queries for better precision (with AI)

Example:

Typing `article about german war in the stone age !!g` becomes: `site:en.wikipedia.org "german" AND "war" AND "stone age"`

More on query rewriting and performance:

https://tl128n.github.io/writings/2025-05-02_optimizing_sear...

Leftium•1y ago
That link is broken. Correct link: https://t128n.github.io/writings/2025-05-02_optimizing_searc...
trbndev•1y ago
Ah damn what a bummer that I can‘t edit the original comment anymore. Thank you for pointing it out… didn‘t even see that extra `l` there in the url
Leftium•1y ago
> Typing `article about german war in the stone age !!g` becomes: `site:en.wikipedia.org "german" AND "war" AND "stone age"`

I wonder how much of that could be done without AI, just (locally) using https://www.npmjs.com/package/compromise

---

Also I couldn't find your source for bang data; Kagi maintains an updated list: https://github.com/kagisearch/bangs

I'm working on an enhanced version of bangs. Since there are so many "dead" bangs, I'm thinking of using a bang whitelist and suggestions from the full list if not found in the whitelist.

trbndev•1y ago
What an interesting library. Thanks for mentioning it here… will definitely look into it!

—-

The bangs are at

https://github.com/t128n/routr/blob/main/src/sw/routes.ts

Mostly ripped from duckduckgo.com/bang.js and then pretty-formatted with Prettier… with some sane-defaults added like a bang for ChatGPT or T3 Chat

Leftium•1y ago
Related project (also works locally):

- https://unduck.link/

- https://github.com/t3dotgg/unduck

- https://youtu.be/_DnNzRaBWUU

---

Note unduck works without service workers: https://github.com/t3dotgg/unduck/blob/91a66c25de8b0e7ac5ba5...

Is there any advantage to using service workers?

edit: Ah... unduck doesn't work from the browser search bar.

trbndev•1y ago
Unduck actually also uses service workers to cache the app locally

https://github.com/t3dotgg/unduck/blob/91a66c25de8b0e7ac5ba5...

—-

> Is there any advantage to using service workers?

With service workers we can intercept the `fetch` request, before the index.html gets rendered/loaded. One should (in theory) be redirected some micro-seconds faster than doing the redirect in the index.html js