June 2025 Archive
16261.
Hacking Cursor Rules
(mcpdefender.com)
16262.
Defending Theory
(blog.computationalcomplexity.org)
16263.
16264.
16265.
16266.
Formal Conjectures: Contribute your favorite conjecture
(leanprover.zulipchat.com)
16267.
Can Large Language Models play chess effectively?
(maxim-saplin.github.io)
16268.
Brian Wilson, Beach Boys Co-Founder, Dies at 82
(variety.com)
16269.
16270.
16271.
16272.
Show HN: I built a tool that converts resumes to websites
(visepage.com)
16273.
The Butter Battle Book (1984)
(archive.org)
16274.
Proving completeness of an eventually perfect failure detector in Lean4
(protocols-made-fun.com)
16275.
Seedance 1.0: Exploring the Boundaries of Video Generation Models [pdf]
(lf3-static.bytednsdoc.com)
16276.
The FPGA turns 40. Where does it go from here?
(networkworld.com)
16277.
Apollo Delays Recruiting of Junior Staff After Bank Complaints
(bloomberg.com)
16278.
16279.
Smartphone App to Assist Patients to Identify Stroke and Myocardial Infarction
(formative.jmir.org)
16280.
Using AI: Queries, Conversations, and Projects
(arnoldkling.substack.com)
16281.
Box2D C++ Tutorials
(iforce2d.net)
16282.
Bitcoin Op_return Controversy: Complete Summary
(gist.github.com)
16283.
Shipping 4 new integrations in 1 day with AI (and you can too)
(blog.runreveal.com)
16284.
16285.
Cursor's Story from Their Changelog
(tushardadlani.com)
16286.
16287.
Lovable Integration with Make.com
(docs.lovable.dev)
16288.
Project Mac
(en.wikipedia.org)
16290.
SUPERintelligence?
(theregister.com)