sullyj3 (u/sullyj3) - Readit News

sullyj3 commented on Why Algebraic Effects? antelang.org/blog/why_eff... · Posted by u/jiggawatts

threeseed · 7 months ago

But in the research languages listed they still are colouring function types.

So it doesn't seem to matter whether it's a library or in the language.

Either everything is an effect. Or you have to deal with two worlds of code: effects and non-effects.

sullyj3 · 7 months ago

Functions can be polymorphic in their effectfulness, so the coloring problem isn't. Functions only become incompatible where you've made them incompatible on purpose - the whole point of annotating functions' effectfulness is to statically know you're not accidentally invoking particular effects where you promised you wouldn't.

sullyj3 commented on Fold-... and Monoids funcall.blogspot.com/2025... · Posted by u/ykm

noelwelsh · a year ago

Dynamic programming is often (always?) structured as a monoid, and that's the kind of thing that shows up in leetcode.

sullyj3 · a year ago

Can you elaborate or point to resources?

sullyj3 commented on Training LLMs to Reason in a Continuous Latent Space arxiv.org/abs/2412.06769... · Posted by u/omarsar

aithrowawaycomm · a year ago

Dogs are highly intelligent, and it makes no sense to say that they get their intelligence by calculating the probabilities between consecutive woofs.

sullyj3 · a year ago

That only shows that word prediction isn't necessary, not that it's insufficient

sullyj3 commented on Show HN: Shpool, a Lightweight Tmux Alternative github.com/shell-pool/shp... · Posted by u/ethanpailes

beryilma · 2 years ago

How could this be a tmux alternative if it only provides session persistence? I use tmux mostly for layout (tiles, multiple windows, etc.) and not for session persistence necessarily. I don't know if this is why other people also use tmux, but I am not sure if "alternative" is the right word here.

sullyj3 · 2 years ago

It could be a tmux alternative if the session persistence is the only feature of tmux you care about, and you don't like the rest of it.

sullyj3 commented on Leaving Rust gamedev after 3 years loglog.games/blog/leaving... · Posted by u/darthdeus

gpm · 2 years ago

I know rust, I don't know game development (I've dabbled slightly). If I choose to build a game I either need to make it work in rust* or I need to learn a new language (Unity -> C#, Unreal -> blueprints, Godot -> gdscript).

So your advice to "just use Unity/Unreal/Godot" is the opposite of your advice "you should stick with what you know" in my case. I suspect the former is good advice, and the latter is therefore wrong.

* For the sake of argument, we can pretend I only know rust. In reality I know a fair number of other languages as well, but the list doesn't happen to include C# or "random game engine specific scripting language", which seems to be the options if we're going with an established engine for big 3d games.

sullyj3 · 2 years ago

Learning a new language is basically trivial relative to the effort of bootstrapping everything yourself to compensate for a lacking ecosystem, or the effort of banging your head against the fundamental unsuitability of a tool for a job.

Anyone who's learned one or two languages should be able to pick up the basics of any of the standard ones pretty much instantaneously.

sullyj3 commented on Leaving Rust gamedev after 3 years loglog.games/blog/leaving... · Posted by u/darthdeus

metaltyphoon · 2 years ago

The do it because the first one sucked ass and the second is a huge improvement but you still have to support the old way.

sullyj3 · 2 years ago

Which is which and why?

sullyj3 commented on Inside the proton, the ‘most complicated thing you could possibly imagine’ quantamagazine.org/inside... · Posted by u/MetallicCloud

hansbo · 2 years ago

I am reading this as "it has to be this way, or the model does not hold", but it does not explain why. What causes it? Consistency of a model cannot be the ultimate reason, right?

sullyj3 · 2 years ago

Whenever you're asking for an explanation this deep in the ontology stack, you need to think about what kind of explanation would be satisfying to you, and whether you can reasonably expect intuitive answers in domains that lie far outside of your everyday experience. Human brains aren't built to grasp this stuff intuitively.

At a certain point, the reason we like some particular wacky physical model is always going to be "it has the best combination of explanatory power and simplicity"

sullyj3 commented on Advent of Code 2023's new AI/LLM Policy adventofcode.com/about#ai... · Posted by u/eddtries

sullyj3 · 2 years ago

Why not just make a separate leaderboard for autonomous AI solvers which are an interesting problem in their own right?