mh7

8 ms·

1.
by mh7 4y ago
How would you make a mistake? The only time signed vs unsigned matters is for comparisons and mul/div, and those have explicit names so you're never surprised that 0xFFFFFFFF is less than 0 when doing signed_less_than().
2.
by mh7 4y ago
Bread takes hours to make and lasts for one day. So unless you wanna wake up at 3 am (or have a dedicated stay-at-home person making bread every day) it's not really a realistic option for many people.
3.
by mh7 4y ago
Signed and unsigned should both go, there should only be wordN types (word8, word16, etc) with two's complement semantics. Then you can have explicit functions for the operation you want: signed_mul(), signed_less_than(), unsigned_grea
4.
by mh7 4y ago
I asked for actual concrete evidence, not "can be used". Is there an example of a program that was crap, implemented telemetry and then got better afterwards? (and of course controlled for factors that might have improved the prog
5.
by mh7 4y ago
Any evidence that telemetry actually works? (i.e makes the program better)
6.
by mh7 4y ago
It's probably a case of me not knowing what I don't know, but I've never understood what the big deal with 'observation' is in QM. I dabble a lot in electronics and I'm painfully aware of how measurements affec
7.
by mh7 4y ago
I don't see a way around that - Organs are inherently rare because of their size, cost, locations and maintenance requirements. Unless someone finds a way of scaling up production and/or reducing the cost, you're not gonna se
8.
by mh7 4y ago
No it is not reserved, it's just posix's personal style guides. There's just as much of a name clash possibility when not using _t because lots of other libraries and platforms uses some other convention. Only ISO C can reser
9.
by mh7 4y ago
The sad part is that this setup is probably slower and laggier running on top end machines of today than turbo c running on the actual legacy hardware back in the day.
10.
by mh7 4y ago
Does zig plan on not supporting microcontrollers or not using "/" for integer division? Because on your typical arm mcu, x/y is a function call to a definitively non-constant time function. And lets not forget soft-fp. E
11.
by mh7 4y ago
>There is no language called "C/C++". Yes there is. Take the union of C and C++ which is valid syntax (and same semantics) in both languages, voila; C/C++.
12.
by mh7 4y ago
strlen() returns a size_t so you're already constrained to a maximum length of SIZE_MAX.
13.
by mh7 4y ago
Re #3: A big downside is that you you can't easily take ownership of an existing buffer and treat it as this string type. string s; char some_buf[]; string_take(&s, some_buf, some_capacity); Also you would of course never dynamical
14.
by mh7 4y ago
It's reserved in the same sense that google's style guide 'reserves' struct names starting with a capital letter. Only ISO C can officially reserve names, everyone else just has their personal code/naming style that
15.
by mh7 4y ago
>These things require access to accurate and up-to-date road and traffic info Which they will probably steal from the regular drivers, so you will be effectively paying for your own data.
16.
by mh7 4y ago
Well not even Windows can manage to sleep a 'modern standby' laptop reliably these days. I had to set hibernate on lid-close because Windows kept waking it up all the time even while closed.
17.
by mh7 4y ago
Nope, not even formal proofs can save you, see WPA2/KRACK. Using proofs just shifts the bugs into the assumptions/axioms (i.e you think your proof is proving X but it's actually proving Y)
18.
by mh7 4y ago
>equivalent windfarm (at $1.3M/MW) Does that include storage costs? Because a windfarm alone cannot replace a nuclear power plant no matter how cheaper or how much electricity the windturbines generate because on days without wind t
19.
by mh7 4y ago
>Nowadays, I don't want to fiddle with Windows (which insists on forcing updates when I do power my PC up to play with friends) Unfortunately consoles have become normal PCs in this regard - if you wanna play online you'll be f
20.
by mh7 4y ago
>If LLVM were written in Rust it would have function level parallel compilation already No one is stopping anyone from writing a compiler backend/optimizer in rust, yet it hasn't happened.
21.
by mh7 4y ago
A real terminal or a fake one drawn ontop of a gui emulating deacades old cruft? Complete madness and inefficiency.
22.
by mh7 4y ago
You don't know what the function called "add" does either. There's no reason for the name "+" to be anymore special than "add" - especially in any language supporting unicode identifiers which allows
23.
by mh7 4y ago
Grocery stores can ban me for life - which means I starve.
24.
by mh7 4y ago
No, nothing breaks with unsigned integers. Modular arithmetic makes it work. Try a few examples close to UINT_MAX if you want to convince yourself.
25.
by mh7 4y ago
Why do so many people use the head==tail as full condition? You can use the entire buffer and not waste one slot by doing: push: buf[writeidx % bufsize] = x; writeidx++; pop: x = buf[readidx % bufsize]; readidx++; Unsigned integers, you get
26.
by mh7 4y ago
rust doesn't offer much value for embedded (mcu, bare metal, tiny stuff) imo. No allocation = no leaks, no use after free, no dangling pointers. No multi core = no atomics or concurrency to worry about. Ring buffers solve 99% of my int
27.
by mh7 4y ago
A classic example is when you're writing a custom allocator and need to align the address. Another is storing pointers in a hash table - you need to do arithmetic on the pointer bits to compute the hash.
28.
by mh7 5y ago
One can be fundamentally mistaken about what "it says on the box" See WPA2/KRACK for example. It becomes an infinite recursion of "how do we know the proof of the proof of the..." is what we actually want?
29.
by mh7 5y ago
Neither rust or go have a formally verified compiler, they cannot be used for security critical programming.
30.
by mh7 5y ago
Net negative. Gets us on the path to more worlds.

More ›