anon-3988

14 ms·

91.
by anon-3988 8mo ago
Well, I prefer one that does not let me get off free and have a gaping escape hatch.
92.
by anon-3988 8mo ago
> But yeah, for web stuff? Just use TypeScript. Life's too short to fight the borrow checker over a blog.4 I am not sure about TypeScript. I think having static typing is just too good of an insurance against stupid bug and for your
93.
by anon-3988 8mo ago
The GP assumes that an LLM is able to write such novel. So I was working from there. My thesis is that even IF LLMs are able to produce "novelty", it will become the norm and we will simply demand even more exotic novelty. > An
94.
by anon-3988 8mo ago
> The "process", in many cases, is not necessarily preferable to the novel. Because an important part of the creative process is real-world experiences (as described above), and the real world is often unpleasant, hard, and com
95.
by anon-3988 8mo ago
> An interesting thought experiment is whether it's possible that AI tools could write a novel that's better than War and Peace. A quick google shows a lot of (poorly written) articles about how "AI is just a machine, so i
96.
by anon-3988 8mo ago
You are forgetting that they are now going to use AI to summarize it back.
97.
by anon-3988 8mo ago
Be honest, did you use LLM to write this reply? Am just genuinely curious as I am trying to gauge and tune my senses. OT: I do agree with your assessment.
98.
by anon-3988 8mo ago
> The edges are where interesting stuff happens. The boring part can be made more efficient. I don’t need to type boring emails, people who can’t articulate well will be elevated. I think that boring emails should not be written. What k
99.
by anon-3988 8mo ago
This is a strange comment because, this is literally the world that we live in now? We just assume that everyone is vouched by someone (perhaps Github/Gitlab). Adding this layer of vouching will basically cull all of that very cheap an
100.
by anon-3988 8mo ago
I am still not going to merge random code from a supposed trusted invdividual. As it is now, everyone is supposedly trusted enough to be able to contribute code. This vouching system will make me want to spend more time, not less, when cont
101.
by anon-3988 8mo ago
My observation is that "good code for human" != "good code for LLM" For example, I think LLM benefit from having very verbose code that repeats and repeats the same important code/comments/strings/exceptio
102.
by anon-3988 8mo ago
if sudo needs 30 years of development, we need to rethink how it works. Perhaps it is time to trim down 99% of the features. Reset our brain, take a deep look at what it needs to do and how it does it.
103.
by anon-3988 8mo ago
Interested!
104.
by anon-3988 9mo ago
Like what happened with the Internet. Oh wait no it didn't happen. Yea...
105.
by anon-3988 9mo ago
I think this is a paradox that AIs have introduced. We write open source software so everyone can learn and benefit from it. But why do we not like it when they are being trained on them and allow normies to use it as well? We want news, kn
106.
by anon-3988 9mo ago
> It is worth noting that the class of bugs described here (logic errors in highly concurrent state machines, incorrect hardware assumptions) wouldn't necessarily be caught by the borrow checker. Rust is fantastic for memory safety,
107.
by anon-3988 10mo ago
Do you have personal experience with the project? If I buy the hardware today, how easy is it to get going? Do you have to work directly with the Corundum library to add functionality?
108.
by anon-3988 10mo ago
A very cool project but I find it hard to use as a hobby considering how expensive the hardware is. All I really need is to play around with FPGA-based UDP filtering.
109.
by anon-3988 10mo ago
I mean..sure, but I just want the first 80%. We don't have that. Instead, we are building kernels and infrastructure using bash scripts that who knows does what. We need a tool that is solid and rigid that LLMs can use to go through al
110.
by anon-3988 10mo ago
Orrrr just use an API that returns Option<T>, then bubble it up or manually panic if that's what you want?
111.
by anon-3988 10mo ago
Before we start writing Lean. Perhaps we can start with something "dumber" like Rust or any typed program. If you want to write something correct, or you care about correctness, you should not be using dynamic languages. The most
112.
by anon-3988 10mo ago
> No, it will just kill the browser. The fact he thinks otherwise tells me how out of touch he is. Believe me when I say this but 99.99999% of the human population does not give a shit what is Firefox, Chrome, Edge, Brave, whatever. Thei
113.
by anon-3988 10mo ago
The interesting part to me is that this bug does not necessarily happen in an unsafe block. The fix happens in an unsafe block, I think the API should change to avoid this. Perhaps by forcing users to pass a lambda to do stuff instead of ha
114.
by anon-3988 10mo ago
> Classic Motte and Bailey. Rust is often said "if it compiles it runs". That claims is overly broad, but its a huge, huge part of it. There's no amount of computer science or verification that can prevent a human from wri
115.
by anon-3988 10mo ago
> I suspect debugging is not that straightforward to LLM'ize. Debugging is not easy but there should be a lot of training corpus for "bug fixing" from all the commits that have ever existed.
116.
by anon-3988 10mo ago
> To give a contrived example, let's say you want to state that a particular computation terminates. To do it in a clear and concise manner, you want to express the property of termination (and prove that the computation satisfies i
117.
by anon-3988 10mo ago
Is there any plans by some DE to replace D-bus with Binder?
118.
by anon-3988 10mo ago
Why haven't anyone randomly generate a bunch of code of various kinds, use LLM to create some summary of it and dump them to github with a restrictive license? The patent office isn't here to enforce anything.
119.
by anon-3988 10mo ago
I'd say it takes about 1 million people with modern military capability to completely take over the world.
120.
by anon-3988 10mo ago
The US could have easily, easily won the Vietnam war if they just dropped 1 or 2 nukes. The modern military is going to have drone that swarm the sky 24/7. They can develop virus that only they have the cure to. They can drop EMPs. The

More ›