frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Nobody Knows How to Build with AI Yet

https://worksonmymachine.substack.com/p/nobody-knows-how-to-build-with-ai
14•Stwerner•22m ago•0 comments

Linux and Secure Boot certificate expiration

https://lwn.net/SubscriberLink/1029767/43b62a7a7408c2a9/
82•todsacerdoti•7h ago•35 comments

Fstrings.wtf

https://fstrings.wtf/
235•darkamaul•5h ago•66 comments

My Self-Hosting Setup

https://codecaptured.com/blog/my-ultimate-self-hosting-setup/
397•mirdaki•13h ago•144 comments

Hyatt Hotels are using algorithmic Rest “smoking detectors”

https://twitter.com/_ZachGriff/status/1945959030851035223
354•RebeccaTheDev•12h ago•189 comments

Babies made using three people's DNA are born free of mitochondrial disease

https://www.bbc.com/news/articles/cn8179z199vo
84•1659447091•2d ago•40 comments

Valve confirms credit card companies pressured it to delist certain adult games

https://www.pcgamer.com/software/platforms/valve-confirms-credit-card-companies-pressured-it-to-delist-certain-adult-games-from-steam/
715•freedomben•1d ago•688 comments

A 14kb page can load much faster than a 15kb page (2022)

https://endtimes.dev/why-your-website-should-be-under-14kb-in-size/
334•truxs•7h ago•227 comments

Pimping My Casio: Part Deux

https://blog.jgc.org/2025/07/pimping-my-casio-part-deux.html
103•r4um•8h ago•29 comments

I avoid using LLMs as a publisher and writer

https://lifehacky.net/prompt-0b953c089b44
127•tombarys•5h ago•76 comments

OpenAI claims Gold-medal performance at IMO 2025

https://twitter.com/alexwei_/status/1946477742855532918
146•Davidzheng•6h ago•217 comments

Piramidal (YC W24) Is Hiring a Full Stack Engineer

https://www.ycombinator.com/companies/piramidal/jobs/JfeI3uE-full-stack-engineer
1•dsacellarius•4h ago

Advertising without signal: The rise of the grifter equilibrium

https://www.gojiberries.io/advertising-without-signal-whe-amazon-ads-confuse-more-than-they-clarify/
126•neehao•13h ago•54 comments

How to write Rust in the Linux kernel: part 3

https://lwn.net/SubscriberLink/1026694/3413f4b43c862629/
227•chmaynard•17h ago•15 comments

YouTube No Translation

https://addons.mozilla.org/en-US/firefox/addon/youtube-no-translation/
113•thefox•8h ago•53 comments

Astronomers use colors of trans-Neptunian objects to track ancient stellar flyby

https://phys.org/news/2025-07-astronomers-trans-neptunian-track-ancient.html
12•bikenaga•3d ago•4 comments

Asynchrony is not concurrency

https://kristoff.it/blog/asynchrony-is-not-concurrency/
274•kristoff_it•20h ago•193 comments

Meta says it won’t sign Europe AI agreement, calling it an overreach

https://www.cnbc.com/2025/07/18/meta-europe-ai-code.html
286•rntn•22h ago•381 comments

N78 band 5G NR recordings

https://destevez.net/2025/07/n78-band-5g-nr-recordings/
6•Nokinside•2d ago•0 comments

Zig Interface Revisited

https://williamw520.github.io/2025/07/13/zig-interface-revisited.html
6•ww520•2d ago•1 comments

An exponential improvement for Ramsey lower bounds

https://arxiv.org/abs/2507.12926
17•IdealeZahlen•6h ago•1 comments

A CarFax for Used PCs: Hewlett Packard wants to give old laptops new life

https://spectrum.ieee.org/carfax-used-pcs
19•miles•3d ago•19 comments

Debcraft – Easiest way to modify and build Debian packages

https://optimizedbyotto.com/post/debcraft-easy-debian-packaging/
70•pabs3•16h ago•22 comments

Bun adds pnpm-style isolated installation mode

https://github.com/oven-sh/bun/pull/20440
97•nateb2022•15h ago•15 comments

Mr Browser – Macintosh Repository file downloader that runs directly on 68k Macs

https://www.macintoshrepository.org/44146-mr-browser
78•zdw•15h ago•16 comments

Felix Baumgartner, who jumped from stratosphere, dies in Italy

https://www.theinternational.at/felix-baumgartner-who-jumped-from-stratosphere-dies-in-italy/
86•signa11•5h ago•68 comments

Broadcom to discontinue free Bitnami Helm charts

https://github.com/bitnami/charts/issues/35164
200•mmoogle•20h ago•108 comments

Silence Is a Commons by Ivan Illich (1983)

http://www.davidtinapple.com/illich/1983_silence_commons.html
178•entaloneralie•18h ago•43 comments

C++: Zero-cost static initialization

https://cofault.com/zero-cost-static.html
75•oecumena•4d ago•36 comments

Zig's New Writer

https://www.openmymind.net/Zigs-New-Writer/
86•Bogdanp•2d ago•12 comments
Open in hackernews

An exponential improvement for Ramsey lower bounds

https://arxiv.org/abs/2507.12926
17•IdealeZahlen•6h ago

Comments

cevi•1h ago
I've only skimmed the paper, but this looks very nice: the construction is very simple (aside from the precise choices of the parameters), just the analysis to show that it works is difficult.

(I bet the construction can be refined - it feels like there is a semidefinite programming problem lurking in the background, so there is probably a way to mindlessly optimize things with an SDP solver once the proof technique is rephrased a bit.)