Ooh, so liberals will have the majority, by a wide margin, according to your average election map where Nunavut is worth something like 25%.
11.03.2026 03:41
👍 0
🔁 0
💬 0
📌 0
Ooh, so liberals will have the majority, by a wide margin, according to your average election map where Nunavut is worth something like 25%.
If people want to gamble on something not human controlled like the timing of an earthquake, I'm all for it.
All these "prediction" markets for human influenced events are offering payment to make the thing happen... when making the thing happen would require crime that should be criminal.
I'm surprised and delighted that this is their policy. Paying out if someone died is the equivalent of running a murder for hire service where the people buying "no" contracts are contributing to a communal bounty for the murder of the person.
Kalshi says they are paying out, at the last traded price before his death, as dictated by the terms of the contract web.archive.org/web/20260111.... They pay out the same amount as if they considered this "out", just some to both sides of the market instead of all to one.
After playing this for a bit... I should just sit down at the start and encode math equations shouldn't I?
The hospital I'm waiting in provides the free fun game of "how to bypass a network blocking controlplane.tailscale.com". Turns out
1. They block via SNI
2. Tailscale's servers don't care about SNI
3. Tailscale let's you set your own control plane... to a local proxy that forwards without SNI
That's to a different lawyer representing a different party with common interests. The lawyer who alerted the judge to the fake citations. I think the judge really meant that they presumed there was no issue but wanted to give them a chance to respond to implications by the AI-using lawyer anyways.
Was learning to roll a kayak as a kid at summer camp. Couldn't roll up. Couldn't get the skirt that holds you in to pop off, was probably going to drown. The counselor noticed and rolled me back up by hand. Scary 10 seconds.
A hopefully illuminating nitpick here is that even with a temperature parameter it can be deterministic, because pseudo random number generators are deterministic. Non determinism would have to be deliberately introduced with an actually random seed to make temperature non-deterministic.
Predatory pricing is the act of selling below cost to maintain or establish a monopoly. This is *exactly* what Anthropic would be engaged in if they are selling claude subscriptions (i.e. Claude Code) below cost with regards to the market of AI coding assistants (i.e. Claude Code competitors).
I find the question interesting for what it says about the ethics of Anthropic. Whether/how much they are engaging in predatory pricing to crush competition (which I believe would be illegal in the jurisdiction I live in, one they operate in). I agree that LLMs still have a place at a higher price.
Does "inference is profitable" include "Claude subscriptions are profitable" or only "API pricing is profitable"?
There being no world cup seems like a win for the people boycotting the world cup... Europe in the hypothetical.
Why would Europe care if the US sues FIFA!? Seems like a 2 for 1 fucking with corrupt entities special.
ext4 for the actual home dir, but then with a data dir in my home directory on a separate drive formatted f2fs which holds everything important.
In retrospect f2fs was probably a mistake (from reading about potential issues), but that dir is backed up daily so what's the worst that happens...
I don't have a great answer. I pay attention to github.com/model-checki... creusot's newly announced devlog might be interesting creusot-rs.github.io/devlog/ and then things are just announced in random places like the rust foundation blog... rustfoundation.org/media/expand...
Strange bug of the day: mosh and ratatui fighting... the screen isn't clearing properly, isn't getting filled back in after a clear properly, etc. I've never seen mosh break like this before.
By "correct" I really just mean "prove preconditions imply postconditions", the pre and post conditions being equivalent to correctness is... optional. That's fine, proving properties about code is a very powerful tool for reasoning about it.
I'm hopeful that we get proof based tools for rust that
1. Make it practical to prove code correct (creusot like, polished into a product)
2. Make it easy to prove time and memory usage bounds
2 should be easy to add on once you get 1.
At least a couple of years out though... Maybe more.
In rust land we've seen some support for adding contract terms to functions doc.rust-lang.org/stable/core/... and custom extended languages for creating contracts/logic (not evaluable) functions github.com/creusot-rs/c...
Tweet: If a beautiful woman disagrees with me i will immediately change my views. i have no principles Reply: well maybe you should have some principles Response: you're right maybe i should
What if the children...
Yeah, there's also a 2025 sequel to Bullet Train which I rather enjoyed, the list is definitely incomplete.
I dunno, the premier source for information on hijackings (Hollywood) definitely seems to have more stories about train hijackings than bus hijackings. 18 different documentaries on the subject! www.imdb.com/search/title...
Parents didn't consent - hypo says the FBI broke in to the house.
I just woke up from a nap and somehow while I was asleep, everyone on the bus has figured out we are not going to the right place
I'd enjoy seeing a model answer :)
NAL. First is a statement against party interest (in). Drive comes in because harmless error. Confession probably out, the parents were acting on the governments behalf, and more creatively ineffective assistance of council as the mother gave him legal advice and acted as his lawyer incompetently.
Do those IDs correspond to jj changes?
Looking at docs, I think not... but could they?
New from me: "Rust's Culture of Semantic Precision"
Discussing how Rust devs like to disentangle distinct guarantees and requirements into distinct APIs, and how that's playing out in the Linux kernel.
If I was in US counter intelligence I'd definitely be sponsoring super classified "spontaneous free pizza at work" days.