frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Running Lean at Scale

https://harmonic.fun/news#blog-post-lean
39•eab-•2h ago

Comments

auggierose•1h ago
Very interesting. Do I get this right, running 500000 instances for 1 hour can be done for about $5000, or are there many hidden costs? (500000 * $0.01).
RGamma•1h ago
This is part of the work that lead to Aristotle, the system that performed at Gold level at IMO: https://arxiv.org/abs/2510.01346

The Insecure Evangelism of LLM Maximalists

https://lewiscampbell.tech/blog/260114.html
84•todsacerdoti•56m ago•43 comments

We can't have nice things because of AI scrapers

https://blog.metabrainz.org/2025/12/11/we-cant-have-nice-things-because-of-ai-scrapers/
181•LorenDB•1h ago•118 comments

A 40-Line Fix Eliminated a 400x Performance Gap

https://questdb.com/blog/jvm-current-thread-user-time/
17•bluestreak•53m ago•3 comments

Are two heads better than one?

https://eieio.games/blog/two-heads-arent-better-than-one/
81•evakhoury•7h ago•16 comments

The Tulip Creative Computer

https://github.com/shorepine/tulipcc
174•apitman•6h ago•37 comments

We Don't Use AI

https://yarnspinner.dev/blog/why-we-dont-use-ai/
39•parisidau•1h ago•10 comments

Show HN: Nogic – VS Code extension that visualizes your codebase as a graph

https://marketplace.visualstudio.com/items?itemName=Nogic.nogic
56•davelradindra•5h ago•21 comments

How to make a damn website (2024)

https://lmnt.me/blog/how-to-make-a-damn-website.html
112•birdculture•6h ago•40 comments

Open sourcing Dicer: Databricks's auto-sharder

https://www.databricks.com/blog/open-sourcing-dicer-databricks-auto-sharder
53•vivek-jain•3h ago•8 comments

Scott Adams has died

https://www.youtube.com/watch?v=Rs_JrOIo3SE
672•ekianjo•8h ago•1122 comments

Ask HN: Quantum Computation, Computers and Programming

7•rramadass•12h ago•5 comments

Running Lean at Scale

https://harmonic.fun/news#blog-post-lean
39•eab-•2h ago•2 comments

Why Real Life is better than IRC (2000)

https://everything2.com/node/e2node/Why%20Real%20Life%20is%20better%20than%20IRC
38•themaxdavitt•4d ago•35 comments

AI Generated Music Barred from Bandcamp

https://old.reddit.com/r/BandCamp/comments/1qbw8ba/ai_generated_music_on_bandcamp/
501•cdrnsf•5h ago•401 comments

Influencers and OnlyFans models are dominating U.S. O-1 visa requests

https://www.theguardian.com/us-news/2026/jan/11/onlyfans-influencers-us-o-1-visa
319•bookofjoe•7h ago•233 comments

Is it a joke?

https://novalis.org/blog/2025-11-06-is-it-a-joke.html
6•luu•1h ago•2 comments

Choosing learning over autopilot

https://anniecherkaev.com/choosing-learning-over-autopilot
36•evakhoury•5h ago•27 comments

Inlining – The Ultimate Optimisation

https://xania.org/202512/17-inlining-the-ultimate-optimisation
36•PaulHoule•4d ago•15 comments

Japan's Skyscraper Factories (2021)

https://www.construction-physics.com/p/japans-skyscraper-factories
8•Pikamander2•6d ago•0 comments

Legion Health (YC S21) Hiring Cracked Founding Eng for AI-Native Ops

https://jobs.ashbyhq.com/legionhealth/ffdd2b52-eb21-489e-b124-3c0804231424
1•ympatel•6h ago

Show HN: AsciiSketch a free browser-based ASCII art and diagram editor

https://files.littlebird.com.au/ascii-sketch.html
5•schappim•1h ago•2 comments

Show HN: Ayder – HTTP-native durable event log written in C (curl as client)

https://github.com/A1darbek/ayder
47•Aydarbek•5h ago•22 comments

We rolled our own documentation site

https://blog.tangled.org/docs
36•nerdypepper•21h ago•22 comments

Going for Gold: The Story of the Golden Lego RCX and NXT

https://bricknerd.com/home/going-for-gold-the-story-of-the-golden-lego-rcx-and-nxt-9-9-21
31•kotaKat•4d ago•4 comments

Superhuman AI Exfiltrates Emails

https://www.promptarmor.com/resources/superhuman-ai-exfiltrates-emails
86•takira•1d ago•20 comments

Apple Creator Studio

https://www.apple.com/newsroom/2026/01/introducing-apple-creator-studio-an-inspiring-collection-o...
462•lemonlime227•9h ago•377 comments

Git Rebase for the Terrified

https://www.brethorsting.com/blog/2026/01/git-rebase-for-the-terrified/
243•aaronbrethorst•6d ago•249 comments

Let's be honest, Generative AI isn't going all that well

https://garymarcus.substack.com/p/lets-be-honest-generative-ai-isnt
84•7777777phil•5h ago•82 comments

Terra - A rolling-release Fedora repository

https://terra.fyralabs.com/
4•doodlesdev•1h ago•0 comments

LANL's ICE House Tests Microelectronics for Cosmic Radiation Exposure

https://www.lanl.gov/media/publications/1663/ice-house-heats-up
9•LAsteNERD•5d ago•3 comments