frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

High-Throughput Lean 4 Autoformalization Model for Local Inference

https://meshapplied.com/posts/lean4-autoformalization
1•matteohorvath•37m ago

The 1991 Unnormalized Linear Transformer (ULTRA)

https://people.idsia.ch/~juergen/1991-unnormalized-linear-transformer.html
1•tosh•3m ago•0 comments

Low-emission zones drive Vietnam's green vehicle transition

https://eastasiaforum.org/2026/08/22/low-emission-zones-drive-vietnams-green-vehicle-transition/
1•Meo_mean•3m ago•0 comments

Show HN: I built a free ADHD test app on which millenials outperform genz on

https://rawdog-one.vercel.app/
1•dixitbavu•5m ago•0 comments

Code Doesn't Speak for Itself

https://koenvangilst.nl/lab/code-doesnt-speak-for-itself
2•vnglst•6m ago•0 comments

FTC Targets Personalized Pricing, Stops Short of Ban

https://www.consumerreports.org/money/prices-price-comparison/personalized-pricing-surveillance-f...
1•DeepLogin•6m ago•0 comments

"I randomly picked 5 universities and looked up sociology department faculty."

https://www.drvinayprasad.com/p/10-thoughts-about-jason-arday-cambridge
1•jmeister•8m ago•1 comments

Why Social Media's Ad Dominance Is a Billion-Dollar Measurement Illusion

https://www.adexchanger.com/content-studio/why-social-medias-ad-dominance-is-a-billion-dollar-mea...
1•dotcoma•10m ago•0 comments

Espressif Releases Linux BSP for ESP32-S31 RISC-V Boards

https://www.cnx-software.com/2026/08/22/espressif-systems-releases-a-linux-bsp-developer-preview-...
1•jandeboevrie•13m ago•0 comments

ADHD diagnoses and prescriptions have increased globally across all age groups

https://theconversation.com/adhd-diagnoses-and-prescriptions-have-increased-globally-across-all-a...
1•downbad_•13m ago•0 comments

Apple cutting jobs from Siri, Vision Pro teams

https://techcrunch.com/2026/08/21/apple-is-reportedly-cutting-hundreds-of-jobs-from-siri-vision-p...
1•DGAP•16m ago•0 comments

Show HN: VinvAI runs and observes your services to find bugs and perf issues

https://vinv.ai/
3•itsAnshul•16m ago•0 comments

Show HN: hlquery, An open-source C++20 search engine

https://github.com/hlquery/hlquery
1•cfferry•17m ago•0 comments

Does herdr worth it? Harnesses like pi ship most of these features

1•abeauvois•18m ago•0 comments

How do ecommerce businesses handle reconciliation?

1•risly•22m ago•0 comments

Cells are fast and crowded places

https://www.righto.com/2011/07/cells-are-very-fast-and-crowded-places.html
1•ziofill•25m ago•0 comments

No Thank You

https://jsrn.net/personal/2026/08/21/no-thank-you.html
2•adunk•28m ago•1 comments

Eight-year study links more childhood screen time to better cognitive processing

https://spacedaily.com/b-researchers-in-finland-tracked-childrens-screen-time-for-eight-years-exp...
2•floitsch•30m ago•0 comments

The Cool Things of Gleam

https://a.baez.link/3mtdbbp2dmc27
1•birdculture•31m ago•0 comments

Cleaning and Shaping the Airbnb Listings

https://stochastic.blog/cleaning-and-shaping-the-airbnb-listings/
1•Anon84•31m ago•0 comments

Mark Zuckerberg Buys an Irish Castle

https://www.nytimes.com/2026/08/21/world/europe/zuckerberg-castle-ireland.html
4•bookofjoe•35m ago•3 comments

High-Throughput Lean 4 Autoformalization Model for Local Inference

https://meshapplied.com/posts/lean4-autoformalization
1•matteohorvath•37m ago•0 comments

How to Fingerprint AI Models When Prompts Lie

https://openrating.io/blog/current-state-of-ai-model-fingerprinting
1•m00dy•37m ago•0 comments

Why trauma changes how our memory engages with our conscious experience

https://www.scientificamerican.com/article/why-trauma-changes-how-our-memory-engages-with-our-con...
1•beardyw•38m ago•0 comments

Rich User Experience, UX and Desktopization of War

https://contemporary-home-computing.org/RUE/
1•matheusmoreira•44m ago•0 comments

The faces behind the feeds: Gen Z's private lives and public posts – in pictures

https://www.theguardian.com/artanddesign/2026/aug/22/the-faces-behind-the-feeds-gen-zs-private-li...
2•mellosouls•46m ago•0 comments

A map of individual trees in NYC at the genus level

https://nyctreegenusmap.com/
1•geox•46m ago•0 comments

A Step by Step Backpropagation Example

https://mattmazur.com/2015/03/17/a-step-by-step-backpropagation-example/
2•Bluestein•49m ago•0 comments

Claude Code Adds Concise Output Style Option

https://digg.com/tech/fktxxvtg
1•hmokiguess•49m ago•0 comments

Apexyx Mesh: offline agent mesh for Termux/Android with 421 hermetic self-tests

https://github.com/xhall-beep/ApexYX-Sovereign
1•xhallbeep•49m ago•0 comments

The spelled-out intro to NNs and backpropagation: building micrograd [video]

https://www.youtube.com/watch?v=VMj-3S1tku0
1•Bluestein•50m ago•0 comments