Why is it worth spending time on type theory? (2013)
(news.ycombinator.com)
271.
272.
Why is it worth spending time on type theory?
(news.ycombinator.com)
273.
274.
275.
Ageing accelerates around age 50 ― some organs faster than others
(news.ycombinator.com)
276.
Why MIT switched from Scheme to Python (2009)
(news.ycombinator.com)
277.
Why MIT Switched from Scheme to Python (2009)
(news.ycombinator.com)
278.
279.
AT&T and T-Mobile now both claim the best network crown, but which one is really the best?
(androidauthority.com)
280.
Why I love my little round Dell USB-C mobile adapter
(theverge.com)
281.
The United States withdraws from UNESCO
(news.ycombinator.com)
282.
The United States Withdraws from UNESCO
(news.ycombinator.com)
283.
I use both YouTube Music and Spotify, and for good reason
(androidauthority.com)
284.
Agents built from alloys
(news.ycombinator.com)
285.
Local cuisine was on the menu at Cafe Neanderthal
(arstechnica.com)
286.
Extending That XOR Trick to Billions of Rows
(news.ycombinator.com)
287.
The (Unfinished) PDE Coffee Table Book
(news.ycombinator.com)
288.
Signs of autism could be encoded in the way you walk
(news.ycombinator.com)
289.
Signs of Autism Could Be Encoded in the Way You Walk
(news.ycombinator.com)
290.
291.
Diffsitter – A Tree-sitter based AST difftool to get meaningful semantic diffs
(news.ycombinator.com)
292.
293.
Apple just released a weirdly interesting coding language model
(news.ycombinator.com)
294.
Optimizing Tool Selection for LLM Workflows with Differentiable Programming
(news.ycombinator.com)
295.
296.
297.
I want to leave tech: what do I do?
(news.ycombinator.com)
298.
299.
300.
Researchers Uncover Hidden Ingredients Behind AI Creativity
(news.ycombinator.com)