1381
LLMs pose an interesting problem for DSL designers
The most exciting part of Programming Languages (PL) research for me has always been in Programming Language Design.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 3,091 posts.
1382
Kevin Kelly's 2016 AI Predictions, 10 Years Later
Kelly predicted AI heavyweights while advocating for a future of open weights
1383
The New AI Superpowers: Focus and Followthrough
Burnout is on the rise again, with an ironic twist.
1384
Q-learning is not yet scalable
Over the past few years, we've seen that next-token prediction scales, denoising diffusion scales, contrastive learning scales, and so on, all the way to the point where we can train models with billions of parameters with a scalable objective that can eat up as much data as we can throw at it. Then, what about…
1385
How I Used Deep Learning to Train a Chatbot to Talk Like Me
Can you see the resemblance?
1386
Bringing K/V context quantisation to Ollama
K/V context cache quantisation has been added to Ollama. This enables significant reductions in VRAM usage, allowing users to realise the potential of expanded context sizes and run larger models at their existing context sizes.
1387
The Hater's Guide to the AI Bubble
Hey! Before we go any further — if you want to support my work, please sign up for the premium version of Where’s Your Ed At, it’s a $7-a-month (or $70-a-year) paid product where every week you get a premium newsletter, all while supporting my
1388
Slightly reducing the sloppiness of AI generated front end
I've been trying to make progress on a herculean task; I want decent looking programs for personal use which I can generate quickly using AI agents yet I'm a person without taste controlling an AI without taste. I found "one weird trick" that does enough for me, the results are not extra nice but it doesn't make me…
1389
Test-driven development with an LLM for fun and profit
Welcome to the very first post in a new blog! Here I will discuss software development, SRE work, and other fun stuff. Sometimes an idea is just too good to pass up. I hope this blog will motivate me to turn sparks and little pieces into general knowledge in writing the words down. The other day I was discussing Tabby…
1390
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
Leo de Moura on Formal Proofs, AI Agents, and the End of “Trust Me” Code. Subscribe: Apple • Spotify • … More
1391
Visual Introduction to Self Supervised Learning
A visual introduction to self-supervised learning methods for visual representations.
1392
Kaggle Learn review: there is a deep learning track and it is worth your time
Right from my undergrad days when I was starting out with machine learning to this date, my admiration for Kaggle continues to grow. In addition to being synonymous with and popularizing data scien…
1393
1394
OpenAI Is Just Another Boring, Desperate AI Startup
What is OpenAI? I realize you might say "a foundation model lab" or "the company that runs ChatGPT," but that doesn't really give the full picture of everything it’s promised, or claimed, or leaked that it was or would be. No, really, if you believe its leaks to
1395
500B tokens later: Letting AI agents decompile a first-person shooter
During the last 3 months, I spent some of my time and tokens decompiling a popular first-person shooter. The goal was not to reach a simple proof-of-concept state. Instead, we really wanted an accurate, stable and feature-complete recreation of the game. The avid reader of my blog might have noticed that I had…
1396
LLM Daydreaming
Proposal & discussion of how default mode networks for LLMs are an example of missing capabilities for search and novelty in contemporary AI systems.
1397
Procedural Worlds from Simple Tiles
In the two years after publishing this, I worked on refining this algorithm to power a real-time world generator, called Generate Worlds, and it lets you des...
1398
Reinforcement Learning – Bandit Problems
Table of Contents
1399
Neural Networks, Types, and Functional Programming
Deep learning, despite its remarkable successes, is a young field. While models called artificial neural networks have been studied for decades, much of that work seems only tenuously connected to modern results.
1400
How to create a blog post title optimizer with GPT-3 and Hacker News data
GPT-3 says the title for this post is very bad.
1401
Unpredictable black boxes are terrible interfaces
Why generative AI tools can be so difficult to use and how we might improve them
1402
General Theory of Neural Networks
From gene regulatory networks to artificial neural networks
1403
AI children's books, body horror edition
Last week, I posted a visual demonstration of the sameness of AI-generated content.
1404
1405
Making an AI bid writer refuse to lie
A year of failure postmortems from building document AI for public tenders: phantom partners, silent coverage collapses, broken truth-meters, and why the refusal became the product.
1406
Microsoft is eating the world
If OpenAI was a public company, it's stock would have been down about 38% today in a shocking turn of events.
1407
LLMs Are Not Fun
I got into programming because it let me turn thought into reality. If I could reason precisely, then a computer could carry out my thoughts unerringly. I could step away from tiring, ambiguous human interaction for a while.
1408
The first 40 months of the AI era
Lzon.ca. A personal blog, by a programmer and IT expert.2026216 points144 commentsAI & Machine Learning details
A personal blog, by a programmer and IT expert. Essays, Articles, Guides, and Recipes. As well as Code, Quotes, and Links.
1409
Machine learning can run on tiny, low-power chips
Photo by Kevin Steinhardt When Azeem asked me to give a talk at CogX, he asked me to focus on just a single point that I wanted the audience to take away. A few years ago my priority would have bee…
1410
Learnings from fine-tuning LLM on my Telegram messages
For most people I interact with, I’m just another text-based program for the most of the time. If input and output are so simple, could I be replaced by the model? For this to work, the model would need to not only understand my writing style but also know a lot about me. The best source for this is my Telegram…