echo 2 | sudo tee /proc/sys/vm/overcommit_memory

https://www.kernel.org/doc/html/latest/mm/overcommit-account...

Hiphop made using samples a fashion. You can think of it as choosing to restrict one's in order to explore something deeper, like a painter deciding to paint with only two pigments to exercise their skills at shading at patterning. Or you can think of it as a cheap way to make demo tracks in your bedroom.

If you want to find actually creative things, look outside of mainstream, Disney, etc.

I'll leave you with this link. You tell me if you think it is just a remix of something earlier:

https://www.youtube.com/watch?v=hWUiLJnEYJI

Huh? That joke repo seemed to ride on https://github.com/rust-lang/rust/issues/25860 which is certainly considered a bug.

Here's an actually useful list of known soundness issues, all of which are bugs waiting to be fixed, no stupid snark needed: https://github.com/rust-lang/rust/issues?q=state%3Aopen%20la...

A couple of examples, in a rough order of approachability by a working programmer:

https://github.com/model-checking/kani

https://github.com/flux-rs/flux

https://github.com/viperproject/prusti-dev

https://creusot.rs/

I really wish one of these projects overcomes its academic origins and becomes a software development tool. Kani is closest to that pragmatism, but correspondingly its theory side is not quite as powerful -- though it's been getting new features that make real code easier to deal with, earlier when I played with it it could only reason about very simple functions. Flux also looked surprisingly approachable, but I haven't used it in anger yet.

There's hope that Rust will include language-level conventions for expressing contracts that all these tools can then take advantage of, because e.g. a `verus! {}` macro wrapping everything was never gonna be a viable way forward, and hopefully this will also gives us a syntax that looks like programming not math (I'm looking at you, Creusot): https://github.com/rust-lang/rust/issues/128044

The LLM inference process can be 100% deterministic but the weights can still make the end result quite chaotic. Just because temperature>0 improves results doesn't mean its an innate part of the mechanism. Just because scale-out architectures introduce jitter in communication doesn't mean that's an innate part of the mechanism.

https://news.ycombinator.com/item?id=49302135

polishes ex-Debian Developer badge

If a state decided to make trampolines illegal (sale, use and manufacture), it would suck to own a trampoline factory in that state. That's still not a nationwide ban.

https://en.wikipedia.org/wiki/Kidd_v._Pearson

> Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software *without restriction*, [...]

Yes, it's mighty inconvenient to have an office in a state that thinks your business activity is illegal. Maybe don't do that.

> preliminarily and permanently enjoining Respondent and its principals, agents, and employees from:

> a. operating an unlawful gambling business, or otherwise advancing gambling activity or profiting from gambling activity, within or from New York or to persons in New York, [...]

So this claim from GP still looks incorrect:

> 2. The State of NY files for a temporary restraining order requiring Kalshi to halt trading nationally, not just in NY.

> None of those organizations have been charged with any crimes.