Born #otd in 1913: Sister Mary Kenneth Keller, who helped develop Basic. In 1965, she became the first woman to earn a PhD in computer science in the US: https://
bit.ly/3LVRHpK
COMPUTING
-

Sister Mary Kenneth Keller: First Woman PhD in Computer Science
By
–
-
Image Generation Launch Drives 32% WAU Growth, Compute Needs Surge
By
–
Compute enabled our first image generation launch (and a +32% jump in WAU over the following weeks) as well as our latest image generation launch yesterday. We have a lot more coming… and need a lot more compute. pic.twitter.com/rHfQv1aLKS
— OpenAI (@OpenAI) 17 décembre 2025Compute enabled our first image generation launch (and a +32% jump in WAU over the following weeks) as well as our latest image generation launch yesterday. We have a lot more coming… and need a lot more compute.
-

Perplexity iPad App Enhances Productivity for Students and Workers
By
–
The Perplexity iPad app is built for productivity, multitasking, and deep work. Perfect for students and workers who use the iPad as their primary work device.
-

Existential Problems in LLM Serving and Autoregressive Inference
By
–
The Existential Problems in LLM Serving Naive Transformers might be fine for lab experiments – but they don’t hold up in production. The real challenge lies in Autoregressive Inference, where performance bottlenecks can cripple even the most powerful GPUs.
If you’ve ever seen -
Taiwan TSMC dominates 90% of leading-edge chip manufacturing
By
–
The world runs on a single island (!!)
— Nina Schick (@NinaDSchick) 17 décembre 2025
Over 90% of leading-edge chips are manufactured by TSMC in Taiwan — a democratic nation just 100 miles off the coast of China, which the CCP openly claims as its own territory. Given the stakes, it’s astonishing (almost absurd) that the… pic.twitter.com/PLoGkRgFRKThe world runs on a single island (!!) Over 90% of leading-edge chips are manufactured by TSMC in Taiwan — a democratic nation just 100 miles off the coast of China, which the CCP openly claims as its own territory. Given the stakes, it’s astonishing (almost absurd) that the
-
Axelera AI Showcases Edge AI Innovation at SEMICON Japan 2025
By
–
Axelera AI is at @semicon_jpn 2025 talking about AI at the edge and Axelera’s edge‑AI innovation. Come see him and connect! Big thanks to @HollandHighTech and the Dutch Embassy for their great support #SEMICONJapan #EdgeAI #Semiconductors #AxeleraAI
-
Tensor Logic Probability Models GPU Implementation Advances
By
–
Nice work. Couple questions:
1. Tensor logic already incorporates probability and graphical models (Section 4.4. of paper). Is your goal to support nonstandard uncertainty calculi?
2. Efficient GPU implementation via tensor factorizations is part of tensor logic’s design (Section -

DTV Math Model: CPU-First Approach vs Symbolic Specialization
By
–
The DTV paper[1] from 2024 uses a 62B model specialized in math and reasoning, building up from 48.6% baseline by putting more emphasis on the symbolic side. What if we did the opposite, matching the baseline with specialized system on CPU and adding more parameters to improve?
-
MIT Free Mathematics Course for Computer Science Engineering
By
–
A free MIT course breaking down mathematics for computer science & engineering: https://t.co/lrmKyeLsys (v/@MITOCW)
— MIT CSAIL (@MIT_CSAIL) 16 décembre 2025
Here, MIT prof. Tom Leighton, who is also the CEO & co-founder of Akamai, discusses what a proof is (Lesson 1). pic.twitter.com/XpddzcuGYPA free MIT course breaking down mathematics for computer science & engineering: https://
bit.ly/3XPi0Ao (v/
@MITOCW
) Here, MIT prof. Tom Leighton, who is also the CEO & co-founder of Akamai, discusses what a proof is (Lesson 1). -
POSIX Storage Solutions: All Options Have Trade-offs
By
–
there is no good posix storage, only ones that suck lesser than others