22
3
Real-Time LuaTeX: Recompiling Large Documents in 1 ms [video] (youtube.com)
1
LANA Project Interim Report 2026: Computer-Assisted Verification of IUT Theory [video] (youtube.com)
2
What I learned inside escape room with one of the most brilliant mathematicians (begiant.ca)
2
Ask HN: Is AI sycophancy a way to reduce compute rather than make users happier?
2
Update: Mochizuki's ABC Conjecture proof is unformalizable (twitter.com/fumiharukato)
3
GPT 5.6 solved all 6 problems from IMO 2026 (reddit.com)
8
Toronto now has the worst air quality in the world among major cities (iqair.com)
3
Rural NY School District Will Be One of First to Bring Humanoid Robot into Class (nysfocus.com)
2
Long Covid May Affect Motivation and Memory by Injuring Brain's Dopamine System (discovermagazine.com)
3
Scientists Calculated When the Last Plants on Earth Will Die (sciencealert.com)
1
Predict AI's impact on creativity by studying what Python did to programming (reddit.com)
1
Ask HN: Will AI make English more uniform just as Python did with source code?
13
Ask HN: Why is not using AI considered a form of arrogance?
2
Ask HN: Why are there only a handful of high quality TUI apps in homebrew?
1
We just figured out how AI works (J-Space) [video] (youtube.com)
2
Is AI making us dumber? (businessinsider.com)
4
Stanford Scientists Reverse Age-Related Memory Loss by Targeting the Gut (scitechdaily.com)
47
Autonomous flying umbrella follows and shields users from rain and sunlight (designboom.com)
1
Ask HN: Can you prove that my puzzle is always solvable with unlimited moves?
10
Why Vancouver is always a stand-in for San Francisco in movies and TV shows (2021) (sfgate.com)
4
Ask HN: Why do programmers watch medical shows given that it is debugging?
1
Ask HN: Will AI force CS to focus on what to build instead of how to build it?
5
Ask HN: Living alone to become illegal as intelligent robots could be required?
8
Scientists reverse autism-like symptoms in mice (psypost.org)
3
Ask HN: Why don't bug reporting systems provide workarounds as rewards to users?
2
Ask HN: Did 1984 Mac *hardware* share more in common with the c64 than Apple II?
25
Beta test TeXmacs on Android (polytechnique.fr)
3
Ask HN: Did the 1984 Mac share more in common with the c64 than the Apple II?
5
DARPA's New X-Plane Aims to Maneuver with Nothing but Bursts of Air (twz.com)
3
Younger Adults May Be Aging Faster Than Previous Generations (sciencealert.com)
13
Bipartite Matching Is in NC (scottaaronson.blog)
4
5 Monitors on a Commodore 128 [video] (youtube.com)
89
Ask HN: Will programmers write more efficient code during the memory shortage?
1
Ask HN: Can a "smart diff" modernize code for app B after doing it for app A?
1
Ask HN: Did early 80s home computers mislead you about what is important?
2
Widely Prescribed Blood Pressure Drugs Could Be Harming Diabetic Kidneys (scitechdaily.com)
1
Ask HN: Why does Spotlight indexing get stuck in loops but Time Machine doesn't?
3
Ask HN: Do you reindex from scratch after making changes to Spotlight settings?
1
Beyond speed: Racer demonstrator proves agility and stability in latest tests (airbus.com)
2
Birth of new brain cells might erase babies' memories (2014) (sciencenews.org)
2
Brew Browser: A Native macOS GUI for Homebrew (github.com/msitarzewski)
2
Tell HN: iOS devs, get back lots of disk space: xcrun simctl delete unavailable
3
Canada Post announces 485,000 more addresses to lose home delivery (cbc.ca)
2
New experimental versions of TeXmacs for Windows 11 and Android (revision 15512) (texmacs.org)
3
Ask HN: Is online irritability the canary in the coal mine for various fields?
1
Ask HN: What's wrong with using #warning(...) for important comments in my code?
5
Ask HN: Were CS profs right to look down on programming in light of modern AI?
2
Ask HN: Why isn't AI image generation closely linked with graphics code gen?
5
Why Canadians can now get cheaper generic Ozempic – and Americans can't (bbc.com)
3
New diabetes pill burns fat without the downsides of Ozempic (sciencedaily.com)
3
C64 OS – Ready for Internet Action – C64 OS steps it up [video] (youtube.com)
3
Ask HN: Are multifocal lenses important for older people who don't drive?
3
Undigested fructose linked to anxiety and brain inflammation (psypost.org)
2
Commodore OS Basic V2 – Introduction (commodoreos.net)
1
Ask HN: Instead of autofocus glasses, why not have auto "focus mode" glasses?
2
Autoimmunity Drives Long Covid Symptoms (neurosciencenews.com)
4
Ask HN: Why is problem solving in math still important in the AI age?
3
Ask HN: Is the future of CS mostly applied and mostly in biology?
29
IXI's autofocusing lenses are almost ready to replace multifocal glasses (engadget.com)
1
Action for official authorization of TeXmacs in French exams (texmacs.cn)
3
Fatherhood Dramatically Rewires Your Brain, Scans Reveal (sciencealert.com)
3
A Photographer in Canada Found a Toad with Eyes in Its Mouth (thetravel.com)
7
Ask HN: Why didn't the C64 come with Simons' BASIC in the box from 1983 onward?
7
Ask HN: Why disparage AI while attributing ideas to AI when written with it?
6
Ask HN: Do people lie about why they hate AI writing on social media?
1
Idea: Subreddits as curator blogs for the AI era (reddit.com)
3
Adults who return to childhood games are searching for person they used to be (dailygalaxy.com)
1
The brain's code seems to be in constant flux. Neuroscientists are baffled (nature.com)
6
Ask HN: Are there any social media sites that are AI positive?
2
She Is Set to Win 2026 Fields Medal, Nobel of Math [video] (youtube.com)
6
Scientists have invented a way to erase bad memories. But should we? (sciencefocus.com)
1
The reason nearly all humans are right-handed (thebrighterside.news)
4
Your brain is always a fraction of a second behind the present (sciencefocus.com)
7
Twitter user posts a real Monet and says it's AI (reddit.com)
4
Ask HN: Is delegating writing to AI like CEO delegating writing to a secretary?
3
Mammals May Have a Hidden Limb Regeneration Ability We Never Knew About (sciencealert.com)
4
Ask HN: Can you make money from writing short stories with the help of AI?
5
Brain-eating amoeba detected in western national park waters (sfgate.com)
2
Tile Wipeout – a new kind of slider puzzle [beta] (testflight.apple.com)
1
Research suggests that dinosaurs may have influenced how human beings age (phys.org)
2
Nature vs. nurture: How much of our personalities are determined at birth? (bbc.com)
2
Commodore 64 Ultimate Line-Up Expands with C64C Edition Later This Year (commodore.net)
1
AI Wellbeing: Measuring and Improving the Functional Pleasure and Pain of AIs (ai-wellbeing.org)
1
Long Covid Linked to Brain Changes, Cognitive Decline (medscape.com)
8
Just How Much Should You Worry About Eating That Burnt Toast? (mcgill.ca)
2
Ask HN: Is modern AI like glasses for the mind?
4
Ask HN: Why don’t laptops beep loudly like cars when locking and unlocking?
2
Original Task Manager creator explains why it lies to you about CPU usage (tomshardware.com)
2
Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report [video] (youtube.com)
1
Eating more fruits and vegetables tied to unexpected lung cancer risk (sciencedaily.com)
70
CRISPR takes important step toward silencing Down syndrome’s extra chromosome (medicalxpress.com)
1
AI trained like a Rubik's Cube solver simplifies particle physics equations (phys.org)
1
Formalization of IUT: A Preliminary Progress Report by Mochizuki et al. [pdf] (kyoto-u.ac.jp)
1
Canada Post is planning to end home delivery (cbc.ca)
3
Explanation for why we don't see two-foot-long dragonflies anymore fails (arstechnica.com)
1
Back to the Pet (Again and Again) [video] (youtube.com)
1
Toronto considers micro-shelter communities to tackle homelessness (ctvnews.ca)
2
TeXmacs 2.1.5 has been released (texmacs.cn)
3