Blog

[2608.11158] New Lower and Upper Bounds for the Grothendieck Constant

[2608.11158] New Lower and Upper Bounds for the Grothendieck Constant

โœจ Check out this must-read post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: ๐Ÿ’ก **What Youโ€™ll Learn**: [Submitted on 11 Aug 2026 (v1), last revised 12 Aug 2026 (this version, v2)] View a PDF of the paper titled New Lower and Upper Bounds for the Grothendieck Constant, by Rahul Saha and 6 other authors View PDF HTML (experimental) Abstract:We establish new bounds on the Grothendieck constant $K_G$: \[ \frac๐Ÿ”ฅ๐Ÿ”ฅ \le K_G \le \fracโšก๐Ÿ’ฌ - 10^{-4}. \] Methodologically, our lower bound approach differs from previous works by establishing limitations on the asymptotically optimal Krivine schemes, rather than giving explicit constructions of gap…
Read More

NSA and IETF, part 9

๐Ÿš€ Explore this insightful post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: ๐Ÿ’ก **What Youโ€™ll Learn**: cr.yp.to: 2026.08.14: NSA and IETF, part 9 Table of contents (Access-I for index page) 2026.08.14: NSA and IETF, part 9: An update. #pqcrypto #hybrids #nsa #ietf #procedures 2026.07.06: NSA and IETF, part 8: Fairness. #pqcrypto #hybrids #nsa #ietf #riskmanagement 2026.07.04: Bugs happen: The easy way to compare solo PQ to ECC+PQ. #pqcrypto #bugs #vulnerabilities #hybrids 2026.07.02: A standard by any other name: How IETF evades responsibility for its actions. #standards #doublespeak 2026.06.30: Understanding lattice risks: Many differences between marketing and reality. #lattices #software #looseness #modules…
Read More
Corgi kills short-lived website that ranked its female employees

Corgi kills short-lived website that ranked its female employees

โœจ Explore this must-read post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: ๐Ÿ’ก **What Youโ€™ll Learn**: A website that allowed users to rank women working at Corgi, an AI insurance company known for its 24-hour cafes and whimsical social media presence, was taken down Thursday after the startup threatened the websiteโ€™s owner with legal action.For its three days of existence, CorgiGirls.com displayed photos of Corgiโ€™s female employees in side-by-side comparisons, letting visitors vote on who they thought was more attractive. The website now shows a domain name error.The website appears to have been set up by Sebastian Mandal, a San Francisco-based…
Read More

Stop sending me huge PRs; a rant

๐Ÿš€ Explore this trending post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: ๐Ÿ“Œ **What Youโ€™ll Learn**: I'm tired boss. I'm tired of reviewing one, two, three thousand line PRs because some agent was able to "one shot the whole issue." Small PRs were never asked for because they're easier to write, it's always been for the benefit of the reviewer. AI is such a boon to the industry, but it's becoming such a liability for reviewers and maintainers. Maybe I'm just an old man yelling at the clouds, but please, stop sending me huge PRs. I have heard on multiple occasions…
Read More
RISC-V: They Should Have Known Better

RISC-V: They Should Have Known Better

๐Ÿ’ฅ Explore this awesome post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: ๐Ÿ“Œ **What Youโ€™ll Learn**: RISC-V: They Should Have Known Better Table of Contents Everything for EveryoneOptionalityMissing Obvious PiecesRidiculous encodingAlleged FixesHow Did We Get Here and Where to Now?Does This Mean RISC-V is Doomed?Comments... I am often asked to explain my distaste for RISC-V and I often find myself explaining it piecewise. The reactions are often of the form "you just do not understand the brilliance of it all", which is, of course, no argument at all. After being asked for the Nth time to explain, I decided to put…
Read More
Everything is about to โ€œgo darkโ€ โ€“ A Few Thoughts on Cryptographic Engineering

Everything is about to โ€œgo darkโ€ โ€“ A Few Thoughts on Cryptographic Engineering

๐Ÿš€ Discover this insightful post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: โœ… **What Youโ€™ll Learn**: Iโ€™m coming down from spending a few days at Usenix Security, right here in Baltimore. This means that my days have been taken up with two kinds of conversation: first, explaining to colleagues why Baltimore isnโ€™t actually like The Wire. And second, trying not to talk about AI. Here Iโ€™m going to break both of those rules. I have many worries about what AI means for our field, for various definitions of โ€œfieldโ€. But in this post I want to focus on just one thing…
Read More
Study links coffee consumption to metabolic health and sex hormones

Study links coffee consumption to metabolic health and sex hormones

๐Ÿš€ Check out this trending post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: โœ… **What Youโ€™ll Learn**: Coffee is one of the world's most widely consumed beverages,ย and previous research has linked its consumption to a lower risk of conditions such as type 2 diabetes and cardiovascular disease. However, the biological mechanisms behind these benefits remain unclear. A new Finnish study links habitual coffee consumption to healthier body composition and metabolic markers, while revealing distinct associations with sex hormones in men and women. The study, conducted at the University of Oulu, analysed data from 2,264 participants aged 46 in the Northern Finland…
Read More

Every exterior shot in *The Taking of Pelham 123*

๐Ÿš€ Discover this insightful post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: ๐Ÿ“Œ **What Youโ€™ll Learn**: โ€œI'm deceased, maimed or in Philadelphia.โ€ This is a list of the location of every exterior shot in New York City from the classic 1974 crime film The Taking of Pelham 123. Most of the film, which concerns a subway hijacking, take places underground, but there are about 40 exterior shots in Manhattan. The filmmakers evidently took care to use real locations that match the action in the film (i.e., when the subway train is parked near the 28th Street station, the aboveground police field…
Read More
lajosdeme/mole: A deep-research agent with an enforced budget, verified quotes, and a privacy boundary for local data. ยท GitHub

lajosdeme/mole: A deep-research agent with an enforced budget, verified quotes, and a privacy boundary for local data. ยท GitHub

โœจ Explore this awesome post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: ๐Ÿ“Œ **What Youโ€™ll Learn**: A deep-research agent with an enforced budget, verified quotes, and a privacy boundary for local data. Ask a question. mole decomposes it, searches, reads sources, extracts claims, checks each claim against the text it came from, looks for contradictions between them, and writes an answer with citations. Every model call is reserved against a budget before it happens and settled after, so the ceiling you set is the ceiling it hits. It runs as a single static binary on your machine, uses your own API…
Read More
LuaCAD

LuaCAD

๐Ÿš€ Read this must-read post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: ๐Ÿ“Œ **What Youโ€™ll Learn**: Scriptable CAD with Lua. Write parametric 2D and 3D models in Lua and export them to 3MF, STL, OBJ, PLY, OFF, AMF, or SCAD, or render them straight to a PNG. LuaCAD embeds Lua 5.4 in a Rust engine that evaluates CSG operations directly (via Manifold) or generates OpenSCAD code for external rendering. Why Lua? Similar syntax as the OpenSCAD language, but better: More powerful More consistent Faster Easily embeddable Operator overloading for natural CSG syntax (a + b, a - b, a * b)…
Read More