mightybyte

7 ms·

1.
by mightybyte 1mo ago
I think there are two ways one could look at this. One is to make each move be a move of the player's location. If you do that, then the branching factor is obviously < 8. But there's a second way you could define a "mo
2.
by mightybyte 2mo ago
Oh, skills are absolutely useful for giving the LLM distilled knowledge of things that it doesn't just know ("off the top of its head" so to speak). For example, a company's coding style guide is something that could be
3.
by mightybyte 4mo ago
Haskell gives you quite a powerful set of tools for constraining and reasoning about your program's behavior. For instance, its ability to define pure functions and control side effects is a very powerful tool for preventing certain c
4.
by mightybyte 4mo ago
How much code do you think is necessary for LLMs to be good enough?
5.
by mightybyte 7mo ago
One plausible future I can see from here is that we see a shift in our relationship to code in high-level languages that is similar to what happened with code written in assembly language back when the first high level languages were introd
6.
by mightybyte 7mo ago
Hmmm, I used OpenCode for awhile and didn't have this experience. I felt like OpenCode was the better experience.
7.
by mightybyte 7mo ago
I have been unable to use OpenCode with my Claude Max subscription. It worked for awhile, but then it seems like Anthropic started blocking it.
8.
by mightybyte 7mo ago
The thing that annoys me most of all is they block me from using OpenCode with my Claude Max plan. I find the OpenCode UI to be meaningfully better than Claude Code's, so this is really annoying.
9.
by mightybyte 8mo ago
This is why I think (at least given the current state of AI code generators) that senior engineers will benefit more from AI than less experienced engineers. I don't know exactly what the chart of experience (on the x-axis) and amount
10.
by mightybyte 9mo ago
Sounds like this should live in Wikipedia somewhere on https://en.wikipedia.org/wiki/Ellipse...or maybe a related but more CS focused related page.
11.
by mightybyte 9mo ago
No, this is not at all a given. There could be switching costs that cause people to stay on a product that is actually worse. Users also simply might be unaware of alternatives or that they are better. It's not hard to imagine any n
12.
by mightybyte 9mo ago
It also could happen because tech companies have optimized their products to maximize the amount of time that people spend on them, often in ways that directly result in a worse user experience (by showing ads instead of the most relevant s
13.
by mightybyte 9mo ago
The term "functional programming" is so ill-defined as to be effectively useless in any kind of serious conversation. I'm not aware of any broadly accepted consensus definition. Sometimes people want to use this category to
14.
by mightybyte 9mo ago
Was just talking with someone the other day who used to write Haskell professionally but is now using Python. He said that in his experience when there are bugs the "blast radius" is much larger in a dynamic language like Python
15.
by mightybyte 9mo ago
He's also won the International Obfuscated C Code Contest 3 times. https://www.ioccc.org/authors.html#Fabrice_Bellard
16.
by mightybyte 1y ago
One of my favorite pieces on this topic is this talk "Stop Treading Water: Learning to Learn": https://www.youtube.com/watch?v=j0XmixCsWjs
17.
by mightybyte 1y ago
It definitely has things in common with meetup.com. But it looks meaningfully distinct to me because the appear to specifically have some kind of strong preference against connected devices. Honestly, I've been wishing for things in
18.
by mightybyte 1y ago
Yeah, comparing to how you'd solve this in any other mainstream language is really an apples-to-oranges comparison here because this is explicitly tackling the contrived problem of solving it at the type level rather than at the much m
19.
by mightybyte 1y ago
As a professional haskeller, I feel it necessary to point out for people in this thread who are less exposed to Haskell and who may be Haskell-curious...this is not what real-world commercial Haskell code looks like. To use a C analogy, I&
20.
by mightybyte 1y ago
In this same vein, Hot Ones minus Sean might be pretty entertaining as well.
21.
by mightybyte 2y ago
I would argue that the title is misleading and overly alarmist here. This particular bug may have involved recursion and a stack overflow, but that's like saying "malloc kills" in the title of an article about a heap overflo
22.
by mightybyte 2y ago
My default uninformed assumption would be that Google is paying Mozilla for making Google the default search engine for Firefox. Does anyone know if this is the case, and if so, what the likely magnitudes are? Because it seems like Google
23.
by mightybyte 2y ago
If you've made any kind of DNS entries involving this subdomain, then congratulations, you've notified the world of its existence. There are tools out there that leverage this information and let you get all the subdomains for a
24.
by mightybyte 2y ago
There's a spectrum of efficiency/redundancy choices an organization can make. On one (theoretical) end of the spectrum the organization maximally leverages each individual's unique skills/knowledge. This is the most ef
25.
by mightybyte 2y ago
I have a question for all the LLM and LLM-detection researchers out there. Wikipedia says that the Turing test "is a test of a machine's ability to exhibit intelligent behaviour equivalent to, or indistinguishable from, that of a
26.
by mightybyte 2y ago
Google search is completely broken IMO. I stopped using Google search years ago and every time I go back on the off chance that it's bigger index has something that DuckDuckGo couldn't find for me. Image search isn't great e
27.
Calling Purgatory from Heaven: Binding to Rust in Haskell(well-typed.com)
3 points by mightybyte 2y ago|0 comments
28.
by mightybyte 2y ago
I think the fundamental approach being taken by this project is immensely valuable to the world. This kind of education about open standards might actually be the most powerful tool that can help us take steps in the direction away from gi
29.
by mightybyte 2y ago
The Evolution of Cooperation by Robert Axelrod https://www.goodreads.com/book/show/366821.The_Evolution_of_... See also https://ncase.me/trust/ for a really nice 30-min interactive summary of
30.
by mightybyte 2y ago
> I have the sense that Youtube is net bad for the world and the monetization of Youtube has incentivized and amplified mediocrity, stupidity, and social decay. Interesting that you say this regarding YouTube. I've been saying this

More ›