nylonstrung

6 ms·

1.
by nylonstrung 3d ago
Yeah I've been using Ghidira to study the internals of strategy PC games I like and it's an extremely good learning experience given the paucity of OSS code for stuff like this
2.
by nylonstrung 5d ago
IIRC it's 700mb with all deps included, to me that's clear bloat given you could accomplish it with a fraction of that
3.
by nylonstrung 7d ago
The last few months, Reddit has been inundated with Islamophobic and pro-Israel content from young accounts in a way that wasn't visible before It seems very clearly manipulated
4.
by nylonstrung 8d ago
Very cool, I think Lean has incredible power as a declarative config language that hasn't been realized yet. I've been exploring how to use it for system configuration ala Nix
5.
by nylonstrung 15d ago
I'm guessing that Roblox will be responsible for more people learning programming than essentially any other single entity
6.
by nylonstrung 15d ago
Everything touching this ecosystem (Gas Town, Dolt, Beads) seems like the absolute nadir of vibecoded slop This specific community has been a Schelling point for some of the worst engineering practices I've ever seen and a desire to ab
7.
by nylonstrung 15d ago
The 18th century called, they want their Malthusianism back
8.
by nylonstrung 15d ago
> What will happen in the oft-ignored developing world? Did you even read the prompt
9.
by nylonstrung 16d ago
This is cool, I have been working on something similar with Lean4 albiet focused on compiling to Substrait This is pretty well done as well https://github.com/palladin/lean-linq
10.
by nylonstrung 16d ago
This looks great, I'll be excited to see this progressively become pure Zig and drop C++ Would be great to have something like Kontakt without all the cruft
11.
by nylonstrung 21d ago
The next 12 months will see OAI and Anthropic spiral into into increasingly hyperbolic PR stunts, manufactured benchmarks and underhanded attempts at regulatory captures I'm sure they have nothing to rival this on a price/performa
12.
by nylonstrung 23d ago
Greg Egan's 1994 Permutation City actually depicts Malaysia using cloud compute to model cyclones and mitigate them with weather manipulation Very prescient
13.
by nylonstrung 23d ago
What do you think makes it a bad foundation to build on?
14.
by nylonstrung 23d ago
It would be stranger to me that Kimi switched to GLM's tokenizer than that GLM added multimodal like Kimi and Deepseek both did recently
15.
by nylonstrung 24d ago
PRQL is one of the best attempts at a new query language IMO I've been working on a Lean4-based query lang that compiles to substrait, I think the power it has wrt to types and functional programming could improve on SQL ergonomics a g
16.
by nylonstrung 24d ago
I think most of them would have actually failed, it's only recently that models were any good at using tool calls and harnesses after they started post-training for that
17.
by nylonstrung 24d ago
The stealth model "Ox Alpha" has been crushing benchmarks and appears to be the next release in the GLM family
18.
by nylonstrung 25d ago
This project is cringe and I really hope we see less stuff like this
19.
by nylonstrung 25d ago
I'm almost confident the architecture is the result from some kind of pivot from blockchain gaming. Previously they talked about "testnet" and you use "energy credits" to pay for services. They also described aspect
20.
by nylonstrung 29d ago
It's actively unhelpful even for the most "non-technical" of users to further anthropomorphize LLMs and "agentic" workflows that boil down to moving plaintext around The design is cute but this is an abstraction t
21.
by nylonstrung 29d ago
I have no idea how spinning up a MicroVM solves the problems this paper talks about and I doubt you actually have programmed GPU kernels ever
22.
by nylonstrung 29d ago
Well mojo handles it by introducing an additional step of lowering code to MLIR as an intermediate representation. Something that can be done with C++ as well
23.
by nylonstrung 29d ago
I don't disagree but I don't think this one is a reason we should ever restrict or condemn a technology > it is a mirror, and augmentation and reveals really inhuman takes and thought processes from people who are on the longer
24.
by nylonstrung 29d ago
Gemini was a bad choice of example but how would open-weights model one can self-host on their local device be different than the electric motor in your line of thinking
25.
by nylonstrung 29d ago
This doesn't sound like someone who is uninterested in understanding software though, everything they said talks about how they like being able to learn from it. They didn't say anything about making slop or replacing the need for
26.
by nylonstrung 29d ago
Yeah most normies I know who dislike it just generally are not interested in it or think it is dumb and are annoyed by hearing about it so much And the people who actively hate it almost always relate it to a broader pre-existing worldview
27.
by nylonstrung 29d ago
Classifying dense matrix multiplication and autoregression as a munition is equally as dumb as when PGP was classified as one
28.
by nylonstrung 29d ago
Clearly there are people who enjoy the slop though, otherwise it would simply get no engagement and then get hidden by the algo like 99.99% of YT videos
29.
by nylonstrung 29d ago
I do think this is true but I think it also reflects negatively on the general populace that this new technology is evaluated in terms of the negative effects on their consumption pattens Transformer models solved the Protein Folding prob
30.
by nylonstrung 29d ago
I think a lot of what's underlying this is just a big difference in general societal optimism/pessimism In polls 80-90% of Chinese say their country/govt is headed in a positive direction vs <30% in US

More ›