Formal Methods: Just Good Engineering Practice?
brooker.co.za
Who Can Understand the Proof? A Window on Formalized Mathematics
writings.stephenwolfram.com
I've Acquired a New Superpower
danielwirtz.com
Learning How to Think with Meta Chain-of-Thought
arxiv.org
The Tedious Heroism of David Ruggles
commonplace.online
I got OpenTelemetry to work. But why was it so complicated?
iconsolutions.com
Glimmer: DSL Framework for Ruby GUI and More
github.com
Tactility: OS for the ESP32 Microcontroller Family
tactility.one
lc: List files in categories (and columns) – from Coherent Unix clone
github.com
Parsing the C64 Bubble Bobble Wind Currents
geon.github.io
Bird-inspired drone uses legs to walk and jump into the air
spectrum.ieee.org
Before Squid Game, there was Battle Royale
tokyoweekender.com
Wasmer (YC S19) Is Hiring a Rust Engineer in EU timezone (Remote)
workatastartup.com
Nvidia-Ingest: Multi-modal data extraction
github.com
Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting
cispa.de
Ask HN: How to approach first days on a new job as a senior engineer?
Show HN: Boulette - Protect you from yourself (even as root).
github.com
WorstFit: Unveiling Hidden Transformers in Windows ANSI
blog.orange.tw
Ask HN: Books about people who did hard things
Deformable Image Registration KU Repository
github.com
Predictions Scorecard, 2025 January 01
rodneybrooks.com
Web apps built with Ruby on Rails
weuserails.com
I find their critique compelling, particularly their emphasis on the disconnect between CoT’s algorithmic mimicry and true cognitive exploration. The authors illustrate this with examples from advanced mathematics, such as the "windmill problem" from the International Mathematics Olympiad, a puzzle whose solution eludes brute-force sequential thinking. These cases underscore the limits of a framework that relies on static datasets and rigid generative processes. CoT, as they demonstrate, falters not because it cannot generate solutions, but because it cannot conceive of them in ways that mirror human ingenuity.
As they say - "Superintelligence isn't about discovering new things; it's about discovering new ways to discover."