dgacmu

I woke in the middle of my first one due to inadequate sedation and it felt like someone was pushing their fist into my stomach too hard and/or having cramps. Tolerable but unpleasant. I elected for propofol on my second and was happier (though both midazolam/fentanyl and propofol basically make you kinda useless for the rest of the day).

It is sometimes said that reality has a liberal bias. But it is literally the case that historians rank these two presidents at nearly opposite ends of the spectrum, and the article's tone seems to reflect that. Which isn't really an example of bias in Wikipedia - it is supposed to reflect what reliable sources say.

I gently disagree. I think that having provenance information logged is valuable - both to the project ("please ban dga because he's submitting ai slop") and to people who might want to study all of this stuff ("interesting, ai coauthored PRs were rejected at a rate X times that of non-attributed PRs"). I think a non-advertising header of some sort that included more specific information about the LLM would be even better, of course.

Yup. Not just you.

That's massively over-generalized. I live in Pittsburgh, which is not a huge city, but my experience is the exact opposite. My 8yo walks to friends houses in the neighborhood and to the park by himself sometimes. My 13yo is now switching from private school to the public high school, which is quite well-regarded. We don't live downtown, but our part of town has been an amazing place to raise kids. (Squirrel Hill, for those stalking Pittsburgh remotely. :). We chose not to live in the bars and parties areas because we're not 20. Cities are not homogeneous.

Wasn't that OPM, not CISA?

Local queries are the I've things I use Google for still -- but Kagi makes it easy, you just start your query with !g and it redirects you. So it's pretty safe to switch the default.

Ah!

You're right, I just re-tested on my server and was able to get it to work now. Thank you! Does appear to just be stale documentation.

Right above the CLI download link on that page, there's a warning icon with "Authenticate with Antigravity or Antigravity IDE before using the CLI."

Oh, but you can only install the new antigravity CLI by first installing and authenticating via the IDE.

Will they make it work headless before the June deadline when they turn off gemini-cli? I guess we'll see...

[Edited to add: danielbln below is correct, this appears to just be stale documentation for antigravity-cli, it can be used completely headless now.]

Her husband almost certainly didn't need to - she co-authored with Paul Baran; the insights from this work were directly influential on his subsequent work, and both this work and RAND's larger corpus of work in this area were part of the reference materials used by ARPA (which we know today as DARPA) began the Arpanet project, which was the foundation for today's Internet.

This might work with old iron dumbbells (or modern iron kettle balls if left unpainted). Your gym might hate you for it though.

Many. Let me give you a very boring example: I use mmap in some of my programs, because it's the easiest/best way to solve the problem I was working on. Mmap is unsafe in rust, because if there are modifications to the backing file it can violate some of rust's assumptions about the behavior of memory not changing unless it was changed by the rust code.

In my application I'm able to guarantee that there is no modification to the backing file by making them read-only and ensuring nobody messes with them, but that guarantee exists outside of rust. So -- unsafe with a big SAFETY comment explaining the requirements if you use it.

Much rust code will never use unsafe. Systems code is likely to use a bit but also to know what it's doing.

Things like this port of bun are unusual and presumably transitory on the way to an implementation with minimal use of unsafe.

As noted above: The US is threatening tariffs on any nation that sells oil to Cuba. That's quite different from simply refusing to trade with it, it's effectively preventing Cuba from buying oil from Mexico, among other sources.

We are threatening tariffs on any country that sells oil to Cuba, a country that uses oil for the vast majority of its electricity generation.

It might be legal but it also seems immoral.

I believe the person you're replying to is criticizing the choice of title, by noting that the phrase "blames" is suggestive that there might be other causes, when there clearly is not (which they agree with you about).

The US penny and nickel are the only bits of currency we use that cost more to produce than their face value.

This post reads like an accidental advertisement for approaches like Verus [1], which couple the implementation and verification so you can't end up with a model that diverges from the actual implementation. I'm personally much more optimistic about the verus approach, but I freely admit that's my builder bias speaking.

[1] https://github.com/verus-lang/verus

I go to the theater rarely, but recently watched Project Hail Mary in-theater and quite recommend it. There _have_ been some great films made in the last while, among a sea of derivatives.

(E.g., you may find the new Dune films too violent, but they were great. And the moral is not very subtle in them. :)

Sorry, I was not quite saying my fun was the reason, but that the failure to create something GPU/ASIC resilient was the more general underlying cause.

But be careful about "proven" in that last sentence - the absence of a solution isn't exactly proof, it's more of a proof that _either_ it is possible to create an ASIC-resistant algo _or_ it has not been worthwhile to ASIC-ify it given the economics of mining XMR and the research & NRE required to do so. I haven't the foggiest which of those two it is, mind you, just that there are a few remaining valid explanations.

They kinda do - I'll admit honestly that the final game I played in the cryptocurrency space I played solely to profit. (It was a minor, uh, **coin that didn't have a lot of redeeming value to start with). Though it turns out the incentives remained somewhat aligned: I ended up providing the developer with some security bug fixes to make sure someone couldn't mess with the cash cow. :)

(To be clear: We were just optimizing mining; in the process of looking for ways to mine it faster, I found some security bugs and fixed them. We weren't exploiting the bugs, that crosses a line for me.)

If folks are interested in the old Monero PoW function (and, uh, the reason they changed it), I wrote up a thing about it a long time ago:

https://da-data.blogspot.com/2014/08/minting-money-with-mone...

The history of people trying to design GPU or ASIC-resistant proof-of-work functions is long and mostly unsuccessful. I haven't looked into RandomX; it's possible they've succeeded here (or possible that with the alt-coin market mining profitability tanking after Ethereum moved to proof-of-stake, it just wasn't worth it).

Authors are from STMicro, polytechnic Turin, Freie universitat Berlin, and Inria. Examined writing firmware for an IOT sensor platform. From the abstract:

> Two teams concurrently developing the same functionality (one in C, one in Rust) are analyzed over a period of several months. A comparative analysis of their approaches, results, and iterative efforts is provided. The analysis and measurements on hardware indicate no strong reason to prefer C over Rust for microcontroller firmware on the basis of memory footprint or execution speed. Furthermore, Ariel OS is shown to provide an efficient and portable system runtime in Rust whose footprint is smaller than that of the state-of-the-art bare-metal C stack traditionally used in this context. It is concluded that Rust is a sound choice today for firmware development in this domain.

I had a surprisingly positive experience with Gemini optimizing some mathy MPS code. It did far better than claude.

Of course, when I tried it on something else it rewrote every line in the file for no good reason, applied changes directly when I told it just to plan, etc.

So maybe it has one strength.

Do we really care if an LLM regurgitates information already available in public about the design of nuclear weapons? They're not being trained on restricted material.

(My personal guess is that you don't want them answering questions about some things because you don't want people to try it and blow themselves up, or poison themselves. That's probably much more pertinent to making drugs or conventional bombs, since presumably the average internet user doesn't have a stockpile of HEU sitting around. It's kind of like the reason the Anarchist's Cookbook is a bad idea: using its recipes is likely to be quite hazardous to the cook!)

Oh, I dunno - I haven't downvoted it, but if I did, it would be for the idea that you "have to" give money to someone you don't want to just for a slight improvement. That's garbage. You don't have to. It's okay--no, it's _good_--to give your ethics a role in your decisionmaking.

Openat appeared in Linux in 2006 but not in FreeBSD until 2009; go started being developed in 2007. It probably missed the opportunity by a year. It would have been the right thing to change the os module at some point in the last 18 years, however.

Yes, but also:

The metro area density of Tokyo is 3,000 / km^2

The metro area density of Beijing is 1,747 / km^2

Greater Los Angeles: 208 / km^2

I've been testing it out by using it to create the quizzes for a course I'm teaching this semester. My conclusion is that it's well worth finding a way to try it out. Drastically reduces the amount of boilerplate.

(I haven't yet tried to write a full paper in it.)

one one hand, I'm typing this on a 5 year old M1 MBP that I still can't bring myself to replace because it just continues to do the things I need;

on the other hand, $6200 every few years is pretty tiny compared to a typical US developer salary, so is this really that crazy if it's your primary work machine?