RealityVoid

5 ms·

31.
by RealityVoid 2mo ago
The OG NFT.
32.
by RealityVoid 2mo ago
> My observation. LLMs find reasoning about Agda as difficult as I find reasoning about C code. A bit funny, because I thought... Hmm, so LLM's find Agda natural? My point being... It's a matter oh habit. After writing C firmwa
33.
by RealityVoid 2mo ago
Is... That slang a play on the death stranding beach? Because if yes, it's kind of funny.
34.
by RealityVoid 2mo ago
Simultaneous connection sounds super cool. I use it in the same way and reconnecting is annoying. I thought of doing something similar with synergy/mouse without borders but not through the internet, through the keyboard/mouse its
35.
by RealityVoid 2mo ago
I sense there is this air around of "demand our jobs keep being relevant" - I personally feel this kind of thing holds the world backwards if it works. I think if our jobs were to become obsolete, embracing it and re-orienting one
36.
by RealityVoid 2mo ago
> The traditional, reliable cycle of a new wave of teenagers getting their driver’s licenses and buying cars is shrinking. Are these teenagers buying new cars in the room with us now?
37.
by RealityVoid 2mo ago
According to wikipedia, microscopic is considered up to 1 micron. [1] According to the Schwartzchild formula [2] r=(2 G m)/(c^2) so if I take the largest black hole the definition would allow, the mass would be about 10% of the moon. Y
38.
by RealityVoid 2mo ago
Sure, but the mass is not specified so I just assumed the closest one to cosmic horror.
39.
by RealityVoid 2mo ago
The amount of mass inside the universe has stayed the same, it just moved from the boat into the black hole. You're really bored at work one day so to entertain yourself you create 1kg of antimatter along with 1kg of matter. Has the ma
40.
by RealityVoid 2mo ago
The water level decreases, along with the shore and anything with it falling within the event horizon. Any other apocalyptic brain teasers?
41.
by RealityVoid 2mo ago
Lake level stays the same.
42.
by RealityVoid 2mo ago
What do you think would be the effect on people that already have the skills and abilities. The LLM would build these systems using the skills that are largely understood by the programmer but piece them in new ways suitable for the system.
43.
by RealityVoid 2mo ago
What happens to the local price of oil if you are able to export the oil at a much higher price?
44.
by RealityVoid 2mo ago
Yes, owns. Ownership as in accountability, stewardship and care. But I think you already got this from my post and if we're fighting about semantics, there's no constructive discussion to be had.
45.
by RealityVoid 2mo ago
When an employee writes a system, the employee owns the system. When an AI writes a system for you, YOU own the system.
46.
by RealityVoid 2mo ago
Tools? Yes. Reliable foundations? Eh, mostly not. Maybe I'm holding it wrong, but I'm not impressed. Not in the least because in order to get a good system you must have a good image of the system in your head. And if AI builds th
47.
by RealityVoid 2mo ago
Would you say... You have arrived at a compromise? Ba-dum-tshh!
48.
by RealityVoid 2mo ago
Yes, but that is a different kind of improvement compared to note king during a lecture as an adult. I think hadriting ability is important, I just don't think note taking dutin a lecture is useful in any way.
49.
by RealityVoid 2mo ago
Certain kinds of writing is thinking, but you're not writing in the thinking way, you're transcribing.
50.
by RealityVoid 2mo ago
Or... Hear me out... Don't take notes at all. I'm sure I can find supporting material that is just much better than my paltry notes. I find that for me, it detracts from engaging with the material. I just much better prefer to lis
51.
by RealityVoid 3mo ago
This scenario is pretty similar to the Azolla event: https://en.wikipedia.org/wiki/Azolla_event Where "event" in this case is something that happened over an 800 000 years interval.
52.
by RealityVoid 3mo ago
> it’s a voluntary industry standard that has no government oversight or regulatory authority. Yes, hence why I said I'm not sure about enforcement mechanisms how they stack up against the aviation standard. Still, in my limited ex
53.
by RealityVoid 3mo ago
> don’t have anything like the verification and documentation processes that are mandated by DO-178 ISO 26262? Not sure how the enforcement looks, but automotive is pretty serious about ISO 26262. Still, the infotainment is most likely
54.
by RealityVoid 3mo ago
They make many many many more things than just powertools. They have ebike motors, home appliances, industrial machinery, chips (they have a very good division for MEMS as far as I can tell, they make high quality IMU's, they are super
55.
by RealityVoid 3mo ago
Real time control can be like that as long as the computing parts are clearly bound within your performance requirement.
56.
by RealityVoid 3mo ago
Falcon rockets, starlink, Tesla. They all pushed the envelope in their field. Are the stocks overpriced? Yes. Did they do impressive technical work? Also yes. They might get surpassed by competitors, but that is to be expected for all compa
57.
by RealityVoid 3mo ago
OP is from Palo Alto, so, obviously, the closest thing to a hellscape you can possibly get. /s
58.
by RealityVoid 3mo ago
This is obviously an overstatement. Sure, a phone is convenient, but we managed to function just fine without smartphones. I assure you, it's possible to do all those things without a phone.
59.
by RealityVoid 3mo ago
Can you back this up with any authoritative sources?
60.
by RealityVoid 3mo ago
This is not a radar, only a receiver.

More ›