frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Ekka: Automated Diagnosis of Silent Errors in LLM Inference

https://syfi.cs.washington.edu/blog/2026-06-29-ekka/
1•matt_d•42s ago•0 comments

You Don't Know Jack About Formal Verification

https://queue.acm.org/detail.cfm
1•aravindputrevu•44s ago•0 comments

I'm playing around with SEO / AEO / GEO

https://www.youdidwhatwithai.com/
1•thewebuiguy•2m ago•0 comments

"What is the terminal?" – Jon Udell

https://blog.jonudell.net/2026/07/01/what-is-the-terminal/
1•rbanffy•2m ago•0 comments

A Mind, a Body, and a Place to Work

https://twitter.com/maurya_ian/status/2074010518650864073
1•mauryaudayan•3m ago•0 comments

Guest Post: Atari Origins – By Mark Miller

https://www.goto10retro.com/p/guest-post-atari-origins
1•rbanffy•3m ago•0 comments

Alice Sebold, the wrong man, and Syracuse's buried rape crisis

https://www.propublica.org/article/alice-sebold-anthony-broadwater-rape-exoneration-syracuse
1•Jimmc414•3m ago•0 comments

XGBoost beat LLMs at finding civilian-harm posts in Ukraine war Telegram data

https://www.bellingcat.com/resources/2026/06/25/how-to-use-ai-to-help-find-civilian-harm-conflict...
1•Jimmc414•4m ago•0 comments

AMD Ryzen AI Halo Is a Powerful Mini PC with Open-Source Software

https://www.phoronix.com/review/amd-ryzen-ai-halo
1•rbanffy•4m ago•0 comments

Judgment-Theater and Responsibility Laundering in AI Post-Training

https://medium.com/@wo.shen.me.dou.bu.zhi.dao.a/structural-audit-of-judgment-theater-and-responsi...
1•SyntagmaNull•4m ago•0 comments

DeepSeek V4 Is Earning Agentic Token Share

https://openrouter.ai/blog/insights/deepseek-v4-adoption/
1•verdverm•5m ago•0 comments

Bugs Happen: solo PQ compared to ECC+PQ

https://blog.cr.yp.to/20260704-bugs.html
1•aburan28•5m ago•0 comments

Tokentap – Print what your LLM is thinking

https://github.com/jmuncor/tokentap
1•jmuncor•5m ago•1 comments

From Trust to Verification: Lean's Impact on Mathematics

https://www.simonsfoundation.org/2026/06/23/from-trust-to-verification-leans-impact-on-mathematics/
1•digital55•6m ago•0 comments

5 frontier LLMs have the same favorite joke

https://rkique.github.io/humanitys-first-exam/joke
1•rkique•7m ago•0 comments

IOL-AI 2026 Challenge: Can Your Model Solve Linguistics Olympiad Problems?

https://huggingface.co/spaces/iol-ai-challenge/iol-ai-2026
1•amarbirsingh•8m ago•0 comments

DGX Spark Local LLM Benchmark: Administrative Tasks

https://www.aai-labs.com/en/research/local-llm-benchmark-administrative-tasks
1•tasubotadas•9m ago•0 comments

Canonization and the Overhang

https://laughingmeme.org/2026/06/30/canonization-and-the-overhang.html
1•mooreds•12m ago•0 comments

The pursuit of excellence does not need justification

https://xcancel.com/mitchellh/status/2074225453217505494?s=20
2•underdeserver•14m ago•0 comments

Ditching Zotero for a Text File

https://atthis.link/blog/2026/57207.html
1•speckx•15m ago•0 comments

Node.js is fighting a flood of AI-generated security reports

https://www.heise.de/news/Sicherheitswarnungen-Node-js-will-KI-Flut-mit-KI-bekaempfen-11355142.html
1•logickkk1•15m ago•0 comments

What's at the center of Claude's mind?

https://www.youtube.com/watch?v=rKV5JcALQoQ
1•John7878781•15m ago•0 comments

Bumblebee: A zero-dependency Go scanner for malicious MCP servers and extensions

https://github.com/perplexityai/bumblebee
1•anonli•16m ago•1 comments

GLM 5.2 and the coming AI margin collapse

https://martinalderson.com/posts/the-upcoming-ai-margin-collapse-part-1-glm-5-2/
2•martinald•17m ago•0 comments

I Used to Think Memory Leaks Were Loud in Java

https://medium.com/@martinastaberger/i-used-to-think-memory-leaks-were-loud-in-java-617f346e2bc3
1•theanonymousone•18m ago•0 comments

Show HN: Onboard CLI uses LLM to filter out nodes and AST to visualize codebase

https://github.com/animesh-94/Onboard-CLI
1•yr_animesh•18m ago•0 comments

AI Comes to the Ivy League

https://www.plagiarismtoday.com/2026/07/06/ai-comes-to-the-ivy-league/
1•speckx•19m ago•0 comments

Decoding 137MHz signals from passing satellites to get images with a $10 SDR

https://www.jonhilty.com/satelliteimaging
4•vitaelabitur•21m ago•0 comments

M/PC – A Concatenative OS

https://wiki.xxiivv.com/site/m_pc.html
2•caminanteblanco•23m ago•0 comments

Poison, redzones and shadows: inside KASAN

https://bootlin.com/blog/poison-redzones-and-shadows-inside-kasan/
1•rrampage•24m ago•0 comments
Open in hackernews

What does Jeff Bezos think is going to happen?

https://reprog.wordpress.com/2026/07/05/what-does-jeff-bezos-think-is-going-to-happen/
27•speckx•1h ago

Comments

O5vYtytb•17m ago
Maybe you should ask Andy Jassy, the current CEO?
__MatrixMan__•15m ago
> Well, from now on the workflow will be:

> - Find the book I want on Amazon.

> - Buy it.

> - Find the same book on a torrent site.

> - Download it.

> - Physically copy it onto the Kindle via a USB cable.

Wait a second... you're rewarding Amazon and the publisher for their bad behavior by continuing to buy from Amazon? Nothing about this plan is discouraging the problem.

Cut out the middlemen. Torrent it and send the author some money.

stavros•13m ago
The next sentence says:

> And it can hardly escape anyone’s notice that I would achieve exactly the same end-state — the book on my Kindle — if I just skipped the first two stages.

__MatrixMan__•11m ago
Sure but why pussyfoot around the issue? We should be actively encouraging each other to punish misbehaving companies. It's the right thing to do.

They're deaf to anything besides pain. If you want to help your fellow humans, you need to inflict that pain. Otherwise the company won't change.

stavros•10m ago
I agree, but I think that the author is saying the same thing.
munk-a•9m ago
I think by spelling out the process in this manner and then highlighting the absurdity of the first two steps your argument is defusing a lot of the bad faith responses that are likely to arise.

It does feel cumbersome to execute the argument in this manner but it feels rationally defensive.

breuleux•6m ago
I just see it as a way to highlight the absurdity. They're heavily implying they won't buy books on Amazon anymore in the next paragraph:

> So it looks as though this move — both mean-spirited and commercially incompetent — will result in the loss of about 50 book sales per year.

jldugger•5m ago
> Sure but why pussyfoot around the issue? We should be actively encouraging each other to punish misbehaving companies. It's the right thing to do.

Probably because doing what you suggest would not look great in court:

"Dear Jeff Bezos,

Here is my signed confession letter of intellectual property theft.

Yours Truly, Mike Taylor"

OsrsNeedsf2P•12m ago
Right? I never understood why people think it's morally right to buy books/movies/music from predatory service providers
bspammer•12m ago
[delayed]
mjhay•12m ago
Buying the physical book from Amazon isn’t a great way to stick it to Bezos. Just have your local bookstore order it for you, it’s easy.
pyrale•7m ago
If you want to stick it to Jeff, the best part is to give/lend/sell them once you've read them. Or even better, get them from the (public) library.
b40d-48b2-979e•6m ago
Or just get it from your library. I rarely find myself re-visiting books, so that model is ideal to me.
josefritzishere•12m ago
I buy paper books. So far zero have been stolen by Jeff Bezos. They take up a bit of space but there are always trade offs.
munk-a•6m ago
If you find yourself with an excess of books buy a bird house and set up a little library[1] somewhere in your neighborhood to outsource that storage and the knowledge contained in those books! I liberally loan books that I love out though the ones I really love go to homes I know will appreciate them.

1. Also called a loan-library in some areas - basically a box that random folks can put books into and take books out of without any strings attached.

wwweston•9m ago
I’ve got an old DX. The fact that it doesn’t have net access anymore is now a security feature and an anti distraction mechanism. I can load what I want by USB. It doesn’t do epub3 which is a problem, but it does PDFs and conversion tricks are possible.

The Amazon ecosystem isn’t uniquely untrustworthy, but it’s not where I want to keep future electronic purchases.