Full Width [alt+shift+f] Shortcuts [alt+shift+k]
Sign Up [alt+shift+s] Log In [alt+shift+l]
Articles [alt+h] Reading List [alt+r] [alt+s]
Back to articles
12

What is a quotient?

from Xena [alt+shift+b] in AI

Undergraduate mathematicians usually have a hard time defining functions from quotients in Lean, because they have been taught a specific model for quotients in their classes, which is not the model that Lean uses. This post is an attempt to … Continue reading →
a week ago
Remove from reading list Add to reading list [alt+a] Read now [→]

Improve your reading experience

Logged in users get linked directly to articles resulting in a better reading experience. Please login for free, it takes less than 1 minute.

Login now

More from Xena

Think of a number.

My feed was recently clogged up with news articles reporting that Sam Altman thinks that AGI is here, or will be here next year, or whatever. I will refrain from giving even more air to this nonsense by linking to … Continue reading →

a month ago • 6 votes
Can AI do maths yet? Thoughts from a mathematician.

So the big news this week is that o3, OpenAI's new language model, got 25% on FrontierMath. Let's start by explaining what this means. Continue reading →

a month ago • 5 votes
Fermat’s Last Theorem — how it’s going

So I'm two months into trying to teach a proof of Fermat's Last Theorem to a computer. We already have one interesting story, which I felt was worth sharing. Continue reading →

2 months ago • 6 votes
Lean in 2024

A huge amount happened in the Lean theorem prover community in 2023; this blog post looks back at some of these events, plus some of what we have to look forward to in 2024. Modern mathematics I personally am a … Continue reading →

a year ago • 4 votes

More in AI

Go Grok Yourself

That title is Elon Musk’s fault, not mine, I mean, sorry not sorry:

23 hours ago • 3 votes
Grok 3 Beta in Shambles

Maximal Truth still seems far away

yesterday • 3 votes
AI Job Pulse: Companies Make Finding AI Jobs Really Difficult

AI engineering and related jobs 02-18-25

2 days ago • 2 votes
Medical Roundup #4

It seems like as other things drew our attention more, medical news slowed down.

2 days ago • 3 votes
Grok 3 Hot Take

Elon Musk promised that Grok 3 would be the smartest AI ever.

2 days ago • 3 votes

The best way to read the internet.
Made for nerds, by a nerd.

The best way to read the internet

© 2023 Bored Reading. All rights reserved.

Terms Privacy Design by Kumail

bored reading

v. 229.328 compliant with
earth/mars-x8292 communication
protocol 29xjw899992

When Google killed Google Reader, the bloggosphere took a severe hit and the content quality went down because there weren't enough readers to justify the effort it takes to maintain a high quality blog.

What's left is a decaying wasteland of blogs, most abandoned, a lot are now SEO spam, and 99% are not worth reading. BoredReading is a way to read the remaining great blogs that survived the ice age.

To add your favorite blog, please suggest it here! I get emails every day which helps me maintain a high quality selection of blogs!

Avatar

Made by,
Kumail Hunaid

@kumailht on Twitter.
My website and email.

Close [esc]