nynx

51 ms·

601.
by nynx 6y ago
People who use dynamically-typed languages are finally realizing that having to simulate a type-checker mentally is a bad idea. Also, many statically-typed languages do not take advantage of the flexibility a good type-system can provide. F
602.
by nynx 6y ago
That apartment building is terrifically ugly, and I'm not sure who anyone young in Florida would move anywhere but outside of Florida.
603.
by nynx 6y ago
Oh, rust already has that.
604.
by nynx 6y ago
Could you elaborate on what this is, exactly?
605.
by nynx 6y ago
I'm not sure there's an up-to-date RFC, but here's what it looks like: https://doc.rust-lang.org/nightly/std/boxed/struct.Box.html#...
606.
by nynx 6y ago
Rust is also getting configurable allocators soon. Most standard collections will take an additional, optional allocator. There are also a few people who want to rethink the design of allocators to allow for inline storage. It definitely so
607.
by nynx 6y ago
I'm building a super inexpensive atomic force microscope with cheap quartz tuning forks and hobby fgpas.
608.
by nynx 6y ago
Riscv is also fixed-width, at least to the same level as aarc64.
609.
by nynx 6y ago
While it's probably true that a full gui ecosystem could be built on top of wasi+webgpu+windowing, it would mean that programs would often reinvent the wheel. Perhaps that's not a bad thing. Speaking of moving complexity into sand
610.
by nynx 6y ago
Perhaps it's time to revisit jit extensions for webassembly [0]. [0]: https://github.com/WebAssembly/design/blob/master/FutureFeat...
611.
by nynx 6y ago
A significant point of wasm is runtime-independence. If a runtime implements the right apis, any wasm module that uses them should be able to run (performance aside).
612.
by nynx 6y ago
Oh, you're probably right there. Is that metric or imperial 0603? Anyhow, if it could be shrunk, presumably it could be packaged efficiently. A room sized computer, but with a billion memristors might be worth it.
613.
by nynx 6y ago
I wonder how small this could get. If it could be shrunk to fit in, say, a 0603, you could fit a million of these on a decently-small pcb. And case of those could have a billion memristors.
614.
by nynx 6y ago
Ah, my mistake. Thank you for the correction.
615.
by nynx 6y ago
LLVM's support for this is bugged, so rust does not currently take (edit: full) advantage of it.
616.
by nynx 6y ago
The fastest n-body program is written in very idiomatic rust. https://benchmarksgame-team.pages.debian.net/benchmarksgame/...
617.
by nynx 6y ago
This is exciting! Would be cool if it could access some sort of gpio as well!
618.
by nynx 6y ago
There are some very clever concepts in Zig (I like the fact that types are compile time values), but the language doesn't seem to be as carefully designed as some others. For example, for-loops only work on a few, blessed types.
619.
by nynx 6y ago
Jim Keller is obviously extremely intelligent, but it's also in his best interest (at least it was at the time when he made his most recent comments about Moore's law) that people think Moore's law is still in full-force.
620.
by nynx 6y ago
The negative index thing has been extremely useful for me when using nmigen, an HDL based on python. I wish more languages supported it.
621.
by nynx 6y ago
This is absolutely infuriating. Something is rotten in the state of the United States.
622.
by nynx 6y ago
Yeah, I think whether extraction was possible was up in the air. I believe it mentioned that quantum RAM could let you store that data and operate upon it.
623.
by nynx 6y ago
I remember reading a paper somewhere (can't find it now) on how it should be possible to compress N bits of data into log2(N) qubits. This would be utterly transformative since you could then compress basically any amount of data into
624.
by nynx 6y ago
Can we change this to link to the rendered copy? https://github.com/Mark-Simulacrum/rfcs/blob/roadmap-2021/te...
625.
by nynx 6y ago
While I'm not sure what group ran the survey, the person who posted this on hn (steveklabnik) is a major reason for the success of Rust's community, which is likely a significant contribution to Rust's success as a whole.
626.
by nynx 6y ago
Honestly, I think a large barrier here is there's no pre-existing platform yet. When developing an application for a computer with a regular screen, you have all sorts of supporting software (e.g. window managers, browsers, ui framewor
627.
by nynx 6y ago
Ha! I'd love if a big game like this had Shenzhen I/O style hacking.
628.
Mill Computing(millcomputing.com)
1 points by nynx 6y ago|0 comments
629.
by nynx 6y ago
Thank you! I'm pursuing engineering science. Until recently, I wasn't sure what I wanted to go into... but now I think I know.
630.
by nynx 6y ago
They certainly don't haha. Chrome hasn't even allowed running flash for years without changing default settings.

More ›