remexre

9 ms·

91.
by remexre 2y ago
It'd be interesting to see a benchmark for what the total overhead is for Rust->WASM->Chicory AoT->native-image versus native Rust; I've been pleasantly surprised by the JVM in the past, so I'd hope it'd be a re
92.
by remexre 2y ago
Though, the algorithm might plausibly evolve it if it were trained in a more hostile environment.
93.
by remexre 2y ago
That's still based on optimism (i.e., needs to be adjusted for risk), though; if the technology will massively increase productivity, the ratio should correct once those benefits start to be realized. It seems like "many market pa
94.
by remexre 2y ago
Shouldn't those things increase GDP as well?
95.
by remexre 2y ago
I suspect gcc-rs will be in good working order for a few years before any kernel subsystems require a Rust compiler to build; if the legacy system can't run a recent GCC, why does it need a much-newer kernel? (e.g., how would it cope w
96.
by remexre 2y ago
Imports?
97.
by remexre 2y ago
Aren't they calling C++ functions via LLVM? Their implementation language shouldn't affect their ability to _generate_ code that uses the C++ ABI.
98.
by remexre 2y ago
I thought Clojure already had JVM interop?
99.
Catgrad: A categorical deep learning compiler(catgrad.com)
77 points by remexre 2y ago|16 comments
100.
by remexre 2y ago
That relies on whoever's defining the Writer knowing every implementation of Writer in existence though, right? Same reason why Rust has both enums and trait objects; it's the expression problem.
101.
by remexre 2y ago
I'm not certain how much influence Mao had in 1015 AD. Well, that's not true, I'm fairly certain the quantity is zero.
102.
by remexre 2y ago
If an object is a RAII container though, shouldn't moving transfer the ownership of the contents to the destination? Otherwise there's no way to increase the lifetime of the contents.
103.
by remexre 2y ago
...Intel Core 2 -level desktop performance? Also, I'd imagine you'd want the Ztso extension to port PC games, assuming you mean Rosetta-style instruction translation rather than "somehow get the source and port the engine and
104.
by remexre 2y ago
I work on compilers. A friend of mine works on webapps. I've seen Cursor give him lots of useful code, but it's never been particularly useful on any of the code of mine that I've tried it on. It seems very logical to me that
105.
by remexre 2y ago
This same problem applies to RISC-V with the C extension, because the J and JAL instructions have a larger range than the C.J and C.JAL instructions.
106.
Clang now more aggressively uses undefined behavior on pointer addition overflow(github.com)
4 points by remexre 2y ago|1 comments
107.
The Open Source Evolvable Hardware Project(evolvablehardware.org)
2 points by remexre 2y ago|0 comments
108.
by remexre 2y ago
https://github.com/OpenXiangShan/XiangShan-doc/blob/main/doc... The list of fused instructions is kinda weird; besides the ones that correspond to SH{1,2,3,4}ADD anyway, I don't think I expected any
109.
by remexre 2y ago
I think Console is as in XBox or PlayStation, not as in the kind of application.
110.
by remexre 2y ago
the 80286 has its own problems/inessential complexity if you look at this from the riscv angle, moving from "u-mode only vm that doesn't use paging under the hood" to "u+s-mode vm with sv39" isn't an enorm
111.
by remexre 2y ago
It's also really helpful with defunctionalization; search "defunctionalize the continuation" for stuff on that
112.
The Rocq Prover(rocq-prover.org)
4 points by remexre 2y ago|0 comments
113.
by remexre 2y ago
The case that comes most to mind for that in Rust is https://doc.rust-lang.org/std/primitive.slice.html#method.bi...
114.
by remexre 2y ago
Does the glibc clone wrapper not already do this?
115.
by remexre 2y ago
Is that language a Forth dialect by any chance?
116.
by remexre 2y ago
ILP goes back to the 80s, and was used to do drug discovery in the 90s. Bayes nets go back to the 80s as well.
117.
by remexre 2y ago
Other than the kernel (and probably some firmware?), what updates require a reboot these days?
118.
by remexre 2y ago
This is Map as in Data.Map.Map, not as in Data.Functor.fmap.
119.
by remexre 2y ago
i agree an autoformatter alleviates the let decl/expr in practice, especially for an experienced user; an autoformatter also fixes nested matches too ime. however, my university has a mandatory class taught in ocaml, which i've ta
120.
by remexre 2y ago
(5GiB / 1TiB) * 4KiB to bits ((5 gibibytes) / (1 tebibyte)) × (4 kibibytes) = 160 bits

More ›