Live-migration support in FreeBSD and bhyve coming(gyptazy.com)

64 points by JohnDohnBohn 5 hours ago | 15 comments

Blog post presenting a work-in-progress RFC implementation of live VM migration for bhyve on FreeBSD 15.1, covering design, test results, and blockers to upstreaming.

Tim Peters has died(discuss.python.org)

1371 points by ayhanfuat 2 days ago | 172 comments

Discourse thread on discuss.python.org where Guido van Rossum announces the death of Tim Peters and recounts his contributions to Python, with community tributes.

Awesome repositories are no longer awesome(erikgahner.github.io)

239 points by erikgahner 8 days ago | 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.

Unlocking any car from X brand in most of the world(shubs.io)

578 points by infosecau 5 days ago | 317 comments

Lean Grimoire(terrytao.wordpress.com)

51 points by smilelamp 1 day ago | 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.

I struggle to believe that AI R&D is ingenious(lesswrong.com)

136 points by porridgeraisin 7 days ago | 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.

The new skill in AI is not prompting, it's context engineering(philschmid.de)

832 points by robotswantdata 1 year ago | 467 comments

Blog post by Philipp Schmid arguing that context engineering, supplying LLMs with the right information and tools, matters more than prompting for AI agents.

Three new discoveries in mathematics, computer science, and physics(openai.com)

1098 points by jonluca 18 days ago | 637 comments

OpenAI post announcing AI-produced results in harmonic analysis, complexity theory (refuting ETH), and quantum field theory, and describing academic collaborations to verify them.

The future of software development is software developers(codemanship.wordpress.com)

376 points by cdrnsf 10 months ago | 471 comments

A Codemanship blog post arguing that the future of software development still depends on human software developers.

Some thoughts on LLMs and software development(martinfowler.com)

378 points by floverfelt 1 year ago | 347 comments

Martin Fowler's blog post sharing scattered thoughts on the state of LLMs and AI and their effect on software development.

LLMs use a surprisingly simple mechanism to retrieve some stored knowledge(news.mit.edu)

336 points by CharlesW 2 years ago | 121 comments

MIT News article on research showing LLMs often retrieve stored facts via simple linear functions, and a technique to probe what a model knows about subjects.

Phi-4: Microsoft's Newest Small Language Model Specializing in Complex Reasoning(techcommunity.microsoft.com)

399 points by lappa 1 year ago | 136 comments

Microsoft AI Platform Blog post announcing Phi-4, a small language model specializing in complex reasoning.