chc4

20 ms·

241.
by chc4 4y ago
It says that alloc() is O(1) and thus real-time...but then later on says that advance() must be called k times per alloc in order to avoid exhausting the free space while still having work on the gray list. This makes it not quite real-time
242.
by chc4 4y ago
I had a lot of fun going through incredible.pm/ which is gamified writing set theory proofs. Following along with Software Foundations[0] also teaches you how to use the Coq proof assistant and write proofs in it, which I found enterta
243.
by chc4 4y ago
likewise, https://forums.spacebattles.com/ which is a vaguely sister site to SV
244.
by chc4 4y ago
Anything in Go will.
245.
by chc4 4y ago
There was a very popular Twitter account that was tweeting out a similar concept (starting way back in 2015, even!) https://twitter.com/RoboRosewater LoadingReadyRun, a very popular MTG YouTube channel, even did a cube draf
246.
by chc4 4y ago
UMass schools are all pretty good. UMass Lowell is a pretty well regarded engineering school, UMass Amherst is consistently ranked highly nationally, Bridgewater State is a nice liberal arts college, etc. The majority of students in high sc
247.
by chc4 4y ago
I got my current job through an employee referring me from my Who Wants To Be Hired post ~3 years ago.
248.
by chc4 5y ago
Twitter does in fact have that. Settings -> Privacy and Safety -> Mute and Block -> Muted words
249.
by chc4 5y ago
I'm not sure what you mean; it is documented in the Intel instruction set reference that IRET is a serializing instruction. It is not only the case that it happens to appear that way due to stores by chance always being retired before
250.
by chc4 5y ago
For the record: Returning from an interrupt is fully serializing on x86, which I believe means that all modern operating systems on x86 will handle this properly. https://pvk.ca/Blog/2019/01/09/preemption
251.
by chc4 5y ago
I currently work part-time only (20hrs/wk) at my current company, with a corresponding pay cut. If I were looking for a new job I would primarily be looking for similar roles.
252.
by chc4 5y ago
There is WebTorrent, which uses WebRTC. instant.io uses it for file sharing, for example.
253.
by chc4 5y ago
I go into a bit in https://github.com/chc4/lineiform/issues/19 , but it's less a problem with its optimizer and more a problem with its IR constraints. Cranelift specifically has some rules about `iflags`
254.
by chc4 5y ago
(I'm the author) As part of lifting you convert the x86 instructions into an IR so you can do optimization passes. This is how I was using Cranelift as a codegen backend; there is essentially an abstract interpreter over x86 that feeds
255.
by chc4 5y ago
(I'm the author) Rust closures store a function pointer for the closure body. I'm using yaxpeax, which is a fast x86 disassembler made by one of my friends, in order to turn the function pointer into an x86 instruction stream. The
256.
by chc4 5y ago
Working from home was very bad for both my productivity and my mental health. Going in and seeing coworkers every day as mandatory social interaction is a godsend, and I now know I don't want to work for any company that is 100% WFH. T
257.
by chc4 5y ago
Respectfully, you have no clue what you are talking about and should read https://blog.google/threat-analysis-group/new-campaign-targe...
258.
by chc4 5y ago
Have you ever heard the term "nuclear sponge"? Projections for a nuclear war is that like half of the midwest gets nuked to smithereens in order to hit the silos; it probably doesn't matter much if one is in your backyard or
259.
by chc4 5y ago
Several of my coworkers use it instead of Vim. It seems pretty nice, and I've been tempted to try jumping ship now too.
260.
by chc4 5y ago
Not as a language feature. You can setup your code in a way that will cause LLVM to emit identical output as if you did have computed gotos, but there's no guarantee as to it.
261.
by chc4 5y ago
Yup, https://github.com/chc4/lineiform . It's not usable at all yet - I was building it on top of Cranelift, which turned out to be a fairly bad idea, so I'm going to have to essentially rewrite all of it with
262.
by chc4 5y ago
I started working on a project (meta-JIT framework for Rust interpreters) over a sabbatical a few months ago. I'm going to be switching to half-time at work, and hopefully keep working on that in my free time, along with doing a lot of
263.
by chc4 5y ago
I feel dumb for even having to make this argument, but people can be bad and guilty of other crimes and that doesn't mean they should be found guilty for things unrelated to those other crimes. Everything you listed in this comment is
264.
by chc4 5y ago
Quite a lot of terminal emulators support 24bit TrueColor escape codes, so it might be worth using that along with a color space designed for visual intensity corrolation (there's a lot of study in this for e.g. heatgraphs for maps)
265.
by chc4 5y ago
/r/TheMotte is probably the closest you will find - it's the spin-off subreddit of the SlateStarCodex "Culture War" discussion threads.
266.
by chc4 5y ago
You have to provide a valid credit card in order to sign up for the free account, which probably helps stymie abuse.
267.
by chc4 5y ago
Yes
268.
by chc4 5y ago
Yeah, I signed up specifically to try out the Ampere instances (and when chosing the home region it said x, y, z were at capacity so I chose w), but wasn't able to actually create an Ampere instance because of lack of availability. I e
269.
by chc4 5y ago
Most people's mental model of garbage collection is still just stop-the-world mark-and-sweep, which is extremely old. Game developers hate GC because of impossible to predict or the lack of ability to limit latency pauses eating into t
270.
by chc4 5y ago
All of the math goes over my head, frankly, but one of the cryptocurrencies I'm interested in is implementing something similar to this afaik ( https://minaprotocol.com/ ). They have a recursive zkSNARK scheme for const

More ›