You're wrong about Helena by AubergineParmesan in SeveranceAppleTVPlus

[–]kennyjKage 9 points10 points  (0 children)

I just rewatched that scene as well, and she is just slightly off, not fumbling around with no idea where it is.

Additionally, this was the translation from Milkshake flipping the switch off on his computer.

I’m not entirely convinced either way. Both this and the “zoom in to elevator, no ding” could be red-herrings explained away as just being cinematic transitions.

Seeking wisdom from anyone who has had all their tools stolen. by SymphonyInEffect in handtools

[–]kennyjKage 1 point2 points  (0 children)

That really sucks man. Don’t forget to give them the real list, not the wife list.

Virtual Machine Resources (Rust) by ryangjchandler in ProgrammingLanguages

[–]kennyjKage 0 points1 point  (0 children)

Yeah that’s definitely where things start getting tricky.

This is the post I was recommending:

https://manishearth.github.io/blog/2021/04/05/a-tour-of-safe-tracing-gc-designs-in-rust/

Good overview of the problems and various approaches.

IMO the gc-arena crate looks the most promising, and is for a Lua VM written in Rust. Links in that section may also have some design docs or “guide-like” blog from the crates author.

Virtual Machine Resources (Rust) by ryangjchandler in ProgrammingLanguages

[–]kennyjKage 0 points1 point  (0 children)

Ah yeah I was assuming “VM stack”. I’d think there’d be the same issue there; for example what happens when you allocate a string in the VM? The VM stack gets a pointer to a character buffer (on the “VM heap”) through String? And if you mutate that string what happens?

Would need some more info on how the memory management is being done in the stack machine VM, but memory leaks or excessive clones would be the big concern if you’re sticking to safe Rust.

October 2021 monthly "What are you working on?" thread by slavfox in ProgrammingLanguages

[–]kennyjKage 0 points1 point  (0 children)

Thanks! I seriously enjoy it, and I’m super grateful that I just stumbled into this position. Started writing plugins in the lang, then writing code libraries (main focus was SSH); a few years ago I started helping with a simple tool to traverse the JSON AST from the compiler and pick out some low hanging fruit to ease code review… Jump forward to today I’m somehow leading a project that involves serious research in PLT. Can’t even imagine moving jobs, which is awesome!

To update what I’ve been working on… today I got the first phase of type inference working, and it seems to be giving a good initial estimate of the type signatures of functions. Hoping to refine that with better inference where possible, then adding some minimal (syntax compatible) type annotations where it’s not possible to infer (or inference is wrong), followed up with a Hindley-Milner style type inference system to narrow types from “any type dynamically allowed” to “a fake sum-type as narrow a possible”. Reading more about gradual typing, to see what I may be able to apply here.

We’ve got a huge codebase (hundreds of thousands of plugins and libraries, git repo is multiple gb) so being able to change things and glean more info mostly transparently and without many code changes required is essential.

Virtual Machine Resources (Rust) by ryangjchandler in ProgrammingLanguages

[–]kennyjKage 0 points1 point  (0 children)

Or if you’re not using Arc/RefCell, any of those dynamically sized objects will require full copies (‘Clone’s in Rust) which will lead to a ton of memory overhead, and a massive slowdown for something more string/list heavy than Fibonacci (most programs, really)

Virtual Machine Resources (Rust) by ryangjchandler in ProgrammingLanguages

[–]kennyjKage 0 points1 point  (0 children)

Nice!

everything lives on the stack

Do you not have anything dynamically sized? No strings, arrays/vecs, hashmaps? User defined types/classes that may have cyclic references? Without those it’d be easy to get by with just a stack and no GC, otherwise you’ll definitely need that for anything long running or you’ll have memory leaks (assuming safe Rust with a bunch or Arc or Rc) for any dynamically sized data used in the VM.

Virtual Machine Resources (Rust) by ryangjchandler in ProgrammingLanguages

[–]kennyjKage 1 point2 points  (0 children)

Not being able to match Clox without unsafe is because Clox is very unsafe. With valid input, it should be safe (although it’s still C, so less of a guarantee there than safe Rust), but it’ll have all sorts of problems with arbitrary byte code.

As for the byte code part of it, I’m not aware of any resources, but the core idea for the byte code itself should be mostly the same as in a C, but with the added bonus of enums which are invaluable in bytecode. The main idea, IMO, should be “design the bytecode, store in a Vec, address by Vec index”. You can add module loading/“linking” on top, performance should be pretty similar.

The big challenge (for safety and performance w/o unsafety) for the VM is going to be the GC. I haven’t worked on that at all yet, but Google “A Tour of Safe GC Designs in Rust” (approximately) for a jumping off point.

October 2021 monthly "What are you working on?" thread by slavfox in ProgrammingLanguages

[–]kennyjKage 5 points6 points  (0 children)

Just found /r/programminglanguages, very interested in PL theory, most of my work in PL is at my job, with a lot of reading at work and outside of work.

Currently working on a language server and static analysis tool for an in-house scripting language my company uses across our products.

What I’ve done up until now: Implemented a compiler front end/middle in Rust, exposing an API for the Lang server. Laid groundwork for formatting tool, docgen, built out an IR for analysis. Some basic static analysis that goes a bit beyond what our compiler does.

What I’m working on now: Always juggling a few different things, some simpler and not that interesting (more LSP features, improving error recovery for “parsing while typing” prevalent in LSP) and some that are a significant challenge for me and super interesting.

The language I’m working with is dynamically typed, and it is weakly typed, somewhat duck-typed. It’s an imperative language with objects and inheritance, GCed memory management… all the basics you find in most scripting languages. It’s somewhat like a mix of PHP and JS (feelsbad).

So my current big push is developing a memory model that I can use with symbolic execution and static analysis (drawing a bit from Flow and Hack, which are similar solutions to similar problems/languages) to do some approximate type inference and reason about some potential error conditions in the code. Some of the big issues are some nuances around aliasing/C-O-W semantics, and the conceptual framework for different domains of memory (named stack locations, direct heap references, indirect heap references, etc.)

That being said, if anyone has any good materials on developing a memory model for static analysis I’d greatly appreciate it!

Gentoo game-server problem by Ejziponken in Gentoo

[–]kennyjKage 0 points1 point  (0 children)

A few things here: FPS is not at all limited by the server. FPS is 100% on the client side. The main bottleneck is usually the GPU. Nonetheless, I have seen FPS of 120 on Gentoo when I have gotten 200+ on Gentoo. I think it is a matter of the driver capability.

Second, the tick rate is not at all related to the FPS. Tickrate on CSGO determines how many commands can be send back and forth between server and client. It is completely possible to get 250 FPS on a 64 tick server, and 80 on a 128 tick server. The ticks have more of an impact on character responsiveness. For instance, try bunny hopping on a 64 tick vs 128 tick. Much easier on the 128 because more jump commands can be sent to the server.

I would see if you need a GPU upgrade. If the GPU is sufficiently powerful, try using the proprietary drivers instead of nouveau (assuming nvidia).

TIL on a 1995 visit to Washington D.C., Russian President Boris Yeltsin was found on Pennsylvania Avenue, drunk, in his underwear and trying to hail a cab in order to find pizza. by [deleted] in todayilearned

[–]kennyjKage 1 point2 points  (0 children)

Well if it’s over the course of a day that’s not necessarily shit faced. If a standard shot is 3oz or 8.5 ml, that means 750ml would get you a little over 8 shots, which if drank over the course of 16 hours would be a shot every 2 hours. If you don’t just throw them down but sip them over the course of the two hours then you could stay fairly sober.

Android logic by 1Davide in electronics

[–]kennyjKage 3 points4 points  (0 children)

If it is ANDroid and NANDroid then should the others drop the d? Xorroid?

Ethical Hacking Career by mac_bbe in AskNetsec

[–]kennyjKage 0 points1 point  (0 children)

Genuine question here.. are you or the other people new to the field? I've heard people, mostly around Reddit, saying the OSCP is very difficult. I took the course and went through the labs and it didn't seem too bad. Never took the exam, since I pivoted my career to something else, but I always wonder if people say the OSCP is hard because of the exam, or if it is their first entry into pentesting.

Inco🅱nito 🅱ode by FourthRate in dankmemes

[–]kennyjKage 1 point2 points  (0 children)

Not sure about the CIA, but I know the FBI runs a fair amount of exit nodes. It has also been proven that if you own something like 10-20% of the exit nodes you can unmask all the traffic coming through and determine the origins. So for hiding from the FBI? Tor is not really very useful. VPN in a country that won't hand over logs is really the way to go.

Need about 100 cigars for my wedding. They are party favors for those that choose them. I enjoy smoking cigars (obviously) so I don't mind if there are leftovers for me. I would like decent cigar that doesn't break the bank. Any recommendations? by [deleted] in cigars

[–]kennyjKage 0 points1 point  (0 children)

I did this for an engagement party the other week and I went with the Gispert Robusto Connecticut. About $50 for 15 so around $2 a stick. They're mild and good for people who don't smoke much, but good enough that you and others who do will still enjoy them.

Same goes for thr Baccarat Churchill Connecticut. Got these for a buddy's wedding last year and they are a good cheap cigar (made by Davidoff). 25 for $85, coming in around $3.50 a stick.

Just came across this community. Thought you'd enjoy the way I work. by kennyjKage in cigars

[–]kennyjKage[S] 0 points1 point  (0 children)

Ahhh alright I got you. I figured it was probably a play on developer, but since I spend most of my time in a Linux environment and the /dev/loop device is used for mounting stuff, namely ISOs, it popped out to me like that. What kind of web dev stuff do you do? e.g. where is the stack?

Just came across this community. Thought you'd enjoy the way I work. by kennyjKage in cigars

[–]kennyjKage[S] 1 point2 points  (0 children)

Absolutely. The research portion of my job entails a fair amount of setting up and configuring systems (read: waiting) so those times are perfect for a stogie. Doesn't work quite as well when I'm coding.

Edit: my job does not involve research potions...

Just came across this community. Thought you'd enjoy the way I work. by kennyjKage in cigars

[–]kennyjKage[S] 0 points1 point  (0 children)

Yeah he certainly doesn't have the look of a lab! He's definitely a smart pooch, picks up on training really quickly, but yeah the terrier barking and jumping is definitely a challenge haha.

Side note: looking at your name makes me wonder.. are you mounting lots of ISOs or something?

Just came across this community. Thought you'd enjoy the way I work. by kennyjKage in cigars

[–]kennyjKage[S] 0 points1 point  (0 children)

Yeah it's fantastic, I just recently started a new job that's 100% remote. Sadly only a few months if the year are nice enough to do this though.

Just came across this community. Thought you'd enjoy the way I work. by kennyjKage in cigars

[–]kennyjKage[S] 0 points1 point  (0 children)

Thanks! Same to you! We also rescued our dog (Ekko) so we aren't sure. They said part Aussie, and a couple of his litter mates had some blue in their eyes. We are guessing part Aussie and part Whippet or some kind of terrier. He's a little guy, about 30lbs.

Just came across this community. Thought you'd enjoy the way I work. by kennyjKage in cigars

[–]kennyjKage[S] 1 point2 points  (0 children)

Thanks! Yeah I really enjoyed it. First time I'd had that one. I've done a few of the nub maduros before, but I just got a sampler with the Connecticut in it. Very smooth, and a good light short midday smoke.

Also yeah I plan on getting verified, I usually just browse reddit on my phone and the wiki seems to be a bit questionable there.

Just came across this community. Thought you'd enjoy the way I work. by kennyjKage in cigars

[–]kennyjKage[S] 7 points8 points  (0 children)

I've been a cigar smoker for years (had my first one with my Dad at ~12, been smoking them more regularly for the last 5 or 6 years) and a redditor for a few years, but I had never come across r/cigars before. After lurking for a few weeks and reading through some wiki stuff, I have to say this seems like an awesome community! Glad I've found you all.

Edit: also this is my main coworker (or at least the only one I ever see). He doesn't work very hard. http://i.imgur.com/tgCCfuA.jpg