Ygg2

28 ms·

721.
by Ygg2 1y ago
> No, this is the technique we use in practice in formal methods to prove program properties A program that can't express H (72 in decimal) in Hello world is about as divorced from practicals as you can get, without mixing String th
722.
by Ygg2 1y ago
> How can something be an axiom and at the same time has a mathematical derivation well understood from Quantum Mechanics See my notes, it's not an axiom, just take it for granted for the explanation to work. You can derive it from
723.
by Ygg2 1y ago
> The use of Unsafe in Java is demarcated, and besides, it is now being removed altogether, but we have more interesting things to talk about. If you call importing a package and using it demarcated, I have a bridge and some fog undernea
724.
by Ygg2 1y ago
Here is a simple explanation: They can't fall in due to Heisenberg's uncertainty. For that, I'd need you to accept as an axiom[1] (unprovable truth) that the following principle is true: ΔpΔx (uncertainty of momentum times u
725.
by Ygg2 1y ago
> That's correct. My point is that even if we talk about memory safety only, languages are on a spectrum So are cars, there are cars that are a deathtrap, that send the steering wheel through your guts, and there are cars with seatb
726.
by Ygg2 1y ago
> That is the definition of a language not being memory-safe. Memory-safety in the language means a guarantee that the resulting program is memory safe, and that you could not mess it up even if you tried. By your definition no language
727.
by Ygg2 1y ago
> even Rust isn't really memory-safe. [Heavy citation needed] Rust isn't memory safe if and only if: - You messed up writing safe to unsafe interface (and forgot to sanitize your binary afterwards). - You tripped one of the few
728.
by Ygg2 1y ago
Seeing some of them still wear diapers, I'm going to assume percentage higher than 0%. PS. I'm aware what it is.
729.
by Ygg2 1y ago
What do you mean by data modelling? Which UML part? You start the diagram with a `erDiagram` --- title: Order example --- erDiagram CUSTOMER ||--o{ ORDER : places
730.
by Ygg2 1y ago
> It feels socially safe, easy, and destructive to be a critic. It also feels very socially safe to be group of rabid fans.
731.
by Ygg2 1y ago
It seems my sarcasm was not detected. Maybe I should have said AI.
732.
by Ygg2 1y ago
And if Hamas tactics didn't make every Palestinians into possible threat, the Israel ethno state wouldn't be as repressive. In many The big issue was world powers of WW2 deciding to just bequeath land to Israel.
733.
by Ygg2 1y ago
You definitely can turn cryptocurrency into heat. That's thermal energy.
734.
by Ygg2 1y ago
Step 3, Rewrite it in Rust. Step 4, Rewrite it in Zig. Step 5, due to security issues rewrite it in Java 63.
735.
by Ygg2 1y ago
Sadly our solar panels don't self heal or come with 100(0) years warranty.
736.
by Ygg2 1y ago
Grass and trees are pretty bad at converting sun into glucose. Main enzyme in photosynthesis Rubisco is both slow (few molecules per min vs several hundred per second) and lowly selective (confusing O2 for CO2 regularly). Which makes sense,
737.
by Ygg2 2y ago
I think same applies to any GC language. Ride is fun until GC starts either taking too much time, too much memory or taking too much of CPU.
738.
by Ygg2 2y ago
Small edit. 30 million not 30.
739.
by Ygg2 2y ago
> The goal is not to measure the level of evil in the hearts of <hamas> or <isreali government>. That’s impossible. The goal of thought experiment wasn't to measure evil or good. It's to determine if the lines betwe
740.
by Ygg2 2y ago
> The line between good and evil is very clear in this case. Edit parent meant Ukraine war, not the Israel conflict quote Pope had.
741.
by Ygg2 2y ago
Hard part of writing actually provable code isn't the code. It's the proof. What are invariants of double linked list that guarantee safety? Writing provable anything is hard because it forces you to think carefully about that. Yo
742.
by Ygg2 2y ago
Nope, but claims of knowing to write correct code (especially C code) without borrow checker sure did spike with its introduction. Hence, my question. How do you know you haven't been writing unsafe code for years, when C unsafe guidel
743.
by Ygg2 2y ago
> The refusal to accept code that the developer knows is correct, How do you know it is correct? Did you prove it with pre-condition, invariants and post-condition? Or did you assume based on prior experience.
744.
by Ygg2 2y ago
> Is Rust going to be the last popular language to be invented that explores that space? I hope not. Seeing how most people hate the lifetime annotations, yes. For the foreseeable future. People want unlimited freedom. Unlimited freedom
745.
by Ygg2 2y ago
True but it can detect DNA isn't the same by comparing expressed proteins.
746.
by Ygg2 2y ago
Did you read the article? It's not. It's somewhat fighting against it. Plus immune system would see baby's DNA as corrupted, since half of it is just wrong.
747.
by Ygg2 2y ago
> containment vessel to protect the mother (host) from the fetus (roughly, xenomorph) that would otherwise explode like an aggressive parasite (killing them both). You can also flip the perspective the fetus is trying to survive in a hos
748.
by Ygg2 2y ago
> Java's ZGC claims O(1) pause time of 0.05ms In practice it's actually closer to 10ms for large heaps. Large being around 220 GB.
749.
by Ygg2 2y ago
> Also note that D, a language as complex as C++ While D is complex, it's a different beast than Rust. I suspect think various checks, from lifetime to trait resolution, might make it more complex to parallelize than C++.
750.
by Ygg2 2y ago
C++ is fast in theory, but if they can't get C++ compiler (LLVM) to squeeze any juice from CPU, then what's the value of that language from a software engineering viewpoint. Hopefully, you can see why this reasoning is a problem.

More ›