Readit News logoReadit News
grashalm commented on The Rapper 50 Cent, Adjusted for Inflation   50centadjustedforinflatio... · Posted by u/gaws
grashalm · 2 months ago
This is the internet at its best.
grashalm commented on Tetris shows promise in reducing PTSD symptoms   legalreader.com/tetris-ga... · Posted by u/giuliomagnifico
lnxg33k1 · a year ago
I have no PTSD, but I recently lost my job, and while I am looking for another one I decided to use the time off in order to stop smoking, so far it's been a bit more than 3 weeks, and I think it's been the period I've been playing the most videogames since high school, it is really useful to overcome temporary cravings by doing something that doesn't require much mental efforts but still keeps the mind busy to don't think about smoking, every day I am suffering less and less, and I think without videogames it would have been much harder.

Keep in mind, I'm 37 years old and have smoked since I was 13

grashalm · a year ago
That is a great strategy. It gets easier over time though. My tipp is to still join smoking friends, but just don't smoke. Makes you robust against the temptation longer term.
grashalm commented on Bytecode Breakdown: Unraveling Factorio's Lua Security Flaws   memorycorruption.net/post... · Posted by u/memcorruption
miki123211 · a year ago
Lua isn't really sandbox friendly, although that's a common misconception.

Lua (by design) doesn't provide termination guarantees or a good way to force an untrusted program to terminate. If you accept untrusted lua input, be prepared for your program to halt indefinitely.

Lua is great for semi-trusted input, AKA things you download from the internet, where you do a minimal amount of due diligence, but in case the code is actually malicious, you want to severely limit (but not completely eliminate) the harm it can do.

If you actually need Javascript-style completely untrusted input,, what you want is the Roblox fork called Luau[1].

[1] https://luau-lang.org/sandbox

grashalm · a year ago
Any language can be sandboxed on the VM level. It's a property of it's implementation. So you can say that Lua has no sandbox friendly implementation right now.

For example, termination you can solve by unwinding the stack in efficiently polled safepoints. You need to take down the entire sandbox-capable Lua VM instance but you can.

grashalm commented on Writing memory safe JIT compilers   medium.com/graalvm/writin... · Posted by u/vips7L
indolering · 2 years ago
That's the way I have been saying it in my head this whole time! Think you have enough weight with the team to get them to officially change their terminology?
grashalm · 2 years ago
Feel free to drop Dr. Futamura an email: https://fi.ftmr.info/

If he says yes to changing his name you have my full support.

grashalm commented on Writing memory safe JIT compilers   medium.com/graalvm/writin... · Posted by u/vips7L
aardvark179 · 2 years ago
I may have made that verbal slip while giving a talk on Truffle.
grashalm · 2 years ago
I work on Truffle for more than 10 years and I recently wrote a comment on hackernews using Futurama instead of Futamura. That comment had it wrong twice.
grashalm commented on Pkl, a Programming Language for Configuration   pkl-lang.org/blog/introdu... · Posted by u/bioballer
Hixon10 · 2 years ago
Do you know, why they use both ANTLR and Truffle?
grashalm · 2 years ago
Truffle has no opinion on how you parse the sources. It cares about how you execute them from an intermediate Truffle guided representation produced by the parser.

In other words antlr and truffle are a great fit. We even use this pairing for our example language simplelanguage.

https://github.com/graalvm/simplelanguage

grashalm commented on Pkl, a Programming Language for Configuration   pkl-lang.org/blog/introdu... · Posted by u/bioballer
duped · 2 years ago
Those aren't "buzzwords" though, it's a very specific way to implement programming languages. It's not really meaningful except for the PL implementation nerds.

Especially the Futamura projections. It's almost magic and very few people have even heard of them.

grashalm · 2 years ago
Very few people have heard of them. That is exactly the reason why I mention them as often as I can. They are a great entry into the world of meta compilers.
grashalm commented on Pkl, a Programming Language for Configuration   pkl-lang.org/blog/introdu... · Posted by u/bioballer
Alifatisk · 2 years ago
Really? Link?
grashalm · 2 years ago
He probably means one of the wonderfully crafted talks by Chris Seaton.

Here is one of the many: https://youtu.be/bf5pQVgux3c?si=S8Dm5d_GXYXgJtnY

If you go looking for more you will find many more marbles.

u/grashalm

KarmaCake day474July 19, 2016View Original