lacker

10 ms·

91.
by lacker 1y ago
The DFW style is not just "literary", it's dense, full of self-referential hints, critical footnotes, invented acronyms, retellings of the same events from multiple perspectives. I like Rudy Rucker a lot but his work is nothi
92.
by lacker 1y ago
Personally I don't agree with that review at all, and I loved Everything and More . I'm even somewhat of a "finitist" myself mathematically, but I think you can just view the whole hierarchy of infinities as a finite mo
93.
by lacker 1y ago
Reading the DFW biography, Every Love Story Is a Ghost Story, it said that there were hundreds of cases where the editor claimed something was a typographical error, and DFW insisted that actually it was precisely how he meant it to be. The
94.
by lacker 1y ago
If you're experienced in C++ you can basically just jump in. I found this youtube series to be really helpful: https://www.youtube.com/playlist?list=PLxNPSjHT5qvtYRVdNN1yD... After watching this video I was able to imp
95.
by lacker 1y ago
At my son's school they recently started blocking ChatGPT, not because kids were using it to cheat, but because kids kept asking ChatGPT how to get around the content controls, and it would constantly find new ways to proxy or evade.
96.
by lacker 1y ago
It's a much newer project than Lean, and Lean has more adoption. But the vast majority of mathematicians aren't using formal methods at all, so perhaps the space is still oepn.
97.
by lacker 1y ago
In the future I hope there is an option for more instructive feedback from Lean's compiler in the spirit of how the Rust compiler offers suggestions to correct code. This is how Acorn works, so that when proving fails but you are &qu
98.
by lacker 1y ago
The problem with the pyrefly behavior is that if you have a large codebase that isn't using any sort of Python typechecking, you can't just adopt this tool incrementally. You have to go fix up all of these issues. So you need to g
99.
by lacker 1y ago
Same here. AI is a great tool for learning, but a challenge for education.
100.
by lacker 1y ago
I was surprised to get it right in a single guess, without quite being able to describe crisply why I thought that was the answer. It's not really like an SAT analogy problem, which you can reason through repeatedly to gain confidence.
101.
by lacker 1y ago
This is great, and the ability to "remix" the art with Claude is really neat. I sat down with my son (kindergarten age) and we took turns giving it instructions to see how we could change it. He just wanted to keep going and going
102.
by lacker 1y ago
Best of luck!
103.
by lacker 1y ago
I'm a little worried on behalf of the "Python Language Tooling Team" at Meta, because uv has been so popular, and I wouldn't be surprised if ty wins out in this space. So watch out, or this will become like Atom or Flow,
104.
by lacker 1y ago
Unfortunately, I don't really know if I can trust academics to analyze the development of large language models. No academic team has built an LLM. So... do people working at Stanford or Oxford really have good insight how LLMs are dev
105.
by lacker 1y ago
These are just the optical telescopes. There are also next-generation radio telescopes in the works, such as the DSA-2000: https://www.deepsynoptic.org/overview The most cutting-edge radio telescopes are arrays, which means
106.
by lacker 1y ago
I've been using Claude Code, and I really prefer the command line to the IDE-integrated ones. I'm curious about Gemini's increased context size, though. Is anyone successfully using one of the open source CLI agents together
107.
by lacker 1y ago
I tried it out but I don't have any pending pull requests on my personal repositories, and I don't want to give a new tool write access to a professional repository where other people are working before trying it out a bit. It wou
108.
by lacker 1y ago
Yeah, I've had pretty great experiences with Airbnbs. I'm usually traveling with kids, hotel rooms are small, it's really nice to have a kitchen with kids, and a lot of airbnbs have amenities that the kids like.
109.
by lacker 1y ago
Even 20 years ago, it wasn't using AI for the core algorithm, but for plenty of subsystems, like (IIRC) spellchecking, language classification, and spam detection.
110.
by lacker 1y ago
It's not even about paying more. Think of email. Every time you send an email, there's an AI that scans it for spam. How could there be a system that lets you opt out, but keep sending email? Obviously all the spammers would love
111.
by lacker 1y ago
I think most people who want to "opt out of AI" don't actually understand where AI is used. Every Google search uses AI, even the ones that don't show an "AI panel" at the top. Every iOS spellcheck uses AI. Eve
112.
by lacker 1y ago
It's tough to generalize about "AI code", there's a huge difference between "please make a web frontend to this database that displays table X with some ability to filter it" and "please refactor this file
113.
by lacker 1y ago
Banks has a vision of the future where space travel, AI, and near-immortality are all widely distributed. What other science fiction is optimistic on a grand scale like that? You can appreciate the overall Banks vision without agreeing on e
114.
by lacker 1y ago
Consider a Turing test, though. Imagine you had two novels in front of you, you read both of them, and they were brilliant. You love them both. But you learn that one of them was written by a human, one of them by an AI. Is the AI-written n
115.
by lacker 1y ago
Let's split the difference and call them "magical overeager junior developer replacements".
116.
by lacker 1y ago
Is anyone successfully using Claude Code along with MCP? I feel like I hear very many stories of some company integrating with MCP, many fewer stories from users about how it helps them.
117.
by lacker 2y ago
Perhaps the key insight is that there is no concise explanation that underlies this particular structure. Many mathematical statements are true for no concise reason. If you want to discover if these things are true or not, perhaps you ne
118.
by lacker 2y ago
To me, the four-color theorem is a very interesting proof of concept, perhaps the most interesting mathematical proof of the past 50 years. Perhaps the "pattern that can be used in future work" is the idea of having computers enum
119.
by lacker 2y ago
If everyone has incredibly good AI, then perhaps the unique asset will be training data. Not everyone will have the training data that demonstrates precisely the behavior that your customers want. As you grow, you'll generate more trai
120.
by lacker 2y ago
By branding itself as "crypto-friendly", El Salvador managed to get Tether to relocate there. That seems like a pretty big deal for a country that otherwise would never attract any sort of tech company. So I wouldn't call it

More ›