First screen, captured .
Looks similar
Use Prolog to improve LLM's reasoning(shchegrikovich.substack.com)
343 points by shchegrikovich | 122 comments
Substack post arguing that having LLMs generate Prolog code can improve their reasoning, given the limits of autoregressive transformer generation.
Related stories
GLM-Legal(z.ai)
660 points by ilreb | 357 comments
Z.ai research blog post introducing GLM-Legal, a language model aimed at agentic legal work such as analyzing source documents and producing client-ready work product.
How LLMs work(0xkato.xyz)
834 points by 0xkato | 228 comments
A blog post giving a math-light walkthrough of how transformer-based large language models work internally.
LLMs use a surprisingly simple mechanism to retrieve some stored knowledge(news.mit.edu)
336 points by CharlesW | 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.
2025: The Year in LLMs(simonwillison.net)
823 points by simonw | 451 comments
Simon Willison's annual blog post reviewing major LLM trends of 2025, including reasoning models, coding agents, Chinese open weight models, and Gemini.
How I use LLMs to learn complex topics(laurentiugabriel.github.io)
763 points by laurentiurad | 489 comments
Personal blog post by Laurentiu Raducu describing how he uses LLMs to learn complex topics, including building an interactive chip-making game called ChipTycoon.
GLM-5.2 is a step change for open agents(interconnects.ai)
344 points by vantareed | 197 comments
Nathan Lambert's Interconnects post arguing that the GLM-5.2 model marks a capability threshold for open-weight agentic AI.