frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

How to Write a 21st Century Proof (2011) [pdf]

https://lamport.azurewebsites.net/pubs/proof.pdf
2•User23•4h ago

'A hostile climate for workers': US labor movement struggles under Trump

https://www.theguardian.com/us-news/2025/dec/14/labor-movement-union-trump-nlrb
1•robtherobber•46s ago•0 comments

Optimization Countermeasures

https://mcyoung.xyz/2025/12/15/value-barriers/
1•todsacerdoti•2m ago•0 comments

Going Fast, yet Standing Still

https://blog.rybarix.com/2025/12/16/going-fast.html
1•sandruso•4m ago•0 comments

Show HN: Vect AI – Autonomous Marketing OS with Real-Time Market Signal Analyzer

https://blog.vect.pro/vect-ai-bible-guide
1•WoWSaaS•5m ago•0 comments

The Lost Generation

https://www.compactmag.com/article/the-lost-generation/
1•barry-cotter•8m ago•0 comments

Show HN: Building a small psychedelic twin-stick shooter in the browser

https://www.jamesdrandall.com/posts/building-a-webgpu-twinstick-psychedelic-shooter/
1•jamesrandall•9m ago•0 comments

Let's write a toy UI library

https://nakst.gitlab.io/tutorial/ui-part-1.html
1•birdculture•10m ago•0 comments

Fifty problems with standard web APIs in 2025

https://zerotrickpony.com/articles/browser-bugs/
1•ben_s•10m ago•0 comments

Functional Flocking Quadtree in ClojureScript

https://www.lbjgruppen.com/en/posts/flocking-quadtrees
1•lbj•14m ago•0 comments

Algorithms Are No Longer Tools, They Are Decision-Makers

https://www.harvard.com/book/9781067112608
1•aiexpertuser•16m ago•1 comments

DHRUV64: India's First 1.0 GHz, 64-bit dual-core Microprocessor

https://www.pib.gov.in/PressNoteDetails.aspx?NoteId=156505&ModuleId=3&reg=3&lang=1
1•rilawa•17m ago•0 comments

Fighting Big Tech: Slack vs. Microsoft Teams [video]

https://www.youtube.com/watch?v=tO3SJiB8agI
1•binjo•19m ago•1 comments

US suspends technology deal with the UK

https://www.ft.com/content/afd45e58-5351-4379-8f7e-5788da3d2e20
1•robtherobber•19m ago•0 comments

Show HN: Visualize Meeting Transcripts into Flows and Mind Maps (Offline)

https://selfoss.app/
1•shobankr•20m ago•0 comments

Don't fear Python subprocess or Go codegen

https://benhoyt.com/writings/jubilant/
1•benhoyt•20m ago•0 comments

Show HN: Visualizing when you forget what you learn

https://flashmind-app.vercel.app/
1•rogimatt•24m ago•0 comments

Deep Dive in Java vs. C++ Performance

https://johnnysswlab.com/deep-dive-in-java-vs-c-performance/
2•ibobev•27m ago•0 comments

Aliasing

https://xania.org/202512/15-aliasing-in-general
1•ibobev•28m ago•0 comments

Experiment to train rats to play Doom reaches a new level: shooting enemies

https://www.tomshardware.com/virtual-reality/rats-are-still-being-taught-to-play-doom-now-with-a-...
2•rbanffy•28m ago•0 comments

Lightweight Cardinality Estimation with Density

https://buttondown.com/jaffray/archive/lightweight-cardinality-estimation-with-density/
1•ibobev•28m ago•0 comments

Cutting chatbot costs and latency by offloading queries to local guardrails

https://tanaos.com/blog/cut-guardrail-costs/
1•rlucato•28m ago•0 comments

Warper: Ultra-Fast React Virtualization

https://warper.tech/
1•handfuloflight•29m ago•0 comments

TPAC 2025 Breakouts Recap

https://www.w3.org/blog/2025/tpac-2025-breakouts-recap/
1•pentagrama•30m ago•0 comments

Image Translator – AI-Powered Photo Translation Tool

https://www.imagetranslatorai.app/
1•Irving-AI•32m ago•0 comments

Senators Investigate Role of A.I. Data Centers in Rising Electricity Costs

https://www.nytimes.com/2025/12/16/business/energy-environment/senate-democrats-electricity-price...
3•fleahunter•36m ago•0 comments

How Sustainable Is This Crazy Server Spending?

https://www.nextplatform.com/2025/12/15/how-sustainable-is-this-crazy-server-spending/
1•rbanffy•37m ago•0 comments

AI Ideas That Only Work Because It's 2026

1•suhaspatil101•42m ago•1 comments

Ask HN: Please, review wordoid2.com, a smart naming webapp inspired by original

https://wordoid2.com/
1•aleks5678•43m ago•1 comments

Show HN: Spec-AGENTS.md – A tiny Doc-Driven "spec" for AI coding tools

https://github.com/yibie/SPEC-AGENTS.md
1•oliverchan2024•44m ago•1 comments

Nvidia B200: Keeping the CUDA Juggernaut Rolling Ft. Verda (Formerly DataCrunch)

https://chipsandcheese.com/p/nvidias-b200-keeping-the-cuda-juggernaut
1•rbanffy•49m ago•0 comments