The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps.
Trust in the correctness comes entirely from the Lean checker and human review of a small specification, not from the LLM.
Also check out the web demo built around the verified core linked in the readme: https://schildep.github.io/verified-polygon-intersection/. It supports multipolygons including holes, self intersections, and overlapping edges.","time":1780610778,"title":"Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed","type":"story","url":"https://github.com/schildep/verified-polygon-intersection"},{"by":"mooreds","descendants":174,"id":48397028,"kids":[48398538,48398656,48398846,48401512,48399242,48400429,48402895,48403483,48398355,48404965,48400171,48405467,48402178,48402840,48398756,48403648,48402090,48403116,48400407,48404809,48402267,48400585,48398263,48403652,48402227,48399772,48401842,48401332,48403548,48398293,48402335,48402770,48399487,48402309,48402148,48400306,48399839,48400577,48398337,48401702,48400872,48398771,48398823,48399707,48400153,48401486,48399505,48397973,48398040,48401113,48400875,48398803,48398587,48400798,48402641,48398916,48399527,48399078,48401052,48401596,48401059,48400750,48400578,48402861,48398131,48400732],"score":452,"time":1780571854,"title":"Ian's Secure Shoelace Knot","type":"story","url":"https://www.fieggen.com/shoelace/secureknot.htm"},{"by":"xena","descendants":2,"id":48405019,"kids":[48405532,48405506],"score":10,"time":1780609354,"title":"IPv6 zones in URLs are a mistake","type":"story","url":"https://xeiaso.net/notes/2026/ipv6-zones-go-url/"},{"by":"naves","descendants":14,"id":48403753,"kids":[48404821,48404153,48404818,48404800,48405380,48404769,48405053,48404975,48405305],"score":34,"time":1780602722,"title":"Castor: CERN Advanced STORage Manager","type":"story","url":"https://castor.web.cern.ch/content/home.html"},{"by":"mawise","descendants":143,"id":48400588,"kids":[48402228,48402244,48403627,48402597,48402995,48405056,48402623,48405270,48401996,48404765,48403323,48403122,48405252,48402765,48403447,48404953,48404978,48402721,48403736,48402258,48403765,48402206,48402855,48404641,48404197,48402882,48402355,48403216,48402794,48403241,48402107,48403084,48404075,48402529,48401967,48402986,48404728,48401689,48402658,48404743],"score":210,"time":1780588955,"title":"Retro-Tech Parenting","type":"story","url":"https://havenweb.org/2026/05/28/retro-tech.html"},{"by":"birdculture","descendants":5,"id":48375445,"kids":[48405324,48405275],"score":20,"time":1780430454,"title":"Branchless Quicksort faster than std:sort and pdqsort with C and C++ API","type":"story","url":"https://tiki.li/blog/blqsort"},{"by":"theanonymousone","descendants":10,"id":48399974,"kids":[48400498,48405168,48400484,48401659],"score":104,"time":1780586280,"title":"KVarN: Native vLLM backend for KV-cache quantization by Huawei","type":"story","url":"https://github.com/huawei-csl/KVarN"},{"by":"hasheddan","descendants":5,"id":48375064,"kids":[48405265,48404846],"score":27,"time":1780428644,"title":"JLink JTAG Access on the Pinecil","type":"story","url":"https://danielmangum.com/posts/jlink-jtag-pinecil/"},{"by":"zdw","descendants":6,"id":48366090,"kids":[48404150,48404845,48403182],"score":66,"time":1780374739,"title":"Samurai City","type":"story","url":"https://worksinprogress.co/issue/samurai-city/"},{"by":"tejaswigowda","descendants":13,"id":48404224,"kids":[48404787,48405517,48404859,48405403,48404503,48405382,48405367,48404405,48405304,48404833],"score":48,"text":"Built a browser-based FFmpeg editor that runs entirely client-side via WebAssembly. Your files never leave your device -- all processing happens in a Web Worker. Works offline as an installable PWA after first load.","time":1780605138,"title":"Show HN: FFmpeg WebCLI – Full FFmpeg in Browser, Offline PWA, No Uploads(WASM)","type":"story","url":"https://github.com/tejaswigowda/ffmpeg-webCLI"},{"by":"toomuchtodo","descendants":43,"id":48404063,"kids":[48404867,48404877,48405465,48404893,48405503,48405383,48404946,48405404,48405018,48404856],"score":68,"time":1780604347,"title":"Iran Shock Jolts Asia and Europe to Speed Up Energy Transition","type":"story","url":"https://www.bloomberg.com/graphics/2026-energy-transition-iran-war/"},{"by":"henry_flower","descendants":5,"id":48360414,"kids":[48403491,48404895,48404138],"score":45,"time":1780336930,"title":"Making Debian or Fedora persistent live images","type":"story","url":"https://sigwait.org/~alex/blog/2026/05/28/smdBC8.html"},{"by":"robinhouston","descendants":10,"id":48353098,"kids":[48403698],"score":47,"time":1780293267,"title":"Sum-product, unit distances, and number fields","type":"story","url":"https://www.erdosproblems.com/forum/thread/blog:6"},{"by":"el_al","id":48401433,"score":1,"time":1780592437,"title":"Zettascale (YC S24) Is Hiring Founding FPGA Engineers","type":"job","url":"https://www.ycombinator.com/companies/zettascale/jobs/O9S1vqO-founding-engineer-fpga-rtl-asic-architect"},{"by":"buchodi","descendants":155,"id":48403588,"kids":[48405156,48404225,48404927,48404101,48404707,48404483,48405432,48404313,48404286,48404199,48405412,48405510,48404258,48404044,48405170,48405033,48404069,48403985,48404072,48404085,48404681,48404172,48404331,48405102,48403978,48404468,48405054,48404962,48404315,48404866,48404061,48403954,48404420,48403946,48404016,48404659,48403925,48404218,48404215,48404062,48404348,48404814,48404161],"score":162,"time":1780601808,"title":"Meta's ships facial recognition on smart glasses","type":"story","url":"https://www.buchodi.com/meta-glasses-facial-recognition/"},{"by":"fredley","descendants":17,"id":48399528,"kids":[48404870,48405496,48403720,48403476,48404005,48405122,48404365,48403867,48403468,48404611,48404007,48403903],"score":29,"time":1780584524,"title":"AI, Ashby Engineering, and the future","type":"story","url":"https://www.ashbyhq.com/blog/engineering/ai-ashby-engineering-and-the-future"},{"by":"mellosouls","descendants":24,"id":48369416,"kids":[48405487,48404578,48404764,48404758,48405379,48404737],"score":60,"time":1780403720,"title":"Mornings and nights no longer exist at 47C: A day in the hottest place in India","type":"story","url":"https://www.bbc.co.uk/news/articles/crmp0krp98ro"},{"by":"gmays","descendants":0,"id":48404905,"score":4,"time":1780608691,"title":"Queen bees emerge from special wax chambers","type":"story","url":"https://cen.acs.org/materials/biobased-materials/queen-bees-special-wax/104/web/2026/06"},{"by":"tosh","descendants":52,"id":48373642,"kids":[48401189,48397447,48399559,48397090,48398009,48397907,48397994,48400236,48404676,48400362,48397142,48397127,48402085,48400009,48401863,48398821,48398099,48403020,48399315,48397143,48397097,48398125],"score":200,"time":1780422600,"title":"U.S. Army Corps of Engineers Bay Model","type":"story","url":"https://en.wikipedia.org/wiki/U.S._Army_Corps_of_Engineers_Bay_Model"},{"by":"BrunoBernardino","descendants":186,"id":48396004,"kids":[48396511,48396655,48396899,48403260,48397172,48405281,48396525,48397506,48404360,48396927,48399507,48396474,48401959,48396391,48403494,48399009,48399677,48397030,48398381,48396322,48396977,48398540,48400455,48396342,48396937,48396494,48396893,48397189,48403307,48404860,48397867,48397307,48403278,48398026,48396589,48396993,48404671,48396852,48398391,48396838,48396563,48397658],"score":195,"text":"You can get a 2h free trial by solving a proof-of-work captcha when topping up your account for the first time.
If you'd like to learn more, an independent interview was posted a couple of weeks ago [1], and the FAQ [2] has a lot of information as well.
For the source code sharing, we've talked with lawyers and are inclined to no longer require the NDA/NCC for privacy reasons shared with us before (signing requires identification), but instead use a source-available permissive license that doesn't allow competition, like PolyForm Shield [3] (we do still have about 6 months before finalising a decision, here).
This does come with a lot more risks for us (it's harder to track down if someone publishes the code or uses it against the license), but given we've already passed 100 monthly active accounts, we're feeling more confident it's an acceptable risk.
The plan is to give logged in accounts (who are 12 months old or more) a way to download a ZIP of the current code base that's in the server.
Obviously there's no easy way to prove that's the case, but we're open to ideas/suggestions if someone here has them.
[1]: https://theprivacydad.com/interview-with-the-engineer-of-uru...
[3]: https://polyformproject.org/licenses/shield/1.0.0","time":1780563370,"title":"Show HN: Uruky (EU-based Kagi alternative) now has Image Search and URL Rewrites","type":"story","url":"https://uruky.com/?il=en"},{"by":"ibobev","descendants":64,"id":48396792,"kids":[48397403,48400272,48397346,48397351,48398936,48401869,48400279,48397991,48400684,48397448,48397234,48398937,48397008,48397463,48396963,48399323],"score":169,"time":1780570093,"title":"Gaussian Point Splatting","type":"story","url":"https://momentsingraphics.de/Siggraph2026.html"},{"by":"surprisetalk","descendants":25,"id":48370558,"kids":[48400485,48404933,48400187,48403412,48401302,48400141,48403378,48404748,48401244],"score":67,"time":1780409715,"title":"3D-printed book turns its own G-code into raised lettering","type":"story","url":"https://www.designboom.com/design/3d-printed-book-manual-darius-ou-benson-chong/"},{"by":"andrewstuart","descendants":0,"id":48376008,"score":3,"time":1780433019,"title":"I'm skeptical about efforts to revolutionize schooling","type":"story","url":"https://www.scotthyoung.com/blog/2026/05/27/revolutionize-schooling/"},{"by":"juliusceasar","descendants":77,"id":48397731,"kids":[48398118,48397820,48398081,48402830,48401429,48398752,48398232,48399101],"score":68,"text":"It was discussed a year ago.\nhttps://news.ycombinator.com/item?id=44235467","time":1780576360,"title":"Ask HN: So what happened to Facebook \"localhost\" tracking?","type":"story"},{"by":"utibeumanah","descendants":0,"id":48404732,"kids":[48404738],"score":3,"text":"Hey HN\nI've been using ECS for a while now and found it annoying having to log into the console everytime
I use Lens for Kubernetes but couldnt find an equivalent for ECS so i built one!
The project is open source as well\nhttps://github.com/utibeabasi6/mercek","time":1780607716,"title":"Show HN: Mercek – A Desktop IDE for AWS ECS","type":"story","url":"https://www.mercek.dev/"},{"by":"rozumem","descendants":264,"id":48401965,"kids":[48402173,48402313,48402522,48402365,48402387,48402166,48402705,48402488,48402364,48404788,48402766,48402972,48404772,48403418,48404686,48402636,48403136,48405206,48404662,48402434,48403213,48403262,48402283,48402241,48402637,48402459,48402527,48402261,48403325,48404576,48402934,48402610,48404957,48402925,48402437,48402502,48402640,48404223,48402317,48402874,48403725,48403265,48402626,48402330,48402899,48402881,48404373,48402555,48402332,48403243,48402276,48404196,48402442,48402342,48403727,48403569,48403453,48402897,48402827,48405104,48402295,48403510,48403462,48402281,48402593,48403079,48402859,48403223,48402486,48402521,48402819,48402408],"score":289,"time":1780594753,"title":"The desperation of NYTimes","type":"story","url":"https://rozumem.xyz/posts/16"},{"by":"akh","descendants":7,"id":48397148,"kids":[48404500,48404545,48403202,48405225,48398281],"score":23,"text":"We launched Infracost on HN five years ago (https://news.ycombinator.com/item?id=26064588) where our CLI generated cost estimates for infra-as-code, e.g. "this Terraform PR adds $400/mo". The idea was to shift cloud costs (FinOps) left, so engineers get visibility of costs before deployment and make better decisions.
Earlier this year we started seeing agent traffic in our logs and it looked like coding agents were calling our CLI. But that CLI wasn't designed with coding agents in mind. We went down a philosophical rabbit hole to see if a CLI is even needed anymore given that Claude, Copilot et al. already follow best practices. Ultimately we decided to create a new CLI from the ground up with coding agents in mind for two reasons:
1. We optimized the CLI for agent callers and cut Claude's output token usage by up to 79% and API cost by up to 67% versus a bare-Claude baseline. We wrote a blog documenting our lessons on optimizing user token usage when designing a CLI, e.g. using predicate flags so the agent doesn't compose jq | python | wc pipelines, output format that strips JSON's redundant field names. The blog is here: https://www.infracost.io/resources/blog/we-cut-claude-s-toke...
2. With cloud costs, precision matters. Telling a coding agent "make this Terraform cost-optimized" can be expensive and lossy. You burn tokens loading code and policy context into every conversation. Your agent could make up a price and you wouldn't know because it's difficult to verify that across the ~10M price points that AWS, Azure and Google have. The CLI runs static analysis on the code, uses the latest prices from cloud vendors, and passes that context to the coding agent.
So that's what we're launching today - Cost.dev: https://cost.dev/.
- It runs locally. Your code never leaves your machine, you get a fast feedback loop, and you're not burning API calls per character when you want to fetch prices.
- The CLI does the deterministic work. Fetching price points, scanning the code, validating fixes. The coding agent does the natural-language part. You don't have to trust the LLM to remember the rules, and can verify it called the right CLI command.
- It provides a consistent rule layer across every tool you use. Get cost estimates in your IDE and your coding agent with a single install. We support Claude Code, GitHub Copilot, Cursor, Windsurf, OpenAI Codex, Gemini CLI, as well as IDEs like VS Code and JetBrains
Before we keep building more in that direction, I want to sanity-check with HN: is "agents writing IaC in prod" actually a thing yet, or am I betting on a future that's still a year out? I know software developers are using coding agents heavily, but are platform/infra folks doing that for prod too? Also, if you have any feedback on Cost.dev, I'd love to hear it!","time":1780572613,"title":"Show HN: Cost.dev (YC W21) – making agents cost-aware and cheaper to call","type":"story","url":"https://cost.dev/"},{"by":"jawiggins","descendants":17,"id":48404233,"kids":[48405108,48405185,48404889,48404890,48405149,48405258,48405070,48404842,48405068,48404847],"score":52,"time":1780605182,"title":"NSA using Anthropic's Mythos for cyber attacks","type":"story","url":"https://www.ft.com/content/d02d91b3-2636-454e-9442-dc7e69f51815"},{"by":"bix6","descendants":1,"id":48398358,"kids":[48405521],"score":4,"text":"Hi HN, I am having AI build me a local Gin Rummy trainer and it cannot figure out medium and hard bot strategies, they keep losing to easy! The point of this is to help me learn so I don't really know how to advise it on strategies. Right now it's just looping through tests and modifying but it keeps not improving. Does anyone have any recommendations or guidance for strategies I could suggest to it?","time":1780579739,"title":"Ask HN: Gin rummy strategies","type":"story"},{"by":"MaxLeiter","descendants":607,"id":48391611,"kids":[48395230,48395158,48403348,48392754,48393124,48393523,48395349,48404634,48393713,48396364,48403669,48398444,48403181,48401179,48399224,48396930,48404410,48403950,48401753,48398382,48399151,48393468,48400959,48394426,48394616,48401296,48395073,48400395,48394470,48397834,48396023,48398517,48395245,48399073,48392685,48400404,48393588,48398911,48396003,48397459,48395829,48401214,48392462,48394872,48393090,48395500,48399117,48395435,48396148,48393947,48395816,48394315,48396055,48394302,48394157,48395690,48396594,48396586,48401909,48399404,48395820,48394138,48394652,48394443,48395882,48397124,48395610,48395602,48395839,48395683,48395774,48394294,48395885,48399395,48403363,48396733,48395408,48399052,48395209,48394933],"score":1379,"time":1780529838,"title":"They’re made out of weights","type":"story","url":"https://maxleiter.com/blog/weights"},{"by":"fidotron","descendants":114,"id":48397233,"kids":[48398023,48400476,48399664,48398412,48401066,48404248,48399578,48397675,48403142,48403187,48403572,48400270,48399193,48398690,48397967,48397890,48397773],"score":388,"time":1780573168,"title":"French-Iranian author Marjane Satrapi, author of 'Persepolis', dies at 56","type":"story","url":"https://www.france24.com/en/culture/20260604-french-iranian-author-marjane-satrapi-author-of-persepolis-dies-at-56"},{"by":"remywang","descendants":13,"id":48356563,"kids":[48400911,48400023,48401203,48402064],"score":58,"text":"Prela is an embedded query language based on Tarski's Algebra of Relations. Its queries are concise, clear, and fast. It is implemented by shallow embedding in a host programming language: Prela operators are regular functions in the host. The implementation follows continuation-passing style which compiles to efficient columnar execution.","time":1780320361,"title":"Show HN: Prela – Purely Algebraic Relation Combinators","type":"story","url":"https://github.com/remysucre/prela"},{"by":"cobbzilla","descendants":41,"id":48368725,"kids":[48397141,48398275,48396107,48397044,48400180,48397505,48396631],"score":156,"time":1780399210,"title":"Under Notre Dame, a 'dig of the century' unearths 1,700 years of history","type":"story","url":"https://apnews.com/article/notre-dame-dig-treasures-paris-archaeology-roman-dae41f792c1402faf32a87c154cc9a77"},{"by":"speckx","descendants":313,"id":48399332,"kids":[48403003,48400418,48399770,48400325,48403138,48400703,48401216,48404549,48400390,48403028,48400287,48399510,48399459,48404078,48400689,48400595,48400509,48399776,48400249,48400217,48399522,48399886,48401386,48401934,48400127,48399972],"score":350,"time":1780583799,"title":"Wind and solar generated more power than gas globally in April 2026","type":"story","url":"https://electrek.co/2026/05/20/in-a-first-wind-solar-generated-more-power-than-gas-globally-april-2026/"},{"by":"louwrentius","descendants":77,"id":48391957,"kids":[48405016,48393665,48404454,48403732,48393769,48393025,48394372,48393631,48394524,48394736,48399769,48400063,48395132,48394255,48394880,48396491,48402284,48393286,48394794,48393928,48392903,48393669,48393949,48394869,48393753,48394822,48394412],"score":42,"time":1780531970,"title":"DNS is for people, not for IT infrastructure","type":"story","url":"https://louwrentius.com/dns-is-for-people-not-for-it-infrastructure.html"},{"by":"Sunkek","descendants":1,"id":48384522,"kids":[48384523],"score":4,"time":1780496463,"title":"Show HN: NoiR Code – because QR sounds similar to \"noir\"","type":"story","url":"https://noir-code.suncake.xyz/"},{"by":"tobr","descendants":74,"id":48348545,"kids":[48402849,48400231,48399494,48399478,48404741,48398342,48397956,48397845,48399221,48401627,48402738,48400669,48398316,48403264,48397619,48399468],"score":116,"time":1780253695,"title":"Kiki – a tiny homepage construction kit with a small footprint","type":"story","url":"https://tomotama.com/kiki"},{"by":"dnnddidiej","descendants":3,"id":48404658,"kids":[48405319,48405338,48404959],"score":14,"time":1780607254,"title":"AI will consume as much water in 2030 as 1.3B people","type":"story","url":"https://english.elpais.com/technology/2026-06-03/ai-will-consume-as-much-water-in-2030-as-13-billion-people.html"},{"by":"petebay","descendants":4,"id":48396218,"kids":[48405348,48405395,48405378,48405219],"score":4,"text":"With the recent surge in AI-generated content, I built a website called Voloshow that generates images and videos using AI. However, it has been live for almost a month and still hasn’t attracted a single user. I’m not sure what I did wrong. website is called Voloshow (https://voloshow.com/).","time":1780565523,"title":"Ask HN: Spent thousands, got no customers. What's wrong with my site?","type":"story"},{"by":"jbredeche","descendants":94,"id":48392082,"kids":[48392688,48393248,48400763,48396681,48394914,48393182,48393201,48395632,48394220,48393036,48396578,48401554,48392292,48396717,48392644,48398973,48395649,48397331,48396313,48398688,48397133,48393203,48398018,48398642,48397856,48403935,48402272,48399743,48395708,48393443,48394758,48396651,48395327,48397161,48394753,48397570,48394708,48392322,48393164,48394760],"score":219,"time":1780532872,"title":"The ways we contain Claude across products","type":"story","url":"https://www.anthropic.com/engineering/how-we-contain-claude"},{"by":"littlexsparkee","descendants":679,"id":48392004,"kids":[48393790,48393800,48396418,48397896,48404383,48403815,48401234,48393796,48398103,48405160,48394357,48398360,48394126,48393054,48403239,48401492,48396599,48401936,48397375,48395777,48396894,48394980,48401919,48402428,48403735,48393272,48401162,48394083,48400348,48404277,48398110,48393376,48405209,48400286,48401998,48396980,48395268,48396699,48396996,48395106,48399059,48399098,48395586,48400481,48394808,48394725,48395110,48393361,48398095,48404664,48395140,48397838,48395539,48395390,48394373,48396039,48396273,48395357,48397329,48400582,48395579,48396860,48398827,48395182,48396302,48402539,48398993,48395535,48394995,48397186,48393599,48393691,48395055,48398622,48399154,48394228,48398509,48398179,48398178,48393132,48394512,48395531,48396804,48396193,48395999,48398284,48394200,48393242,48395167,48397588,48399798,48399255,48398991,48402915,48404970,48395234,48403372,48393902,48395654,48401603,48393130,48394349,48395126],"score":714,"time":1780532282,"title":"Failing grades soar with AI usage, dwindling math skills in Berkeley CS classes","type":"story","url":"https://www.dailycal.org/news/campus/academics/failing-grades-soar-as-professors-see-greater-ai-usage-dwindling-math-skills-in-uc-berkeley/article_16fad0bf-02cb-4b8c-8d88-888ffd9f8608.html"},{"by":"Cider9986","descendants":4,"id":48404439,"kids":[48405069,48405451,48404579,48404922],"score":17,"time":1780606192,"title":"I Must Attempt to Explain the Lego Scandal Rocking YouTube State of Utah","type":"story","url":"https://www.404media.co/the-lego-bricks-and-minifigs-reckless-benyoutube-scandal-has-broken-containment-can-no-longer-be-ignored/"},{"by":"Gooblebrai","descendants":0,"id":48404918,"score":7,"time":1780608765,"title":"Against the Singularity Hypothesis (2024)","type":"story","url":"https://link.springer.com/article/10.1007/s11098-024-02143-5"},{"by":"haydenbarnes","descendants":0,"id":48403377,"score":7,"time":1780600878,"title":"WSL 2 is getting faster Windows file system access","type":"story","url":"https://www.boxofcables.dev/wsl2-per-device-swiotlb-pools-for-virtiofs-and-virtioproxy/"},{"by":"cammasmith","descendants":0,"id":48399793,"score":3,"text":"LLMs are good at SQL. It's precise, expressive, and unambiguous. If you connect an MCP server to Postgres, then the agent can query it directly. The same cannot be said for NoSQL, and given how many people use NoSQL databases, I’m surprised there isn’t more discussion about it.
Part of the problem is diversity. MongoDB, DynamoDB, Cassandra, Redis, and Neo4j all have different query models. There's no shared interface for an LLM to reason about. So instead of writing a query, the agent has to write code: SDK calls, manual aggregation, pagination logic. It becomes more complex, harder to review, and quickly breaks on anything non-trivial.
We ran into this problem with DynamoDB specifically and ended up building our own solution. I wrote about it here if anyone's curious: https://dynamosql.hashnode.dev/why-llm-agents-still-can-t-query-nosql-databases. But I'm more interested in how others have handled this. Why is it still such an unresolved problem?","time":1780585613,"title":"Ask HN: Why is it still so hard for LLMs to query NoSQL databases?","type":"story"},{"by":"karakoram","descendants":189,"id":48347483,"kids":[48395692,48353658,48397174,48398243,48395201,48394751,48396726,48395557,48396089,48397284,48394801,48395856,48396150,48397806,48400373,48398682,48398714,48398564,48401490,48399960,48395235,48396846,48395116,48398503,48395979,48395944,48395325,48397345,48400307,48399866,48400437,48400907,48395316,48397876,48403111,48398634,48395138,48397894,48398595,48355936,48395056,48399119,48395757,48397544,48399873,48397384,48397118,48401914,48402136,48400877,48399973,48397476,48397321,48397232,48396961,48394926,48395923,48396258,48397999,48396757,48399360,48396223,48395026,48394990],"score":255,"time":1780247775,"title":"Learn SQL Once, Use It for 30 Years","type":"story","url":"https://fagnerbrack.com/learn-sql-once-use-it-for-30-years-9aceb0bdee03"},{"by":"zdw","descendants":16,"id":48371008,"kids":[48397809,48396190,48403766,48400568,48400488],"score":113,"time":1780411724,"title":"thunderbolt-ibverbs: We have InfiniBand at home","type":"story","url":"https://blog.hellas.ai/blog/thunderbolt-ibverbs/"},{"by":"XzetaU8","descendants":197,"id":48395938,"kids":[48396826,48396615,48398112,48396145,48396907,48396399,48397826,48397453,48398888,48399716,48398445,48397745,48396104,48396587,48397672,48396392,48397086,48396426,48396624,48396097,48397704,48399317],"score":355,"time":1780562736,"title":"UK media fails to disclose defence sector links in nearly 60% of cases","type":"story","url":"https://aoav.org.uk/2026/military-experts-or-arms-industry-insiders-uk-media-fails-to-disclose-defence-sector-links-in-nearly-60-of-cases/"},{"by":"pjmlp","descendants":1,"id":48404030,"kids":[48404857],"score":13,"time":1780604172,"title":"Documentary, \"C++: The Most Consequential Programming Language\"","type":"story","url":"https://www.youtube.com/watch?v=lI7tMxzSJ7w"},{"by":"speckx","descendants":145,"id":48400918,"kids":[48402195,48403201,48401915,48402020,48404310,48401876,48402384,48404270,48401787,48402292,48403638,48401872,48403049,48402838,48401954,48402066,48403774,48402266,48402252,48403105,48402480,48403100,48404645,48402229,48403103,48403040,48403004,48402769,48404089,48405231,48404047,48401993],"score":172,"time":1780590320,"title":"Sagrada Família Lego set","type":"story","url":"https://www.lego.com/en-us/product/sagrada-familia-21065"},{"by":"cloud8421","descendants":378,"id":48388324,"kids":[48392111,48390262,48391731,48388593,48389358,48390549,48396083,48398820,48389927,48390275,48398628,48389340,48390917,48394887,48397846,48396197,48389948,48395075,48396105,48388817,48393167,48399676,48393583,48398698,48389191,48393161,48390797,48390194,48392871,48388548,48393060,48396037,48396298,48398963,48393488,48395427,48392924,48389398,48389000],"score":959,"time":1780513346,"title":"Elixir v1.20: Now a gradually typed language","type":"story","url":"https://elixir-lang.org/blog/2026/06/03/elixir-v1-20-0-released/"},{"by":"nab","descendants":57,"id":48399358,"kids":[48400566,48400707,48404757,48400641,48401840,48401773,48402045,48402714,48402552,48402788,48400758,48401619,48400947,48400867,48402607,48402474,48402063,48400878,48402807,48402029],"score":79,"text":"Hi HN, we’re Nick and Drew, and we’re building boxes.dev – the first cloud-only agentic dev environment (ADE) that gives every Codex and Claude Code agent its own cloud computer.
We’re two engineers who previously built Gem (co-founder/CTO and first hire), and we spent the last year coding almost exclusively using Codex and Claude Code. It’s been a huge change to how we code, and it’s been exhilarating seeing the models keep getting better – but we eventually realized that developing on localhost was holding us back:
- Git worktrees are clunky to set up and use for parallelizing work\n- It’s 2026, but somehow everyone is still walking around with laptops cracked open or SSHing into mac minis in their garage so their agents don’t stop working.\n- Mobile is treated like an afterthought even though coding is just texting now\nWe started hitting resource constraints when multiple parallel agents test their own work by running the full app locally.\n- We tried different products, but couldn’t find any that solved all of our pain points – so we pivoted and decided to just build the ADE we wanted for ourselves.
Boxes.dev is a desktop and mobile app that lets you run Claude Code, Codex (using your subscription!), and the full dev environment for whatever you’re building, all on remote compute. It’s similar to Conductor or the Codex desktop app, except everything is in the cloud.
We use coding agents to scan your local dev setup and port it to the cloud. Then every Claude Code/Codex thread starts from a snapshot of the full setup, with its own filesystem and compute. \nNo more git worktrees, no more cracked-open laptops, and your coding agents can actually test their work end-to-end because they can run your full app in isolation.
We’ve mirrored the Claude Code and Codex UX to feel natural to power users, and also have a fully-featured mobile app (no handoffs or remote control), plus scheduled automations and a Slack integration.
We’re obviously biased, but we’ve been building boxes.dev with boxes.dev for months and it’s honestly been a gamechanger. It’s hard to go back once you realize how much localhost has been limiting you; based on early feedback from beta testers, we’re increasingly sure that cloud is the future of agentic coding.
We’d love for you to experience it yourselves! Would appreciate any feedback – and happy to answer any questions on this thread.","time":1780583915,"title":"Show HN: Boxes.dev: ditch localhost; run Claude Code and Codex in the cloud","type":"story","url":"https://boxes.dev"},{"by":"rvz","descendants":379,"id":48385906,"kids":[48387695,48386156,48388066,48386275,48404766,48387921,48386669,48399086,48386471,48386168,48386404,48397306,48387776,48391332,48397242,48391980,48397314,48389172,48386698,48386436,48388453,48395119,48393380,48388459,48389258,48390943,48387488,48386438,48387980,48386627,48390643,48387039,48395501,48386372,48389329,48390783,48387780,48386687,48387922,48386333,48387504,48387267,48389688,48388320,48391488,48400205,48386678,48390097,48391523,48388376,48386510,48387022,48395033,48393722,48386743,48387698,48404031,48396318,48388382,48386614],"score":1007,"time":1780502682,"title":"Gemma 4 12B: A unified, encoder-free multimodal model","type":"story","url":"https://blog.google/innovation-and-ai/technology/developers-tools/introducing-gemma-4-12b/"},{"by":"PaulHoule","descendants":2,"id":48404077,"kids":[48404841],"score":12,"time":1780604435,"title":"Only 3% of traders drive prediction markets' accuracy, not the crowd","type":"story","url":"https://www.coindesk.com/markets/2026/04/26/only-3-of-traders-drive-prediction-markets-accuracy-not-the-crowd-study-finds"},{"by":"lordleft","descendants":1241,"id":48387270,"kids":[48391605,48397954,48390020,48402777,48389685,48404733,48395227,48400244,48393037,48389883,48394812,48391388,48396749,48393752,48397699,48392668,48393860,48395050,48388472,48399141,48391889,48401655,48394783,48389276,48402768,48390123,48394953,48401279,48399594,48403217,48391321,48395015,48389998,48395009,48401679,48390374,48389949,48401144,48399114,48388941,48401782,48396449,48402608,48391825,48395954,48398797,48394773,48393779,48403097,48403212,48389459,48399008,48391608,48396283,48397215,48401719,48390695,48391917,48389529,48401286,48400978,48404053,48389935,48392664,48398774,48391336,48393236,48389573,48392395,48389495,48399041,48388326,48400387,48395044,48395562,48397334,48397640,48392483,48392207,48393771,48397703,48392482,48395761,48394600,48391634,48397810,48395034,48388946,48396198,48392058,48397065,48389222,48389889,48389615,48402095,48393941,48396436,48397063,48394993,48397022,48391657,48393170,48392198,48389542,48400766,48391918,48392458,48395784,48396368,48393717,48392324,48392941,48403018,48392298,48400546,48391911,48398833,48400001,48389357,48395993,48391856,48401173,48397016,48389461,48391300,48389698,48396510,48390195,48395727,48394789,48393518,48389283,48402493,48396703,48390273,48394520,48389528,48395822,48389550,48391531,48398834,48395190,48389728,48392502,48393253,48392901,48392255,48392430,48392321,48391763,48391480,48391351,48389462,48389343,48400370,48388845,48394886,48402701,48389958,48389497,48399587,48392110,48391898,48395180,48389907,48394855,48399806,48393220,48399794,48391843,48391906,48398038,48394447,48391902,48388753,48397883,48397870,48395040,48389240,48390256,48389524,48392693,48389239,48394192,48394028,48402606],"score":726,"text":"https://archive.is/bcpZl","time":1780509097,"title":"Artificial intelligence is not conscious – Ted Chiang","type":"story","url":"https://www.theatlantic.com/philosophy/2026/06/no-artificial-intelligence-is-not-conscious/687378/"},{"by":"SGran","descendants":163,"id":48385114,"kids":[48386547,48385874,48392743,48396172,48388385,48392763,48388505,48385882,48388527,48389712,48389563,48386391,48388338,48385569],"score":312,"time":1780499169,"title":"A Post-Quantum Future for Let's Encrypt","type":"story","url":"https://letsencrypt.org/2026/06/03/pq-certs"},{"by":"logickkk1","descendants":2,"id":48403043,"kids":[48404730],"score":24,"time":1780599313,"title":"Palantir to manage UK firearms, explosives, and poisons licensing","type":"story","url":"https://www.theregister.com/databases/2026/06/04/palantir-wins-9m-contract-to-run-uk-firearms-licensing-cia-backed-biz-to-hold-gun-bomb-and-poison-records/5251132"},{"by":"volemo","descendants":192,"id":48385965,"kids":[48386190,48387186,48386530,48391365,48386672,48386897,48386437,48399448,48388878,48386521,48386840,48396028,48390266,48386843,48395919,48387037,48387201,48391350,48386772,48386893,48394232,48386137,48392242,48386435,48387071,48389112,48387080,48386213,48386755,48391470,48387527,48386579],"score":349,"time":1780503025,"title":"ESP32-S31","type":"story","url":"https://www.espressif.com/en/products/socs/esp32-s31"},{"by":"f311a","descendants":9,"id":48397634,"kids":[48403825,48404898,48401667,48397971,48400274,48404280,48400100,48399024,48398203,48399796],"score":14,"text":"I'm pretty tired of seeing AI-related content everywhere.\nWhen I open Hacker News, close to half of the top submissions are AI-related. It's the same on social networks as well.
I miss the times when there was a lot of technical content that took time and mental energy to understand.
Nowadays, it's pretty hard to discover it. On HN, I see that a lot of technical articles don't make it to the front page, so sometimes I just search for them in the submissions. Not only is there less content, but demand for it is also declining. I guess people would rather read another article about LLMs that teaches almost nothing and doesn't exercise their curiosity. It feels sad for me, as a reader and as a writer.
So, are there any other places left where people still care about and share deep technical content? I want to keep exercising my thinking. I've had enough of brain-rotting.","time":1780575715,"title":"Ask HN: How do you find deep technical content?","type":"story"},{"by":"jc4p","descendants":202,"id":48392343,"kids":[48392551,48405224,48393196,48399446,48393303,48394800,48392676,48399005,48400138,48394596,48393212,48395879,48401988,48395674,48394849,48393469,48397466,48394902,48397098,48395532,48397087,48396378,48394185,48404278,48394927,48395430,48402289,48402297,48402333,48403605,48397839,48400020,48397616,48396428,48396501,48395446,48403249,48394959,48395154],"score":376,"time":1780534592,"title":"I built a vulnerable app and spent $1,500 seeing if LLMs could hack it","type":"story","url":"https://kasra.blog/blog/i-spent-1500-seeing-if-llms-could-hack-my-app/"},{"by":"gmays","descendants":122,"id":48389284,"kids":[48391916,48390378,48394261,48392183,48390136,48391977,48389894,48394730,48392831,48391897,48391633,48397208,48391106,48392741,48392254,48390860,48391872,48391257,48396142,48391215,48391445,48390590],"score":168,"time":1780517313,"title":"A Man Who Reads Books for a Living","type":"story","url":"https://lithub.com/the-man-who-reads-books-for-a-living-one-every-two-days/"},{"by":"bennett_dev","descendants":79,"id":48389681,"kids":[48393176,48391021,48391737,48395558,48391032,48391418,48398524,48391870,48398370,48392195,48390702,48391513,48390559,48393440,48391653,48392455],"score":160,"time":1780519174,"title":"Ableton Extensions SDK","type":"story","url":"https://www.ableton.com/en/live/extensions/"},{"by":"1970-01-01","descendants":90,"id":48362255,"kids":[48392795,48392863,48398773,48398282,48392728,48400103,48393144,48400483,48392919,48362358,48392199,48393127,48396872,48394612,48398213,48392734,48392519,48391947,48392853,48396950,48396630,48392847,48397046,48400111,48394502,48396063,48391616,48391762],"score":152,"time":1780345884,"title":"Meteor Explodes over Massachusetts","type":"story","url":"https://www.nbcboston.com/news/local/meteor-explodes-over-massachusetts-what-we-know-and-where-it-landed/3957663/"},{"by":"karakoram","descendants":72,"id":48400242,"kids":[48400714,48400914,48400620,48400777,48400772,48400436,48400712,48400469,48400637,48400680],"score":58,"time":1780587436,"title":"Several injured in Boeing 787 nose-gear collapse in Frankfurt","type":"story","url":"https://www.reuters.com/business/aerospace-defense/lufthansa-787-jet-suffers-front-wheel-collapse-frankfurt-gate-2026-06-04/"},{"by":"crescit_eundo","descendants":9,"id":48401973,"kids":[48405116,48403367,48403331],"score":29,"time":1780594799,"title":"Airlines Uses AI to Fake Empathy Rather Than Fix Problems: Passenger Sent Prompt","type":"story","url":"https://viewfromthewing.com/airlines-are-using-ai-to-manufacture-empathy-instead-of-solving-problems-one-passenger-was-sent-the-prompt-by-mistake/"},{"by":"gregsadetsky","descendants":66,"id":48382142,"kids":[48385748,48383039,48387781,48386615,48395857,48395591,48382944,48386555,48389356,48383544,48393464,48393553,48383136,48384637,48382930],"score":333,"time":1780482265,"title":"PlayStation Architecture","type":"story","url":"https://www.copetti.org/writings/consoles/playstation/"},{"by":"syumei","descendants":74,"id":48345837,"kids":[48403522,48397372,48396561,48396925,48397496,48400191,48396958,48397112,48398492,48345999,48399503,48397157,48397626,48399480,48399842,48397662,48397213,48399215,48398056,48396835,48398290,48398299,48396590,48398236,48396619,48398400,48403258,48398295,48400010,48398389,48397607,48403281,48396810],"score":101,"time":1780236768,"title":"Claude Code and Codex can have real-time conversation via Git","type":"story","url":"https://medium.com/@Koukyosyumei/claude-code-and-codex-can-have-real-time-conversation-via-git-f95b696c1c05"},{"by":"pdyc","descendants":737,"id":48383056,"kids":[48387965,48383816,48390894,48388309,48383618,48389243,48383652,48402604,48391105,48395516,48391183,48390289,48402570,48392390,48397005,48389304,48389201,48397709,48392479,48387826,48389031,48390991,48398455,48383583,48389116,48390094,48388135,48387518,48403837,48387795,48383754,48394183,48383631,48391429,48396556,48397930,48387823,48397906,48394660,48392659,48395549,48394911,48383828,48383679,48400606,48388804,48395389,48391828,48391088,48390057,48390879,48388205,48390319,48391640,48383399,48383668,48397489,48390220,48384559,48390270,48392914,48397203,48391002,48389873,48398681,48391252,48389945,48390467,48388610,48383655,48405081,48403630,48400067,48399737,48400570,48401230,48390781,48388950,48401178,48398183,48394116,48397158,48388406,48388713,48383812],"score":602,"text":"https://www.bloomberg.com/news/articles/2026-06-02/uber-caps... (https://archive.ph/ZrwAy)","time":1780489514,"title":"Uber's $1,500/month AI limit is a useful signal for AI tool pricing","type":"story","url":"https://simonwillison.net/2026/Jun/3/uber-caps-usage/"},{"by":"Tomte","descendants":239,"id":48384355,"kids":[48388933,48387495,48387547,48389944,48390397,48386011,48402728,48386430,48389498,48399269,48392986,48385444,48388443,48389783,48400702,48403275,48397397,48397511,48389300,48388024,48388346,48393641,48390902,48388689,48391952,48389247,48388735,48388009,48390826,48392612,48387481,48389934,48390810,48391999,48386336,48387273,48390122,48389809,48387470,48387853,48386670,48395045,48391158,48392446,48390701,48387706,48388231,48389891,48389850,48391137,48388300,48388768,48389913,48387778,48393080,48394614,48393876,48403297,48398117,48396113,48392256,48392229],"score":729,"time":1780495806,"title":"I was recently diagnosed with anti-NMDA receptor encephalitis","type":"story","url":"https://burntsushi.net/encephalitis/"},{"by":"gphil","descendants":1,"id":48404873,"kids":[48405342],"score":6,"time":1780608498,"title":"What is AI psychosis is the product?","type":"story","url":"https://gregoryap.substack.com/p/what-if-ai-psychosis-is-the-product"},{"by":"ksec","descendants":83,"id":48386725,"kids":[48391680,48389403,48394915,48395221,48387813,48395271,48388542,48390605,48389707,48389433,48391058,48387899,48389141,48394165,48397695,48391355,48391703,48389813,48389288,48397693,48390876],"score":195,"time":1780506747,"title":"Gooey: A GPU-accelerated UI framework for Zig","type":"story","url":"https://github.com/duanebester/gooey"},{"by":"elvis70","descendants":15,"id":48348040,"kids":[48394971,48393976,48397138,48396287,48367391,48395069],"score":50,"time":1780250737,"title":"CP/M-86 & MS-DOS Cross Development Environment","type":"story","url":"https://github.com/tsupplis/cpm86-crossdev"},{"by":"sukhpinder0804","descendants":1,"id":48404802,"kids":[48405311],"score":3,"time":1780608100,"title":"Why AI Agents Need Agile, Not Just Better Prompts","type":"story","url":"https://medium.com/open-ai/why-ai-agents-need-agile-not-just-better-prompts-31aac90b1f4a"},{"by":"ingve","descendants":141,"id":48382382,"kids":[48384123,48382739,48382820,48384970,48382618,48383833,48388263,48382753,48384501,48384749,48386716,48384860,48386317,48382594,48389135,48383442,48384907,48398423,48382818,48383576,48385606,48384379,48383013,48383003,48384607,48401510],"score":261,"time":1780484644,"title":"Every Byte Matters","type":"story","url":"https://fzakaria.com/2026/06/01/every-byte-matters"},{"by":"shalinshah","descendants":75,"id":48387095,"kids":[48391461,48391261,48391726,48397749,48387537,48389200,48392771,48396229,48388095,48396307,48390105,48388613,48390035,48387976,48391764,48396177,48388389,48398192,48389215,48390018,48388474,48390040,48401567,48395986,48387956,48390670,48393642,48392150,48387410,48388281,48387428,48387855,48387620,48388041,48387973],"score":77,"text":"Hey HN, we’re Shalin & Kanyes, best friends who've been hacking together for 10+yrs, and now founders of Hyper (https://heyhyper.ai/). Hyper is a shared “company brain” that plugs into information flowing inside a company to make AI agents and automations better and ultimately save people time.
Models have gotten good enough that they can (mostly) take on long-horizon, complex tasks. We believe the bottleneck now is that these smart-enough models often lack information about your company, which is scattered in people's heads, Slack threads, stale docs, and in back-and-forth convos with AI.
MCP is useful for getting some info in front of an agent, but there are problems: (1) Once the session dies, so does the insight, so instead of copy-pasting a whole doc each time you're telling the agent to dig through Drive each time - not much of a win; (2) Even when MCP works, what it gathers isn't comprehensive, because people decide things on a whiteboard, brainstorm out loud, post a little in Slack, and scribble the rest in a doc, which leaves the agent working from partial information; (3) And even if it had everything, it doesn't do the meta-reasoning required to do a great job. If you paste in a Notion doc and it won't learn your design taste or your writing style unless you tell it to, and it won't know why a decision was made or when.
As undergrads 5 years ago, we were into the tools-for-thought wave and became power users of Notion, Obsidian, Roam, Anki, real believers in building a second brain. After GPT-3.5 came out we started to realize how much more powerful that second brain could be if an AI could actually read it, because suddenly it would know our backstory, our taste, our preferences, and unlock genuinely new capabilities. That’s why we’re building Hyper.
We know it’s not for everybody! But for people who do want to be on the cutting edge, this is a force multiplier that makes agents faster and better. It increases the number of tasks they can do, and how effectively they do them.
Hyper works by ingesting everything you give it access to, Docs, Slack, Email, Calendar, Granola, and synthesizes it into a knowledge graph of facts and their relationships with embeddings for semantic search. The memory system we’ve built is hybrid, with two modalities. Episodes are the raw source items kept as the source of truth. Facts are the meaning pulled out of each episode, stored as subject-predicate-object records with a plain summary and timestamps for when the fact was introduced and when it was invalidated (subject=person, predicate=works_at, object=company). Facts form a graph with typed edges between them: X is in tension with Y, A is derived from B, J supersedes K. Every time a new fact comes in we update the facts in its neighborhood, so the graph stays current, and that's how we handle stale information. When "we'll ship Friday" is later contradicted by "we're shipping Monday," the new fact supersedes the old one instead of both looking equally true, and we never auto-discard the superseded version, so you can still ask how you landed on Monday.
Every fact carries provenance back to its source and access-control tags for who is allowed to see it. At retrieval we query-expand, then fuse semantic search over embeddings with Postgres full-text search using reciprocal rank fusion, and we only ever evaluate a query against the facts and episodes that person has access to, which means two people on the same team can ask the same question and get different answers. We keep information fresh with webhooks where they exist and polling where they don't, hashing contents to catch changes for sources that don’t handle native dedupe. Agents read and write through two paths: lifecycle hooks in tools like Claude Code, Cowork, Codex, and Cursor, where we inject relevant context on every prompt and pull interesting facts out of every response, and plain MCP tool calls for everything that doesn't expose hooks.
We love it! and so do our early users: one CEO uses Hyper to draft emails in his voice with full company context. What took hours/week now takes minutes and gets sharper each time Hyper learns more how he thinks and how his company is changing. Another YC founder one-shotted a launch video script because Hyper already knew their product, voice, positioning accumulated over months.
We have a 3-day free trial, explained more on our pricing page (https://heyhyper.ai/pricing) and there are more details in our FAQ (https://heyhyper.ai/faq), including things like privacy, compliance, and how we’re different from other “memory” companies..
Give it a spin! break it! and tell us where it falls short: https://heyhyper.ai/. We'd love to build you a 10-star experience :) Comments welcome!","time":1780508393,"title":"Launch HN: Hyper (YC P26) – Company brain to power agentic development","type":"story"},{"by":"skogstokig","descendants":60,"id":48392203,"kids":[48395162,48403755,48398541,48394623,48401962,48403333,48396166,48395019,48394797,48395067,48395047,48395464,48394366,48394162,48392649,48396360],"score":66,"time":1780533669,"title":"Dumbphone 2","type":"story","url":"https://dumb.co/"},{"by":"tcp_handshaker","descendants":1,"id":48404734,"kids":[48405063],"score":8,"time":1780607718,"title":"Fidelity lowers SpaceX IPO entry requirement from $500,000 to just $2,000","type":"story","url":"https://finance.yahoo.com/markets/stocks/articles/fidelity-cuts-spacex-ipo-eligibility-183319186.html"},{"by":"xeonmc","descendants":9,"id":48390400,"kids":[48395099,48391549,48395438,48395489,48395840],"score":101,"time":1780522330,"title":"A Mathematician's Lament (2002) [pdf]","type":"story","url":"https://worrydream.com/refs/Lockhart_2002_-_A_Mathematician%27s_Lament.pdf"},{"by":"birdculture","descendants":22,"id":48349404,"kids":[48395195,48396252,48392925,48395193,48392486,48392435,48392200,48393626,48397155,48392824,48401058],"score":140,"time":1780259203,"title":"Patching my guitar amp's firmware","type":"story","url":"https://mforney.org/blog/2026-05-28-patching-my-guitar-amps-firmware.html"},{"by":"tastyeffectco","descendants":32,"id":48388909,"kids":[48393340,48393970,48395955,48395964,48394204,48396339,48394501,48390850,48392454,48396374,48391937,48391555,48393055,48396530,48392245,48388910,48396356],"score":106,"time":1780515817,"title":"Self-hosted dev sandboxes with preview URLs (Docker, Go, no K8s)","type":"story","url":"https://github.com/tastyeffectco/sandboxes"},{"by":"nathell","descendants":34,"id":48374552,"kids":[48382472,48381924,48382235,48382147,48382240,48383572,48388051,48382257,48382577,48382334,48388857,48382049,48389512,48384669,48389649,48391200,48382106,48382044,48381923],"score":253,"time":1780426372,"title":"Show HN: Edsger – A handwritten Clojure REPL for the reMarkable 2","type":"story","url":"https://handwritten.danieljanus.pl/2026-06-01-edsger.html"},{"by":"pentagrama","descendants":241,"id":48384482,"kids":[48385119,48385461,48385109,48385880,48385024,48385095,48386194,48385014,48402440,48387998,48385159,48390965,48387454,48389402,48386383,48386993,48385513,48389183,48385806,48400135,48387670,48386797,48389207,48390935,48386091,48386390,48394781,48391717,48385849,48385188,48385969,48393004,48385045,48388318,48387603,48387804,48390389,48385015,48386427,48385810],"score":528,"time":1780496319,"title":"DaVinci Resolve 21","type":"story","url":"https://www.blackmagicdesign.com/products/davinciresolve/whatsnew"},{"by":"tempz","descendants":4,"id":48402672,"kids":[48403809,48404355,48405285,48403670],"score":11,"time":1780597686,"title":"Too many people become too capable without asking permission","type":"story","url":"https://morlockelloi.substack.com/p/censorship-20"},{"by":"reconnecting","descendants":731,"id":48383220,"kids":[48386764,48383914,48383864,48383922,48383931,48384683,48383863,48383734,48383749,48385096,48384072,48383947,48384220,48385700,48385764,48385088,48383788,48404123,48384712,48386946,48384286,48386396,48383798,48383664,48384008,48385469,48389068,48389964,48396072,48387605,48383765,48386082,48385203,48386271,48383690,48384634,48392810,48386708,48387357,48384167,48384471,48383938,48385130,48385272,48388969,48388761,48383703,48392667,48392733,48383896,48384242,48390720,48384993,48383981,48385470,48401254,48387436,48392662,48394253,48386451,48387124,48384044,48387934,48392893,48384673,48388626,48385403,48393093,48390382,48391237,48389796,48386458,48385354,48385426,48385674,48384057,48383850,48390353,48384814,48384819,48388220,48385281,48384147,48386086,48393083,48389838,48388512,48387523,48387185,48386995,48387401,48385745,48387946,48384758,48384466,48384460,48384080,48383836,48385942,48385490,48384514,48386817,48389441,48387302,48386312,48385254,48383767,48391159,48384060,48392376,48389070,48392700,48394313,48384533,48385901,48383835,48392219,48396296,48389311,48385631,48383829,48387396],"score":755,"time":1780490527,"title":"Meta workers can opt out of being tracked at work up to 30 min","type":"story","url":"https://www.bbc.com/news/articles/c93x0k194yno"},{"by":"deterministic","descendants":61,"id":48391838,"kids":[48394744,48394017,48392671,48391996,48393426,48400450,48392331,48396789,48394553,48392250,48393184,48394187,48392301,48393000,48392125,48396895,48394362,48392524,48401246,48393732,48392822],"score":58,"time":1780531204,"title":"The Ü Programming Language","type":"story","url":"https://github.com/Panzerschrek/U-00DC-Sprache/"},{"by":"xx_ns","descendants":117,"id":48382310,"kids":[48382490,48388566,48382834,48382893,48382599,48384202,48385219,48382376,48386633,48382697,48392074,48399602,48383014,48387752,48382859,48387137,48386867,48385739,48384003,48392399,48382789,48384845,48384506,48385154,48392477,48382455,48382699,48385641,48384105,48384640,48387874,48382632,48385020,48384581,48382725,48384499,48384837,48384938,48384009,48385791,48382664],"score":679,"time":1780483980,"title":"Pwnd Blaster: Hacking your PC using your speaker without ever touching it","type":"story","url":"https://blog.nns.ee/2026/06/03/katana-badusb/"},{"by":"gmays","descendants":6,"id":48387251,"kids":[48390885,48392976],"score":76,"time":1780509016,"title":"Embryos shape their limbs: a key discovery of \"genetic brakes\"","type":"story","url":"https://nouvelles.umontreal.ca/en/article/2026/06/02/how-embryos-shape-their-limbs-a-key-discovery-of-genetic-brakes"},{"by":"s-macke","descendants":55,"id":48344327,"kids":[48405091,48381222,48383270,48380441,48380507,48382328,48384444,48383273,48381664,48380804,48387931,48380729,48384929,48385568,48382173,48380526,48381564,48382250,48382136,48381380,48381141,48385060,48386313,48382025],"score":213,"time":1780220745,"title":"Show HN: I reverse-engineered the world maps of Test Drive III (1990 DOS game)","type":"story","url":"https://github.com/s-macke/Test-Drive-3-Maps"},{"by":"birdculture","descendants":0,"id":48403889,"score":7,"time":1780603420,"title":"Extension or Imitation? Valid Haskell Language Extensions vs. Impostors","type":"story","url":"https://doscienceto.it/extension-or-imitation/"},{"by":"bookofjoe","descendants":79,"id":48382305,"kids":[48387041,48383728,48383539,48389147,48390717,48388133,48383955,48391071,48383608,48387556,48384163,48385504,48383404,48390905,48384888,48383269,48386916,48386711,48383189,48388329,48389608],"score":98,"time":1780483889,"title":"What I've learned about the trombone","type":"story","url":"http://bryanhu.com/blog/posts/what-ive-learned-about-the-trombone/"},{"by":"joozio","descendants":206,"id":48353477,"kids":[48384284,48384727,48383524,48388199,48387947,48399291,48383614,48388218,48384416,48387529,48383743,48396002,48383496,48387656,48389754,48386217,48383480,48388168,48389864,48401345,48384548],"score":130,"time":1780297343,"title":"How turkey hacked the hair-transplant industry","type":"story","url":"https://www.wired.com/story/how-turkey-hacked-the-hair-transplant-industry/"},{"by":"aragonite","descendants":31,"id":48351579,"kids":[48383094,48383355,48398361,48386182,48386581,48394265,48389082,48387646,48383171,48383262],"score":133,"time":1780276696,"title":"Nabokov's pale fire: the lost 'father of all hypertext demos'? (2011)","type":"story","url":"https://dl.acm.org/doi/pdf/10.1145/1995966.1996008"},{"by":"tosh","descendants":480,"id":48386238,"kids":[48387425,48391322,48388079,48387431,48386943,48390257,48386930,48397866,48387953,48387332,48387312,48388577,48388765,48387624,48387771,48397497,48388448,48391149,48400165,48388834,48390443,48390254,48387959,48395391,48390518,48396569,48393105,48389618,48390148,48396406,48391142,48389010,48391165,48389022,48392302,48387050,48386957,48393017,48390301,48389333,48390635,48389176,48388752,48389291,48386829,48389966,48389416,48387835,48388637,48388621,48388479,48387078,48389666],"score":409,"time":1780504397,"title":"MacBook Neo is so popular that Apple doubled production","type":"story","url":"https://www.macrumors.com/2026/06/03/macbook-neo-production-doubled-says-kuo/"},{"by":"amcclure","descendants":264,"id":48356449,"kids":[48388584,48388766,48389981,48390213,48388576,48389365,48388607,48391723,48389651,48389190,48389607,48389120,48395061,48389741,48389765,48389691,48390739,48388631,48388601,48388666,48388596,48392587,48389351,48388602,48388442,48388732,48388575,48392985],"score":232,"time":1780319811,"title":"Stop Killing Games","type":"story","url":"https://jxself.org/stop-killing-games.shtml"},{"by":"ankitg12","descendants":23,"id":48397199,"kids":[48401501,48402470,48398010,48400495,48399372],"score":54,"time":1780572960,"title":"When su replaced login for becoming another Unix login","type":"story","url":"https://utcc.utoronto.ca/~cks/space/blog/unix/SuAsLoginReplacement"},{"by":"oceanwaves","descendants":32,"id":48388870,"kids":[48388871,48390816,48392552,48394515,48389986,48390957],"score":68,"time":1780515681,"title":"Brume is a 24-voice multi-timbral desktop synth for the CM5","type":"story","url":"https://brume.aftertone.co/"},{"by":"Bender","descendants":2,"id":48403994,"kids":[48404795,48404198],"score":8,"time":1780604002,"title":"My SSN was exposed in a breach at Columbia, a school I have no connection with","type":"story","url":"https://arstechnica.com/tech-policy/2026/06/my-ssn-was-exposed-in-a-breach-at-columbia-a-school-i-have-no-connection-with/"}]