laughinghan

6 ms·

1.
by laughinghan 3mo ago
The sole and entire purpose of Diverse Double-Compiling is addressing Thompson's Trusting Trust: https://dwheeler.com/trusting-trust/
2.
by laughinghan 4mo ago
> You make subtle mistakes in how you perceive the world, the interlocutor makes similar mistakes And the LLM makes subtle mistakes perceiving what you were trying to say, and I make subtle mistakes perceiving what the LLM generated. It&
3.
by laughinghan 6mo ago
The WIT types don’t seem random or Rust-centric to me, they’re basic types common to every major current-generation language, not just Rust but also Swift, Kotlin, even Zig. It’s true that languages with type designs from the 90s can’t take
4.
by laughinghan 6mo ago
You seem to be implying that these goals were optional, but I don’t understand how #2 cross-lang interop could ever have been optional. Isn’t running non-JS languages the entire point of WebAssembly? Given that, do you really think goal #1
5.
by laughinghan 6mo ago
Are you pretending you didn’t even have an LLM help you reword it before publishing? Because that would be an obvious lie. If you were to propose a sufficiently trustworthy way to prove one way or another, I’d bet $1,000 on it.
6.
by laughinghan 6mo ago
Specifically there’s a lot of clickbaity constructions like: “setup: payoff” or “sentence fragment, similar fragment, maybe another similar fragment”. This paragraph has both: > The symptom is familiar: a stream that occasionally "l
7.
by laughinghan 6mo ago
Does it bother anyone else when an article is so clearly written by an LLM? Other than being 3x longer than it needs to be the content is fine as far as I can tell, but I find the voice it’s written in extremely irritating. I think it’s s
8.
by laughinghan 1y ago
Not the same people. I’d expect to get way more out of talking to one of those sets of people than the other
9.
by laughinghan 2y ago
In theory they try to get people hired for their competence rather than their network. A widely-cited anecdotal example of this reportedly working well is the Rooney Rule: https://www.espn.com/nfl/playoffs06/news&#
10.
by laughinghan 2y ago
> "Main" doesn't have that connotation. It has had the connotation of "mainline", a synonym for "trunk", in version control since before Git existed: https://en.wikipedia.org/wiki/B
11.
by laughinghan 4y ago
Nah, the supply follows demand. There are fewer native app bootcamps because that's not what people want to hire or learn.
12.
by laughinghan 4y ago
key features implemented in a multi-process architecture, using plenty of C++ and Rust written modules Which is exactly the point—the UI is written in HTML/CSS, not the native platform language, and the high-performance modules are w
13.
by laughinghan 4y ago
There are no second chances in the court of public opinion, no punishment severe enough, no act of restitution sincere enough. This just isn't true. Look into how Dan Harmon gave a genuine apology and accounting for his wrongdoing an
14.
by laughinghan 4y ago
If learning that Cloudflare took action against literal, self-identified Nazis—who praise Hitler, deny the Holocaust, and drove a car into a crowd and killed a woman—made you worried that Cloudflare might take action against you, you'r
15.
by laughinghan 4y ago
I strongly disagree with the analogy between CDNs and ISPs. ISPs operate on the user-side, they have no business filtering what the user sees. CDNs operate on the server-side, they have the power and responsibility to decide who they want t
16.
by laughinghan 4y ago
This is so overwrought. We're not talking about Embrace, Extend, Extinguish here, where Microsoft wanted to exploit their OS monopoly to bend the Internet to its will. Cloudflare's products are popular because they solve real prob
17.
by laughinghan 4y ago
That's what domain fronting is for, and even though the GFW attempts to filter by SNI, genetic algorithms like Geneva are able to find workarounds: https://geneva.cs.umd.edu/papers/foci21.pdf
18.
by laughinghan 5y ago
A few notes: • a quick search for "refuting bell's theorem" will turn up attempts in 2000, 2007, 2011, 2012, 2017, etc, so let's take this with a huge grain of salt • Europhysics Letters is a reasonably old journal (1986
19.
by laughinghan 6y ago
The recent spike in homelessness, the health insurance coverage gap, rising economic inequality, we are facing many major urgent crises. But there is a severe lack of imagination to suggest that our problems as a society or species can&#x27
20.
by laughinghan 6y ago
This seems like...word salad. What are you actually trying to say here? Autonomy vs social control is a modern trend? That's not what totalitarianism was? What change of governance? From who to who? (Or what to what?) Shamelessness was
21.
by laughinghan 6y ago
This sounds naive to the point of dystopian. What about tragedy-of-the-commons collective action problems, like pollution, natural resources (overfishing, overlogging), climate change, herd immunity? Canada and Nordic countries rank highly
22.
by laughinghan 6y ago
Whoops, missed the comment window on all the replies to me except for this one! I clearly completely failed to communicate what I meant about "diagramming" a programming language, as evidenced by all the people pointing out that s
23.
by laughinghan 6y ago
That is such an interesting and...low-level way to think of it. To me it feels a little deeper than just there being a "maze of rules". Your earlier mention of "everything's connected to everything else" resonated w
24.
by laughinghan 6y ago
Wow, that's crazy. Others here, and presumably your friends, have talked about how they think of programming "visually", but they don't think visually about conversing in natural language. I thought of a concrete way to
25.
Can we all just call it “type narrowing”?(laughinghan.medium.com)
2 points by laughinghan 6y ago|0 comments
26.
by laughinghan 6y ago
Well, the README's footer has prominently displayed OpenCollective badges and avatars and a request for donations for >4 years: https://github.com/Marak/faker.js/commit/58aa94a99d6161418c4... There is
27.
by laughinghan 6y ago
Thank you for your thoughtful response. "The accused" is interesting framing. I would hope that no one expects the innocent but accused to apologize for something they didn't do. For the accused who are guilty, if we agree th
28.
by laughinghan 6y ago
To clarify, the important thing about "reconciliation" is not about reconciling with war criminals, but about reconciling with supporters of war criminals, which are usually a pretty significant portion (sometimes the overwhelming
29.
by laughinghan 6y ago
Your apology posts are excellent and you deserve the positive response you get on them.
30.
by laughinghan 6y ago
I think you should also examine the possibility that gp is straightforwardly wrong, and that a good apology can make things better, even (or especially) in the face of being called out on Twitter. Consider how Dan Harmon reacted to Megan Ga

More ›