LightMachine

6 ms·

121.
by LightMachine 3y ago
TBH, I'm somewhat of a Bitcoin maximalist too, which is kinda ironic since I hold no BTC; I guess the lack of expressivity of the network counters the big appreciation I have for its stable monetary policy and true decentralization. Th
122.
by LightMachine 3y ago
No, I mean that users should choose whether they use lazy cloning or immutable references when sharing arguments, just like you have the choice for several pointer types in Rust. I don't think compilers should make that decision, since
123.
by LightMachine 3y ago
Predictability is one of the most exciting aspects of HVM, to me. That's because everything is linear, so time and space costs are completely measurable, in a way that resembles C, but even more profoundly. For example, in the followin
124.
by LightMachine 3y ago
I'm working on improving my communication :(
125.
by LightMachine 3y ago
Of course! Let me write a complete overview on the subject. Consider the following program: (Foo a b) = (If a (F b) (G b)) It is easy to note that Foo makes an unnecessary clone of the 'b' variable, since it is used in di
126.
by LightMachine 3y ago
Yes, starting next week or so! We'll be looking for engineers that have skills relevant to our projects, including compilers, low-level assembly optimization, functional programming, type theory, parallel computing, and so on. Right no
127.
by LightMachine 3y ago
Victor here, thanks for the kind words. Regarding issue #60; Short answer: this is true, but isn't a fundamental limitation and will be addressed in the future. Long answer: this was quite a surprise to me back then, as it defies my un
128.
by LightMachine 3y ago
Author here! Thanks for posting :) Just want to make a brief note here that we raised a 4.5m seed round to found a tech startup, the Higher Order Company, to work on the HVM. Our goal is to improve the runtime, the Kind language, and eventu
129.
by LightMachine 4y ago
Well I can't disagree more. I feel like that's the best value I get for $20 among everything I pay, by at least 3 orders of magnitude. This thing does so much for me, I can't live without it anymore. When it is down I just lo
130.
by LightMachine 4y ago
I really wanted an online Pokémon-like experience that didn't require having a console and that didn't suck
131.
by LightMachine 4y ago
Even if that was the case, it'd still be massively useful because it would allow code to be transposed between languages idiomatically. For example, certain things like game engines were only implemented in very messy C++ code. If GPT
132.
by LightMachine 4y ago
I sort of agree, but it still amazes me that it can get the code is correct, even though I asked for a highly specific style (i.e., use of recursion, representing "None" as null, the format of the JSON, making local functions, etc
133.
by LightMachine 4y ago
It managed to write, in one shot, a working λ-calculus parser, using a very specific programming style I asked it in JavaScript, and then translated it all to Python, including sarcastic, rhyming GLaDOS comments. https://twitter.
134.
by LightMachine 4y ago
Can you post your attempts? Would love to see it
135.
by LightMachine 4y ago
Neither a human can solve the halting problem. There is no evidence the brain does anything that a computer can't do.
136.
by LightMachine 4y ago
𝓢𝓲𝓷𝓰𝓾𝓵𝓪𝓻𝓲𝓽𝔂 𝓲𝓼 𝓬𝓸𝓶𝓲𝓷𝓰
137.
by LightMachine 4y ago
No? Order of magnitude conveys the notion of something being 100x bigger, at minimum. A lot can mean much less than that.
138.
Higher Order Company(twitter.com)
1 points by LightMachine 4y ago|0 comments
139.
by LightMachine 4y ago
> If you are falling into despair then it's going to be superdeterminism for you. If you don't believe in fairy tales nor assume the existence of a magic mysterious force named "free will" *
140.
by LightMachine 4y ago
I mean that interpretations have practical implications because they're the only way to find the true laws of physics, which in turn has obviously applications. For example, if you believe in superdeterminism, and you obviously should,
141.
by LightMachine 4y ago
Wait isn't that the common assumption? That the universe is just an algorithm and we're trying to figure which is it?
142.
by LightMachine 4y ago
And it is absurd to say it has no direct practical implications. We still don't know all of physics, and part of the reason is precisely because we're stuck in the wrong mindset regarding how nature works. Only a better insight on
143.
HVM, the parallel runtime: a summary of its history and next steps(twitter.com)
6 points by LightMachine 4y ago|0 comments
144.
by LightMachine 4y ago
So Reddit mods shadow-banned me on /r/cryptocurrency for posting a technology? I wonder why they'd do that.
145.
by LightMachine 4y ago
Well, I didn't think about that possibility. Perhaps that's what happened, yes. But why not just remove the post and let me know the reason? This is really sketchy to me. It feels like manipulation, but perhaps I'm being unfa
146.
by LightMachine 4y ago
Kindelia is a p2p decentralized computer I'm building. It is essentially a massively distilled version of Ethereum. It is massively simpler (<10k LOC), more efficient (up to 867x more SSTORE/second under the same usage level),
147.
/r/cryptocurrency mods shadow-banned me for posting Kindelia's whitepaper(old.reddit.com)
10 points by LightMachine 4y ago|8 comments
148.
by LightMachine 4y ago
You can have virtual game worlds (like a MMORPG) that can't ever be turned off, by nobody. That means your items will last forever. 50 years from now, your sword will still be on your backpack. Can't say that for company-hosted MM
149.
by LightMachine 5y ago
> Whenever Ruby throws, it allocates 10k of memory and fills it with all sorts of information for debugging - including a full stack trace. And it was doing this work in the background every time someone iterated through an array. Jesus
150.
by LightMachine 5y ago
They're inexcusably awful. I still don't know why it is like that. Haskell gets hard things right and easy things terribly wrong.

More ›