thomasmg

8 ms·

91.
by thomasmg 11mo ago
I agree. The main advantage of Fil-C is compatibility with C, in a secure way. The disadvantages are speed, and garbage collection. (Even thought, I read that garbage collection might not be needed in some cases; I would be very interested
92.
by thomasmg 11mo ago
> The stag is cool Yes. There is some psychological advantage. These ideas might make the overland options more acceptable for the population. Switzerland and other countries have nice looking (and sometimes expensive) sculptures in traf
93.
by thomasmg 1y ago
Go programs are not fully memory-safe if they use multiple treads, due to possible data races with fat pointers: https://news.ycombinator.com/item?id=44672003
94.
by thomasmg 1y ago
The problem with electrolysis is the high capital cost. As long as / where the price of electricity near zero only some of the time, it is too expensive. (With batteries and more photovoltaics this might change a bit.)
95.
by thomasmg 1y ago
I agree, IKEA instructions are great. A bit related are railroad diagrams, like the one of the JSON syntax [2]. I worked on Rubik's cube solving instructions for beginners [1] (for my children initially), but then I found it would be s
96.
by thomasmg 1y ago
Air conditioning is mostly needed while the sun is shining, and so electricity of A/C can come mostly from photovoltaics (plus batteries). So I think this technology is not quite as important. Sure, its nice to reduce electricity usage
97.
by thomasmg 1y ago
Many libraries throw an exception, panic, or silently swap the parameters at runtime. To detect this at compile time, you would need either min and max to be known at compile time, or a type system that supports value-dependent types. None
98.
by thomasmg 1y ago
LLM are just software + data and can be made deterministic, in the same way a pseudo random number generator can be made deterministic by using the same seed. For an LLM, you typically set temperature to 0, or set the random seed to the sam
99.
by thomasmg 1y ago
It depends on the religion. In Christianity, Islam, and some "the universe is a simulation" theories: yes. In other religions, god is not all that powerful.
100.
by thomasmg 1y ago
My interpretation is that the fish didn't actually turn down and punish, but fulfilled the wish. It's just that the fish thought: to be like God means to be humble. She asks to be like God, true godliness is humility. So she did g
101.
by thomasmg 1y ago
I fully agree. Lua and Luau are impressive, sure, but they are not really "small" or "simple", in my view. I don't think the complexity is unavoidable however. There are many programming languages that are much simp
102.
by thomasmg 1y ago
I would not describe this as "US and Russia are working together to fix the pipeline", but more like "some people think about it".
103.
by thomasmg 1y ago
Right. My fear is that the rules of the elections will be significantly changed as well soon, by this party.
104.
by thomasmg 1y ago
> there are as many newly available address ranges as dead objects Well, when using a bitmap (as they seem to do in the article), then multiple subsequent dead objects are considered to be in the same range, because multiple subsequent
105.
by thomasmg 1y ago
OK, I did not read the source code of the FUGC, but the article mentions "FUGC relies on a sweeping algorithm based on bitvector SIMD." So, assuming there is just one bit per block of memory, then there is no need to visit the mem
106.
by thomasmg 1y ago
If you want to use a standard malloc / free implementation (dlmalloc etc.) then dead object need to be known, yes. But the malloc library could be fully integrated into the GC mechanism. In this case, there is no need. That's prob
107.
by thomasmg 1y ago
I agree, why would you slow down things for everybody if it's only a problem for cryptographic purposes. Xorshift128+ etc are around 10 to 30 times faster than ChaCha20. The challenge is things that don't _obviously_ need cryptogr
108.
by thomasmg 1y ago
Which compile options do you recommend for best performance, but such that it is still memory-save? (I assume you use memory-save, right?) Currently I use "nim c --opt:speed". Compared to other languages (Go, Rust mostly) the runt
109.
by thomasmg 1y ago
> Current gen nuclear designs are basically meltdown proof Basically.
110.
by thomasmg 1y ago
The liability is capped at a certain amount. In the US, that is around $450 million per reactor. They also have to buy in to a fond. In France, the cap is 700 million euro. Above that, the federal government _could_ step in. The problem is,
111.
by thomasmg 1y ago
If you remove environmental regulations, then (pumped) hydro, wind, and photovoltaics would also be much cheaper, and much faster to build. For windmills, it's birds and whatnot, for photovoltaics (specially large-scale in the mounts)
112.
by thomasmg 1y ago
In the next years, it doesn't make sense to use batteries to sustain winter load: it would be way too expensive. But batteries get cheaper quickly, such that it doesn't make sense to build expensive nuclear plants just for winter.
113.
by thomasmg 1y ago
Wind turbines can, and are, turned off (by turning, feathering the blades, and braking). There are two main cases: high wind / storm, and too much electricity in the grid. Photovoltaics can also be turned off. The main reason for negat
114.
by thomasmg 1y ago
Nuclear also have weather failures: low water levels, and high river temperature. In both cases the power plant needs to reduce output or be turned off.
115.
by thomasmg 1y ago
Nuclear costs would be way higher if the plant operators would need to have insurance for catastrophic failures. Right now, they don't need that. The state (the population) just takes this risk.
116.
by thomasmg 1y ago
No, you just turn off some windmills.
117.
by thomasmg 1y ago
Wind + solar + batteries. Nuclear has its own failure modes. In Switzerland, one of the nuclear plants will be offline for winter (!) due to "unplanned repairs". This will cost the owners of the plant millions.
118.
by thomasmg 1y ago
> In Rust you can hold references directly into the buffer backing the array Yes! But I am arguing that this prevents having multiple mutable references > My Java knowledge is quite rusty > Also because Java is a GC'ed VM ...
119.
by thomasmg 1y ago
In Rust, a vector is a "fat pointer" (with pointer to the array and length / capacity) which lives on the stack. In Java, the pointer to the array and length / capacity lives in the heap. So in Java, there is an indirect
120.
by thomasmg 1y ago
> any particular reason you went with a go-like `ident type` syntax I just think that ":" is unnecessary. In my language, the type is mostly used in function declarations and types, eg. fun File read(data i8[], pos int, l

More ›