Lean Grimoire(terrytao.wordpress.com)
51 points by smilelamp | 8 comments
Terence Tao blog post announcing Lean Grimoire, a coding-agent-rebuilt version of his QED logic crafting game with Lean proof display and a fantasy mode.
First screen, captured . Open the video.
Full page
Captured . Click for the whole screenshot.
Looks similar
Pigshell: Unix the Web(pigshell.com)
63 points by pbohun | 18 comments
Pigshell 0.6.4 is a browser-based Unix-style shell that represents web resources and cloud data as files you can process with command pipelines.
Awesome repositories are no longer awesome(erikgahner.github.io)
239 points by erikgahner | 116 comments
A blog post arguing that GitHub 'awesome' curated lists have become less useful due to outdated content and floods of AI-generated pull requests promoting vibe-coded sites.
OpenSSH 10.6p2 Critical workaround for alpine without PAM(openssh.org)
247 points by selckin | 12 comments
OpenSSH release notes for portable 10.6p2, which fixes a password authentication bypass in sshd on Linux systems using musl libc with PAM disabled.
.name Grandfathered(neil.fraser.name)
902 points by p4bl0 | 196 comments
Neil Fraser's blog post announcing Verisign retracted its plan to terminate 22,000 .name domains and email redirects, grandfathering existing registrations.
I struggle to believe that AI R&D is ingenious(lesswrong.com)
136 points by porridgeraisin | 155 comments
A LessWrong shortform comment by Arjun Panickssery arguing AI agents show poor research judgment in autonomous R&D side projects like a Scrabble engine and philosophy research.
Related stories
Google will turn off search for schools that reject AI(nytimes.com)
518 points by ceejayoz | 417 comments
New York Times article reporting that Google will disable search access for schools that reject or restrict its AI features.
Google Will Turn Off Search for Schools That Reject A.I(nytimes.com)
17 points by johnny313 | 3 comments
New York Times article about Google turning off search access for schools that restrict or reject its AI features; the captured page is a captcha challenge.
Education Shouldn't Be Held for Ransom(blog.kagi.com)
68 points by notfried | 28 comments
Kagi blog open letter criticizing Google's plan to bundle Search with AI for K-12 Workspace accounts, arguing schools need AI-optional search, and pitching Kagi for Education.
Chicago schools to Google – we'd rather lose Search than be forced to accept AI(techspot.com)
48 points by thunderbong | 12 comments
TechSpot news article on Chicago Public Schools saying it would switch search providers rather than accept Google's requirement to enable AI features to keep Search.
Google drops pledge not to use AI for weapons or surveillance(washingtonpost.com)
474 points by jbegley | 459 comments
Washington Post article reporting that Google removed from its AI principles a 2018 pledge not to use AI for weapons or surveillance.
Google researchers demand freedom to tell the world what they know about AI(washingtonpost.com)
43 points by nsagent | 31 comments
Washington Post exclusive reporting that Google DeepMind staff are pushing to be released from non-disparagement agreements so they can warn the public about AI risks.