news newest ask show jobs

Open Source @Github

fp.

Formalizing Fermat's Last Theorem

https://www.anthropic.com/research/formalizing-fermats-last-theorem

263•jlebar•2h ago•146 comments

Discovery of a new OpenAI agent message board

https://collusion.wiki/

1284•moultano•9h ago•1037 comments

Shutting down our public encrypted DNS

https://mullvad.net/en/blog/shutting-down-our-public-encrypted-dns-servers-and-sponsoring-quad9-i...

128•mywacaday•2h ago•32 comments

Can AI design circuit boards yet?

https://eebench.org/blog/can-ai-design-circuit-boards-yet/

42•iopapa•1h ago•25 comments

Show HN: Open-Source eInk Bike Computer

https://opentrailpaper.com

163•stingrae•3h ago•54 comments

Government Rails Site Hit Hours After CVE Patch

https://rietta.com/blog/ruby-on-rails-cve-exploited-hours-after-patch/

37•rietta•1h ago•9 comments

An open DNS recursive service for free security and high privacy

https://quad9.net/

13•mooreds•43m ago•2 comments

The Rust React Compiler is now native in Vite

https://blog.master.dev/react-now-rusted-all-the-way-out/

64•acusti•3h ago•12 comments

IBM Bob

https://bob.ibm.com/

185•artpar•8h ago•222 comments

deSEC – Free Secure DNS

https://desec.io/

81•gurjeet•5h ago•30 comments

Solving the Jane Street reverse engineering challenge

https://jestoph.com/2026/09/04/jane-street-challenge.html

354•anitil•10h ago•80 comments

Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive

https://torrentfreak.com/adult-film-producer-unmasks-prolific-john-doe-torrent-pirate-as-meta-exe...

215•speckx•4h ago•122 comments

Project HydraFusion: Frontier quality via multi-model orchestration

https://github.blog/ai-and-ml/github-copilot/project-hydrafusion-frontier-quality-via-multi-model...

44•qainsights•4h ago•26 comments

Show HN: TERMy – A fast terminal assistant that does not use LLMs

https://github.com/gioblu/NPC-Forge/blob/main/docs/development.md

63•gioscarab•11h ago•22 comments

How to Create a Tor Exit Node

https://madpsy.uk/how-to-create-a-tor-exit-node/

6•Eridanus2•40m ago•0 comments

Corporate America is getting hooked on open-source AI

https://www.nytimes.com/2026/09/04/technology/open-source-ai-anthropic-openai.html

217•aaraujo002•5h ago•198 comments

People that worked on the same idea for decades

https://nityasnotes.com/writing/decades/

34•sebg•1d ago•16 comments

"Next-token predictor" is the wrong mental model for LLMs

https://gmcgoldr.github.io/2026/09/04/llm-next-token-predictors.html

24•garrinm•3h ago•70 comments

Elevator of the Year: Modernization of the Metropolis Trust Building

https://www.starelevator.com/projects/star-elevator-modernization-of-the-metropolis-trust-building

131•palashawas•3d ago•47 comments

Fermat's Last Theorem in Lean 4

https://github.com/anthropics/fermats-last-theorem

10•aaraujo002•1h ago•3 comments

Getting Started with AT Protocol

https://bnb.im/posts/atproto-essential-resources/

64•evakhoury•3d ago•22 comments

Ok, but does it scale?

https://spacetimedb.com/blog/how-does-spacetime-scale

98•theanonymousone•8h ago•61 comments

SubImage (YC W25) Is Hiring a Founding Engineer in SF

https://www.ycombinator.com/companies/subimage/jobs/NCTFgKK-founding-engineer

1•alexchantavy•8h ago

The Two Abstractions of System Design: Hide or Reduce

http://muratbuffalo.blogspot.com/2026/05/the-two-abstractions-of-system-design.html

92•ubolonton_•2d ago•10 comments

Qwen 3.8 27B available on Cerebras at 1500 tokens/s

https://inference-docs.cerebras.ai/models/overview

674•altertable•1d ago•221 comments

Deadpan Photography: Enjoying the Pretence

https://photoni.st/index.php/2026/07/12/deadpan-photography-enjoying-the-pretence/

7•NaOH•3d ago•4 comments

GPT-6 Astra

https://openai.com/index/gpt-6-astra/

2128•kibae•1d ago•1934 comments

Google AI Mode shows same products 21.6% more expensive than traditional search

https://productrise.app/blog/google-ai-mode-prefers-more-expensive-products

349•DeepLogin•8h ago•70 comments

Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'

https://www.millersbookreview.com/p/arrested-for-a-late-manuscript-seicho-matsumoto-tokyo-express

14•benbreen•1d ago•4 comments

The largest electric aircraft just flew [video]

https://www.youtube.com/watch?v=nM86DBOqgPM

459•feb•3d ago•344 comments

Open in hackernews

Deadpan Photography: Enjoying the Pretence

https://photoni.st/index.php/2026/07/12/deadpan-photography-enjoying-the-pretence/

7•NaOH•3d ago

Comments

abstractspoon•3d ago

> Now notice that you are being watched. The image is watching you look at it. It knows what it is doing.

That's when I stopped reading

tasuki•5m ago

I had a similar reaction. If someone could chime in and explain how this isn't absolute nonsense, I'd be grateful.

RattlesnakeJake•27m ago

I feel like that term could also be used to describe Wes Anderson's filming style. The static shots and dead-centered framing are as much of a deadpan comedic character as anything happening in the scene.

jefc1111•8m ago

Several of the examples in the article are from the Dusseldorf school of photography (which I am a big fan of in general).

https://en.wikipedia.org/wiki/D%C3%BCsseldorf_school_of_phot...

My gateway photo was Cabbage Field by Simone Nieweg

https://www.dailyartmagazine.com/wp-content/uploads/2025/03/...