Readit News logoReadit News
wk_end commented on I don't buy Macs anymore   jasonsaidwhat.substack.co... · Posted by u/overbring_labs
mattnewton · 2 days ago
Low-T hipsters is when I closed the tab. Just.. what?
wk_end · 2 days ago
Don’t forget “soft urban yupsters who don’t know adversity” and “pin-dick contrarians”.

Over-the-top machismo from a Karen crying about an incident ten years ago when his computer was too pointy and now he’ll never shop here again and he’ll make sure none of his friends shop here, either.

wk_end commented on Show HN: Using Common Lisp from Inside the Browser   turtleware.eu/posts/Using... · Posted by u/jackdaniel
umanwizard · 3 days ago
Is CL really particularly more “functional” than JavaScript? I don’t know CL but I know it bears some passing similarity to Emacs Lisp, which is usually written in a pretty imperative style. Sure, it has first-class closures but so does JS.
wk_end · 3 days ago
I kind of agree, but in the interest of discussion: even if CL isn't necessarily a more functional language in practice, culturally it's got a long history of being more functional. It took something like a decade at least for people to widely recognize to how elegant (in its quirky way) JavaScript could be. Just as a point of comparison (I'm sure the idea goes further back) PAIP - one of the definitive CL books - was first published in 1991 and encourages pure functions and immutability wherever possible.

Devs in the 90s were handed a language that looked like a weird Java and so they programmed it like a weird Java. If they were handed a language that looked like Lisp instead, maybe they would have made their way to SICP that much sooner.

wk_end commented on Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover   imperialcollegelondon.git... · Posted by u/ljlolel
timmg · 4 days ago
So: as I understand it, Fermet claimed there was an elegant proof. The proof we've found later is very complex.

Is the consensus that he never had the proof (he was wrong or was joking) -- or that it's possible we just never found the one he had?

wk_end · 4 days ago
It's possible we never found the one he had, but it's pretty unlikely given how many brilliant people have beaten their head against this. "Wrong or joking" is much more likely.
wk_end commented on The joy of recursion, immutable data, & pure functions: Making mazes with JS   jrsinclair.com/articles/2... · Posted by u/jrsinclair
wk_end · 5 days ago
Kind of amusing and maybe telling that this article about implementing an algorithm functionally begins by explaining it in an iterative, mutational fashion.
wk_end commented on How Figma’s multiplayer technology works (2019)   figma.com/blog/how-figmas... · Posted by u/redbell
simultsop · 5 days ago
maybe an automated bot
wk_end · 5 days ago
Not sure, their comment history doesn't look like it. If I had to guess, they got a fair amount of karma from the old comment and thought they could get away with reusing it and harvesting some more.
wk_end commented on Typechecker Zoo   sdiehl.github.io/typechec... · Posted by u/todsacerdoti
cwzwarich · 6 days ago
Lean’s type theory extends CIC with the (global) axiom of choice, which increases consistency strength over base CIC.
wk_end · 6 days ago
Slightly out of my depth, but per Diaconescu's theorem [0] axiom of choice implies the law of the excluded middle. Does that make Lean non-constructive?

[0] https://en.wikipedia.org/wiki/Diaconescu%27s_theorem

wk_end commented on Coalton Playground: Type-Safe Lisp in the Browser   abacusnoir.com/2025/08/12... · Posted by u/reikonomusha
spooky_deep · 11 days ago
Since the macros run at compile time, I am ok with them not being statically checked. Statically checked macros seems like an academic curiosity.

What am I missing?

wk_end · 11 days ago
One concern I’d have is that any type errors would be reported on the macro expanded code and thus be pretty much inscrutable outside of toy examples.

Deleted Comment

wk_end commented on Study: Social media probably can't be fixed   arstechnica.com/science/2... · Posted by u/todsacerdoti
KaiserPro · 11 days ago
Social media can be fixed, its just the incentives are not aligned.

To make money, social media companies need people to stay on as long as possible. That means showing people sex, violence, rage and huge amounts of copyright infringements.

There is little advantage in creating real-world consequences for bad actors. Why? because it hurts growth.

There was a reason why the old TV networks didn't let any old twat with a camera broadcast stuff on their network, why? because they would get huge fines if they broke decency "laws" (yes america had/has censorship, hence why the simpsons say "whoopee" and "snuggle")

There are few things that can cause company ending fines for social media companies. Which means we get almost no moderation.

Until that changes, social media will be "broken"

wk_end · 11 days ago
> Social media can be fixed, its just the incentives are not aligned.

So social media can't be fixed. Incentives are what matter.

wk_end commented on Exile Economics: If Globalisation Fails   lrb.co.uk/the-paper/v47/n... · Posted by u/mitchbob
IAmGraydon · 12 days ago
>Tariffs wars are the prelude to military wars.

You're basing this on what?

wk_end · 12 days ago
Well, the article says:

Trade history is too often a sideline reserved for economic historians, yet any effective study of the past four hundred years ought to move it to centre stage, as a prime generator of war and peace, stability and chaos, prosperity and dearth. As Clausewitz might have said, shooting wars are trade wars carried on by other means. Napoleon’s invasion of Russia, for instance, came after the tsar quit the Continental Blockade.

u/wk_end

KarmaCake day5222October 10, 2013View Original