xorvoid

9 ms·

91.
by xorvoid 2y ago
Subtly different. Originally I didn’t have ^a, but you do in-fact need it. ^a means “push with no evaluation” and (a) means “build a closure” that computes a”. If you push, pop, push, pop, push repeatedly you’ll be wrapping the value in lot
92.
by xorvoid 2y ago
Addition can be implemented as: (0 swap - -) $+ Division is much harder, but doable also. Generally Forsp in the camp of minimalist languages so minimizing the number of primitives seemed more interesting. If you want to play around yoursel
93.
by xorvoid 2y ago
Also thanks for sharing; looks interesting. I’ll read this when I have time and re-comment then. Off the bat: Forsp variables are definitely not linear.
94.
by xorvoid 2y ago
A friend mentioned RPL, but that didn’t seem to even have first-class functions… unless I’m mistaken?
95.
Forsp: A Forth+Lisp Hybrid Lambda Calculus Language(xorvoid.com)
228 points by xorvoid 2y ago|104 comments
96.
by xorvoid 2y ago
Why does the intersection of “being into Jesus” and “being into money” always seem so correlated with “fraudster”?
97.
by xorvoid 2y ago
We graded similarly, incidentally, when I was at U-of-M (lol). I don’t think we ever sorted by name so I don’t know if we’d have a bias effect by name unless it’s an implicit bias towards lexicographical esthetics. I won’t deny that grading
98.
by xorvoid 2y ago
I think it’s about finding a strategy that works for you. Ultimately it’s about the calorie deficit but you need to find strategies that make you comfortable with the deficit. A one size fits all solution never works. I lost a lot of weight
99.
by xorvoid 2y ago
Depends what language you're using and what polymorphism features it has... C - You don't use inheritance because it literal has none, but you can handroll dynamic dispatch (interface style Abstract Base Classes) Rust - Also doesn
100.
by xorvoid 2y ago
I agree that x86 is a terrible choice, but I think there might be middle-ground found in a simplified RISC-V or ARM.
101.
by xorvoid 2y ago
Excellent interview. Great contrast to the NYT article they start talking about. Evidence that we really need more tech experts that get into journalism and have the capability to conduct quality interviews. Bryan Cantrill is a good intervi
102.
by xorvoid 3y ago
You don’t have to like the protagonist to enjoy the story. Who said the protagonist had to be the “good guy”. And he makes no claims to be.
103.
by xorvoid 3y ago
Maybe I’m just being naive or too trusting, but this is sort of what I think when folks are getting worried about other backdoors like this in the wild. Is it that they just got unlucky to get caught, or is this type of attack just too hard
104.
On Garbage Collection(xorvoid.com)
3 points by xorvoid 3y ago|1 comments
105.
by xorvoid 3y ago
Could you expand on how this metric would be practically defined? The problem isn’t lifting to C code, but rather “good C code”. For example you can do a 1-to-1 translation on each assembly instruction to C code that will do the same Machin
106.
by xorvoid 3y ago
As someone who is actively developing a decompiler to reverse engineer old DOS 8086 video games, I'd have a hard time trusting an LLM to do this correctly. My standard is accurate semantics lifting from Machine Code to C. Reversing ass
107.
by xorvoid 3y ago
Fancy Type Systems is indeed vague, but I’d disagree with No in 2024. They are slowly winning. Definitely a Maybe to a Yes. E.g. Rust is hugely popular/successful and has brought a much more sophisticated type system to system programm
108.
by xorvoid 3y ago
The corollary (if you’re cynical) is that you get Massive Credit for waiting to deploy a solution until the problem becomes a Major Crisis. That is, there’s a big incentive to to prepare the solution preemptively but not deploy.
109.
by xorvoid 3y ago
Disingenuous article. Compared against Intel Skylake which was launched in 2015 and discontinued in 2019. Not a fair comparison. There might be a desire to compare to an existing cluster machine. So, hardware might be dated. Fair. But, it’s
110.
by xorvoid 3y ago
Even better if it built-on-install by executing another script to generate everything (naturally using %) New nerd game: enshitification inverse golf.
111.
by xorvoid 3y ago
Around 2008 when I was starting college, I was really excited about Google and wanted to work there. By 2013 I began to feel like they weren’t the same anymore and no longer interested me. By 2023, I can say that Not pursuing a job at Googl
112.
by xorvoid 3y ago
Somebody with a fine taste in fall beverages gets it! Lol
113.
by xorvoid 3y ago
I thought there were calls to simplify C++? This feels like the opposite direction. I've programmed in C++ for >20 years now and I can't think of a single moment where I would have wanted this feature.
114.
by xorvoid 3y ago
Neat. This is the library I’ve been waiting to see. Rust has some nice potential but big parts of the ecosystem are missing. Now let’s see if it actually gets traction.
115.
by xorvoid 3y ago
“In all modes except for long mode, each segment register holds a selector, which indexes into either the GDT or LDT. That yields a segment descriptor which, among other things, supplies the base address and extent of the segment.” A tad in
116.
by xorvoid 3y ago
That’s a hard question to answer. The question is far too broad. HFT is a combination of lots of things: low-level computer architecture knowledge, hardware engineering, computer networking, numerical computing, machine learning, super-comp
117.
by xorvoid 3y ago
I’m continually struck by how brave Andreas is for talking about his addiction problems out in public. In most every interview he leads with it when he could just easily say a vague: “I found myself with a lot of free time”. Addiction can c
118.
by xorvoid 3y ago
https://www.xorvoid.com I write quirky computer science articles. Usually based on some crazy project often at the intersection of computers and math. Currently working on a series that builds Finite Fields up from scratch step-
119.
by xorvoid 3y ago
This was my first reaction also. I have lost >26 lbs in 3 months. It’s quite doable but you need to be very strict about… your diet. Somebody isn’t telling the entire story.
120.
by xorvoid 3y ago
Love this idea! I've long thought that E-bikes are a gateway-drug to normal bikes and better health. Years ago I had a bad knee injury and for a while I didn't have the range of motion to peddle a normal bike. So I bought an E-bik

More ›