shubhamjain

> To stay relevant, Pico CSS would need a full rewrite: plain modern CSS instead of Sass, built on features it doesn't use today (OKLCH colors, cascade layers, Popover, anchor positioning) with fallbacks for older browsers

Why? Why? Why? I hate how everyone seems convinced they need to adopt the latest and greatest browser features just to stay relevant. I hate oklch and I hate Tailwind popularized it. I don't care how scientifically accurate it is at representing human color perception. It's a PITA to understand a new type of color system, and learn to tweak it, especially when HSL/RGB just worked fine.

Too many harsh words in this thread for Stack Overflow without enough appreciation for what Joel and Jeff built.

Right from the start, the content was as open as possible, and community ownership was a core principle. As a programmer with limited resources back in 2010, I have every reason to be grateful for Stack Overflow because back then Experts Exchange was paywalled, and most other forums were either language-specific or drowning in spam.

Stack Overflow's strict moderation was a direct response to those forums, where you often had to scroll through pages of noise to find one useful answer. Yes, it eventually became a hall-monitor type of clique obsessed with enforcing rules, but that moderation wasn't useless. People here forgot Googling a programming question and clicking StackOverflow link? We did this for years, imagine the time saved not going through manuals.

Obviously, there's much less reason to use it in the age of AI. But let's show a little gratitude for what it gave us instead of just grumbling about what it became.

Not an expert, but explaining the proof and it being independently verifiable as important as just putting a paper of it. Reminds me of 1000 page proof of Goldbach’s conjecture that a Mathematician reached sometime back. He was told plainly that no one is going to invest time in verifying the proof because there’s a good chance there’s an error somewhere in between.

A very balanced perspective, and the concerns he raises are reasonable. He acknowledges that AI is going to transform mathematics, but simply dumping proofs on the math community and expecting others to do the grunt work of verifying, refining, and expanding on them is hardly a productive way to advance the field.

There seems to be more interest in hitting some arbitrary benchmark (we proved X unsolved problems) than in genuinely contributing to mathematics. But what else is to be expected? It's become a maniacal race with too much money. Too much effort is being invested in proving that the exponential curve is still holding.

The stark contrast between HN comments and everywhere else makes me think HN may be one of the last places left for grounded technical discussion.

Everyone on Twitter is acting as if Adobe’s software was decompiled, rewritten, and that’s it—game over, without even trying the damn thing. Seeing software engineers themselves espouse this nonsense is particularly annoying.

Yes, AI can recreate photoshop. But Photoshop is the product of thousands of tiny design, engineering, and product decisions. The idea that all of those decisions can simply be “decoded” from compiled binaries is laughable.

Linus is one of the last remaining champions of rationality in large-scale software projects. Otherwise, it’s filled with devs who love to leave their brains out when it comes to practical scenarios. Anyone who thinks there is a security issue here is an absolute moron.