captainmuon

5 ms·

1.
by captainmuon 8d ago
Well, yeah, you have code contracts in Ada or Spec#, (very limited) fixed type ranges in Pascal, ... but no general purpose programming language lets you put an arbitrary expression in the same language in a type as a permanent condition, o
2.
by captainmuon 8d ago
I haven't looked into Bend 2 in detail, but it seems a bit harsh to call it "horribly broken or decades behind the current state of the art". Clearly there is a problem with formal verification languages and there is a demand
3.
A/I shuts down(keepitfree.ai)
642 points by captainmuon 20d ago|565 comments
4.
by captainmuon 1mo ago
That could also backfire. If all information on the net becomes unreliable - you can't judge by quantity, or by authority anymore - then a useful model has to answer from first principles. Train it on simple texts alone so it learns la
5.
by captainmuon 2mo ago
Except, if some of the answered tokens are opaque to me, but I pay for them, the operator has no incentive to keep their number low [1]. For all I know the model could be spinning thumbs while thinking. If they cannot provide transparency,
6.
by captainmuon 2mo ago
Right, but my point was, I should be able to just send something like {'continue_conversation_id': 123, 'message': 'another message?'} Seems like it would be even less work for the LLM host to just c
7.
by captainmuon 2mo ago
It's one thing that the APIs don't return the reasoning tokens in a readable fashion. But then why do I have to send them the whole conversation every time? If they don't allow me to see parts of the conversation then they sh
8.
by captainmuon 3mo ago
Most AI alarmism benefits big tech itself. Either they want to create awe and thus demand for their products (see the recent dance around Mythos), or they want to create regulatory capture and increase the moat around AI. Interestingly , we
9.
by captainmuon 3mo ago
Beijing is a bad example, because all of China actually has Beijing time. It gets confusing in Xinjang, which is 2 hours in the "wrong" timezone. But that doesn't mean that people start work at 8:00 in complete darkness, they
10.
by captainmuon 3mo ago
Isn't the problem that role tags are just part of the input stream? So a specific word in the system prompt becomes the same token as the same word in the user prompt? A clean way to solve this would be to map system prompts to a disti
11.
by captainmuon 5mo ago
I don't get how so many people say pressing red is the right choice. Yes, if everyone presses red then nobody dies, but the same is true if everyone presses blue. But if almost everyone presses red, a lot of people die, and if almost
12.
by captainmuon 5mo ago
JavaScript got async in 2017, Python in 2015, and C# in 2012. Python actually had a version of it in 2008 with Twisted's @inlineCallbacks decorator - you used yield instead of await, but the semantics were basically the same.
13.
by captainmuon 7mo ago
I don't understand that point. Why do e-bikes become better or more safe when you have to rotate your legs? Its really frustrating and silly that I have to go through the motions (literally) of riding a bicycle if I want to get the pri
14.
by captainmuon 8mo ago
It's like the invention of the power loom, but for knowledge workers. Might be interesting to look at the history of industrialisation and the reactions to it.
15.
by captainmuon 9mo ago
I guess technically you are right, in that NAT doesn't prevent connections, it enables connections. But in the situation where you would have a NAT, behind a residential router, an outside host cannot connect to an arbitrary host o
16.
by captainmuon 11mo ago
Nooo... I don't want something to exist that can absolutely prove that a photo is real. This only serves to enforce social norms more rigidly. These include reasonable norms like against committing crimes or behaving abusingly but it a
17.
by captainmuon 1y ago
LLMs are just the speech center part of the brain, not a whole brain. It's like when you are speaking on autopilot, or reciting something by heart, it just comes out. There is no reflection or inner thought process. Now thinking models
18.
by captainmuon 1y ago
> this just hasn't been the case for some time now Which I find sad actually. The idea of C++ as a superset of C is really powerful, especially when mixing C and C++. A while ago I had a C project (firmware for a microcontroller) an
19.
by captainmuon 1y ago
> Cellebrite admits they can not hack GrapheneOS if users had installed updates since late 2022. So, how do I know that GrapheneOS is not a honeypot for the really big fish? At this point it seems if you really want to be safe, you have
20.
by captainmuon 1y ago
Or 3) there are illegal immigrants and ICE is deporting them according to the law, BUT some people think this is unjust and want to do something against it. The democratic process to change laws is too slow or doesn't work properly, or
21.
by captainmuon 1y ago
I think users applies to end-users here. So you must not run the software as a service (either paid or for free) for other users. You are free to use it yourself. Crucially, I think what is banned to offer accounts. Offering turnkey-hosting
22.
by captainmuon 1y ago
So, as there are a couple of docks coming out that work with Switch 2 and have apparently reverse engineered the protocol... I wonder if some company could make a small dongle that just sits between the switch and my monitor, or my USB-C do
23.
by captainmuon 1y ago
No, please do invent your own crypto, just don't deploy it! Coming up with schemes and then seeing where they fail is the best way to learn the intricacies. I think more of us 'lowly developers' should be familiar with the co
24.
by captainmuon 1y ago
Back when I was studying physics, we frequently had to do calculations with error propagation. I tried to implement something very similar in C++ and in Python, but never finished it. I also thought it would be neat if a spreadsheet program
25.
by captainmuon 1y ago
Their business model might be dead, I don't know. But the latest Prusa printers are as far as I know not really open - I can't download the schematics for free and make a clone, can I? And also a truely open schematic that I could
26.
by captainmuon 1y ago
I work at a university data center, although not on LLMs. We host state of the art models for a large number of users. As far as I understand, there is no secret sauce. We just have a big GPU cluster with a batch system, where we spin up jo
27.
by captainmuon 1y ago
> The reason you are using C++ in the first place is because you care about details like allocation, so to me this is a gigantic fumble. I wouldn't say that applies to everybody. I use C++ because it interfaces with the system libra
28.
by captainmuon 1y ago
We have these brilliant high resolution displays, and these powerful, energy efficient GPUs that are always running and compositing frames like a game engine 120 times a second. It's about time we start seeing more physicality in our u
29.
by captainmuon 1y ago
It's just a shader, so maybe not in pure CSS, but you could probably achive something like that in WebGL. About "only Apple can achive that": It would be pretty simple for MS to do something like this in Windows. DirectCompos
30.
by captainmuon 1y ago
I don't know, Sandbox escape from a browser is a big deal, a million dollars bounty kind of deal. I feel safe to put an automated browser in a container or a VM and let it run with a timeout. And if a site pulls something like that on

More ›