skysight-inc/HackerNews huggingface dataset:
First, Gaza really is an ideal testing ground for this sort of AI targeting system. It's tiny. Pretty much all of it is under continual surveillance. Israel has completely modern precision bombing capabilities.

By comparison, just the front in the Ukraine-Russia war is massive. Many of the targets are nowhere near the front. The surveillance and precision air strike capabilities of both sides are inferior to those of the IDF.

Yet, we do see a lot of really savvy strikes being made on the basis of cell-phone data, etc.. This kind of intelligence could have been gathered by humans, but it's not impossible that either or both sides are already using AI targeting systems similar to Lavender. They're likely just not as effective for the reasons mentioned above, and others.

Militaries are likely not going to talk about this stuff much. Heck, this capability is in the same ballpark as things that past leaders may have sacrificed cities in order to hide[1]. Even the article on Lavender uses a lot of anonymous sources, so who really knows if it's true?

Second, it may not seem "very AI" to identify targets and determine when they're home. Yes, humans could do this. It would take a significant amount of time though. If the reports are true, Lavender is able to do this so quickly that Israel can bomb the homes not just of leaders and generals, but of raw recruits who've probably received the sum total preparation of a rifle and a one-time pep-talk. Quantity has a quality all it's own.

https://en.wikipedia.org/wiki/Coventry_Blitz#Coventry_and_Ul...
What lies has Reuters published about Tesla and SpaceX?
I agree that the line between that and automomous weapons is hard to draw. A simpler example is any precision targeted missile or munition. At some point every munition leaves human control, including artillery and bullets.

But is my 1979 calculator artificially intelligent because it can duplicate some cognitive things that I can do? There's a major qualitative difference where we find all the significance in the meaning of AI.

Still, some of the problems with mines, which are illegal or highly discouraged in many situations, are similar to autonomous robotic weapon systems: A fundamental law of war is discrimination between military and civilian targets. Mines are literally indiscriminate, by that legal definition; the worry is that autonomous robotic weapons may be the same. Arguably, they could be more discriminate.

I think one difference is in the 'robotic' aspect of autonomous robotic weapon systems (my terminology): Robots don't need to be mobile, of course, but those with significant mobility seem far riskier and deadlier than mines or artillery. Imagine one that, even from some malfunction, ends up in a city or a refugee camp.
"about 7,200 miles, or 1,500 kilometers, per hour"

Sad to see that on the real NASA website. I'm guessing the 7200 miles is correct, and they typoed 11,500km. It just jumped out as so obviously wrong as I skimmed it.
that is one helluva nerdsnipe
There are other foundations for mathematics. Dependent Type Theory has a lot of support from people studying Proof Theory. It is based on typed lambda calculus. It is currently being researched and implemented in mathematical provers, like Coq and Lean.
I know it always gets shutdown, but I’m comfortable with it being done by the US/CIA[1], especially since Satoshi stopped sending emails once Gavin Andresen met with CIA and « took over » the project.

I anticipate it’ll be unclassified at some point, and then really take off, but not before the US exhausts the ability to try and trace malicious transactions they might be focused on. Also the US owning a bunch of the original bitcoins is in line with owning a bunch of the lower IPv4 addresses which haven’t seem much, if any, activity.

[1] https://www.reddit.com/r/CryptoCurrency/comments/mr780k/sato...
Seeing body panels repeatedly flying off Boeing aircraft and responding with "wow brilliant engineering" is truly bizarre.
Nah, by having in-memory versions of your dependencies, in-memory versions which fulfill the same interfaces as those used in your E2E tests (or the majority of your E2E tests) you unlock running your entire E2E tests suite in milliseconds-to-seconds instead of minutes-to-seconds. And because they're E2E tests that work with any implementation, you can still run your exact same test suite against your "real" E2E dependencies in a CI step to be super sure both implementations behave the same.

I've done this across multiple jobs, and it's amazing to be able to run your "mostly-E2E" tests in 1-2 seconds while developing and the same suite in the full E2E env in CI. It makes developing with confidence so fast and mostly stress free (diverging behavior is admittedly annoying, but usually rare).

I highly recommend using these if feasible.
Now who's ignorant? You're confusing the fruits of the combination of technological advancements in extraction and exploitation of the 3rd world with endless abundance. 150 years ago oil wells were routinely dug with nothing more complicated than a pick axe and some dynamite. You think companies invested in the complexity and cost of off shore drilling (as an example) in spite of simpler more cost effective methods being available? Pull your head out.
The halving could come from an intended use in a Newton Raphson iteration of a square root refinement.

See for example https://math.mit.edu/~stevenj/18.335/newton-sqrt.pdf

The initial guess is the approximate square root, but it needs to be halved as part of the calculation.
The opsec of this guy nakamoto is just on another level.
For clarity, I am pro nuclear power.

That said, I do worry specifically about tech companies interested in building nuclear power plants.

If it’s solely to fuel the silicon fire that is contemporary machine learning it’s a harrowing concept.

If it’s to both do that, and power the grid, then doubly so.

The consolidation of power in these few tech companies is already at concerning levels before handing them control of municipal energy.
As I recall, this type of mine (or a similar one) could target specific types of ships, or even a specific individual ship if enough data was available.
Bletchley Park would like a word.
We got them, then gave them to a customer to use for a week, got them back and now we are having some hardware issues that we are in the process of sorting out. I literally haven't had more than a few hours time on them yet.

They _should_ work fine for both training and inference, but since nobody has done much in the way of public in-depth benchmarks yet... I was hoping to get people to do it for us in order to stay as unbiased as possible.

noticing now: strange that my previous comment was downvoted. Would be nice to understand what someone didn't like about what I said!
I think I used to work with you. You stated the Pre was the "iPhone killer" about six months after the iPhone came out, and Android phones appeared. You showed our deparment's first iPhone user the non-awesome stuff the Pre did by comparison, then stated that Palm's millions of users would show me.

They sure did.
Why use that when you can just download re:amp?
A Boeing 737 SA Emergency Landing After Parts of the Engine Cowling Detaches
This may sound very "hindsight is always 20-20" but why was evolution not always obvious? Traits that help reproduction will increase. Traits that hinder reproduction will decrease. Why was it controversial, and what did people believe before that?
It doesn’t. It simply trades compute efficiency by transposing matrix multiplications into “the future.” It doesn’t actually save FLOPs (uses more) and doesn’t work at large batch size
as far as i understand, it is not based on a docker environment.
I've been watching the Whole Mars Catalog channel on Youtube for a while ( https://www.youtube.com/@WholeMars/videos ), he's been trying out FSD beta versions for some time now and posting the unedited drive videos, and recently I've seen the results he's getting with 12.3.3 are substantially better than v11 from last year. I do think it's at the threshold of robotaxi capability from what I've seen there, very little if any intervention for long drives through the city dealing with construction, stopped delivery vehicles, jaywalkers, etc.
FTC Denies Application for New Parental Consent Mechanism Under Coppa
Not really an answer to your question. But here's a picture of math entrance exam from 1869 to Harvard.

https://imgur.com/a/bDGRU
I once made a tiny pre-emptive kernel using the DOS debugger. It was like the day after graduating from CS undergrad, and I needed a cleanse from the many years-long C on Unix mission (which happens to be continuing, decades later).
That thing looks like it barely could even whip a llama's ass.
Swamp would have been a cool name, too. Thanks for the effort, I love/miss winamp
I'll look into it, though seeing "contact us" always makes me think they're not going to sell a single unit to a home user. (With that said, Groq probably wouldn't either. You can technically buy LPUs for 20k each, without an expectation of support, but it takes tens of them to run Mixtral.)

Tenstorrent also looks incredibly Python-specific (as in, everything including their SMI seems mostly Python-based) which doesn't seem promising?
I'm not able to get consistent replies from the API. It's lightening fast for like ten minutes and then starts freezing up for several seconds.

I want to use it, but it's been very unreliable. I have been using Claude 3 and thinking about together.ai with Mixtral.
A Peak at the 1.111B Class
I scanned 50K .xyz domains and made a cool map you can explore.
What you're describing might be intended. Your argument hinges on the assumption that oversight was supposed to stop this, but it could be they just have a higher level of acceptable collateral damage.

Either way, it's the responsibility of humans to design risk controls. When the AI makes a mistake it should be auditable how it came to that decision. The humans need proper training and regular exercises and ultimately to be held accountable.

I believe this achievable for those that want to achieve it.
I'm not envious of my ancestors hormones personally
If the person in charge doesn't properly "brace" then the opposing party will "slam" them
Chances are it'll be a man dressed as a robotaxi.
Sometimes I wonder if US leadership, above the paygrade of naval leadership, assume that large surface combatants likely won't be survivable in a peer war. Then they'd do exactly what they're doing now... stall naval projects and pivot.

There's a lot of motivated naval lobbying decrying the state of US ship building, but we can see in semi that US leadership fine with pouring 100s of billions in urgent industrial policy. Maybe US ship building is actually that broken, but IMO that wouldn't stop the spigot from flowing. At some point, it's hard to differentiate if current state of naval procurement is incompetent by malice/design. It's hard to explain how little is being done.
> I.e. are you willing to invest in Intel/AMD/Nvidia-scale QA and support?

At least in our experience, the first line of support is from the chassis vendors. You don't go to a store and buy MI300x. You buy them from someone like SMCI/Dell, who provides the support. Of course, behind the scenes, they might be talking to AMD. Even those chassis companies often have other providers of their gear (like Exxact) as another line of defense as well.

In the case of Groq, it would have been death by 1000 cuts to have to support end users directly, especially if they are selling small quantities. It is much easier to just build data centers full of gear, maintain it yourself and then just rent the time on the hardware.
Doctor here. Agree with this. Plus, when requesting an imaging study, we provide the patient’s history and list of differential diagnoses. The radiologist looks at the X-rays in that context.

Interpreting X-rays in isolation has little relevance to actual clinical practice.
"U.S. leadership in defining a suitable standard - one that achieves the accuracy and resilience required for operating in the challenging lunar environment - will benefit all spacefaring nations," - some American who believes the US should be the authority for this, shockingly.

Why would anyone bother following the US standard for lunar time? They can't even work out the metric system.
I recommend Meld as well. I have used it for years and it has aged very well.
Yeah… I’ve heard a lot of stories about shipyard dysfunction from friends and relatives, but it’s nothing so exciting. It’s mostly poor planning that results in expensive waste and slowdowns.
It's just more complex.

I worked on a project in the mid-late 90s that had a couple of hundred developers, building a system of maybe 150 db tables not incl. join tables.

20 years later, I worked on a similar sized rails project, with a team of 5.

A team of 100s now is going to build something vastly more complex and featured than similar teams before, with a consequential increase in the number of issues. Think of something like a code editor, or spreadsheet. This would be a major project in the 80s - now it's almost a homework assignment.
WWSD (What Would Smullyan Do?)
Couple of discussions: [0](26 points, 9 hours ago, 39 comments) [1](44 points, 8 hours ago, 57 comments)

[0]: https://news.ycombinator.com/item?id=39962194
[1]: https://news.ycombinator.com/item?id=39962923
Any time I take a picture of something that far away in the sky, the results show the camera doesn’t have the capability to take a quality photo in those circumstances.
Haruki Murakami, is that you?
As someone that became a permanent resident and later a citizen of Canada, the process was relatively painless compared to what I read for other countries, and could be tracked along its different steps using a web UI.
Even when plants don't extract significant amounts of material, they can be useful in detecting sources. A paper about using synchrotron analyses to detect gold in eucalyptus comes to mind.

https://www.nature.com/articles/ncomms3614
Closed source software, freeware made by some russian dude. In 2024 i would really VET this before installing.
To give some data:

- 8 of 11 supreme ministers were appointed by the ruling mafia. Recently Lula appointed his lawyer and his minister of justice as supreme court ministers.

- Deltan Dallagnol, one of the prosecutors in the Operation Car Wash which imprisoned Lula and the most voted congressman for the state of Paraná was expelled from congress by the STE (composed in half by STF ministers) via a reinterpretation of a technicality.

Just the tip of the iceberg.
This piece is so incomprehensible and poorly-written it seems like it was generated by an AI (and not even a good one).

The BLUF is: AI might be selling your interactions to advertisers. Second point, not original, much belabored is that nothing is truly "free" on the internet.
https://cc.bingj.com/cache.aspx?d=4424570012422&w=gGqKkDlKmy...
I agree overall. But a note - every orthonormal basis partitions the frequency spectrum. It doesn't go away, if you are using e.g. polynomials then you're building functions up out of their frequency components too. The Fourier basis has every element correspond to a specific frequency, which is special in some sense. I would say rather.. they are each designed for a purpose. A basis change can rearrange the spectrum in such a way that analysis of it is complicated. Then you're analyzing something else (eg smoothness). Most functions of interest do have distinctive spectra, even if the Fourier basis doesn't answer all the questions.
I think there's also the understandable response that's going on: there's the idea that people who have created brutalist works in their own work, and are proud of their participation in art history as a result of that, and proud of their work's expression of those principles (say, in the particular design they've used in a piece of UI, an app, a product, has been discussed, gauged and aimed for internally to be brutalist), will feel this work "Brutalist Hacker News" challenges the pride that they have in their own brutalist works because they feel it calls into question their achievement, and the definitions they base that on.

But it doesn't call it into question! It only expands the historical tapestry of what they're already a part of. It enriches it! But perhaps it enriches it in ways they don't like? That's ok. You don't have to like every work. It's not a flag you march under, but a big house. But perhaps so big as to be unmanageably incomprehensible, at a glance. So there's confusion - but where isn't there? But what can be said to be different of any encompassing human endeavour? The multitudes, highly differentiated, multi faceted. And would you really want to call yourself part of something that doesn't have that richness and that depth?

Works like this, that stretch the historical tapestry, only enrich your own works that are part of the same. They don't diminish them, they only make them part of something bigger. You may not like them, but nevertheless you benefit from them. By trying to restrict the living definition of brutalism to something less, you end up only diminishing your own work. Celebrate the differences, even if you dislike them, I suppose. Tho it may be jagged little bitter and colorful pill to swallow. Hahaha! :)
Reseda
One nice thing about modern hardware would be that you wouldn't exactly be memory constrained. You'd get to implement a complicated API with whatever large size chunk of memory you wanted, since 128 MB of ram or how ever much they came with is peanuts today.
The Disturbing Truth About How Airplanes Are Maintained Today (2015)
ssh itself is cryptographically secure. the ciphertext of the commit being pushed is as good as a signature
None of that makes sense or works without the idea that traits are the result of continuous random mutations, which is a very non-obvious idea (and very controversial considering the orthodoxy of divine creation — humans were created by god, so what do you mean they are changing?).
I have a customer that is not allowed to run Postgres natively or docker at all (bc of security). They could use this, I guess.
The thing about toasters and teapots on the internet is that they give the people working on them a job to do. Because absent being filthy rich, if you don't work then you don't don't eat and you don't sleep inside.

To oversimplify, as a society we have decided that a person shouldn't be able to earn a living doing less than ~35-40 hours of work a week. So if there isn't enough valuable work to go around filling up everyone's week, then some people are gonna have to make up performative work.
This is likely a repost, but it is very relevant today. Boeing is still at fault, but so are US airlines.
I actually installed an aftermarket MMU in my Macintosh II, since it's required for A/UX.

https://retrocomputing.stackexchange.com/questions/10931/wha...

https://aux-penelope.com
So does kompare.
Switching to autonomous platforms might not be as labour saving as you think, especially distributed lethality model that focuses on swarms. It's trading crew infra for even more maintenance infra - there tend to be more ground logistics than operators.
I also thought my usage pattern of ChatGPT resembled Jupyter notebooks. I tried to make a chrome extension[0] that adds a code interpreter to ChatGPT, but implemented it in the most naive way, with just pyodide.

I recently learned about Jupyter kernels and realized that was probably what I should've been using to build this out.

I named the extension JPT, combining Jupyter with GPT. I was very proud of myself for that one lol :)

[0] https://chromewebstore.google.com/detail/jpt-chatgpt-code-in...
It's not like xdotool is so secure in the first place. X11 is one huge hole from that perspective. Anything can read anything and all your important input can be read by some other window anyway.
Or I could just use X11, where this is a solved problem using a single API that works on arbitrary window managers / desktop environments. The only problem is people keep showing up to tell me that I need to stop using it and use their feature-poor alternative.
https://webamp.org
Because it’s closed source or because they’re Russian?

Lots of closed source Swift projects in the App Store and elsewhere.
You can obviously see the conflicts of interest these companies have calling for "regulation". I don't believe for one second they don't want the plebs have free access to genAI for altruistic reasons
That last comment is so important! It’s hard to know your decision-making is compromised when your decision-making is compromised.
> That said I find my effectiveness at decision making deteriorates, so it would only be good for tasks where the right path is obvious. For important complex decisions I think I am still better off well rested.

My experience is the same. Sadly it's not just specific decision making, but all the important parts of my life depend on me having good executive function or they might happen even if I know the way forward.
Primitive Technology made a crude knife from the iron in scum collected from a forest stream[0].

0. https://youtu.be/dhW4XFGQB4o
The governments job is to work for and improve society. They should not ever be profit driven or penny pinching.
https://cc.bingj.com/cache.aspx?d=851161401503&w=-jO-BE3Oc9n...
the AMP in winamp is trademarked, that's the reason why FreeAmp had to change its name, though not enough of a reason to call it Zinf

https://en.wikipedia.org/wiki/Zinf#Naming
The smart people seem to agree that submarine will be the most important naval vessels in the next war.

Submarine operations, including production, are extremely hush-hush.

Last I heard the US had two submarine fleets: the ones the Navy openly discusses, and the useful ones which are discussed in whispers.

I like to think the hush-hush subs are being built and deployed en masse.
It will be interesting to see how AI gets deliberately enshittified, and whether those strategies will work.

I have a feeling (and I hope I'm right) that people will not tolerate bullshit AI interactions as much as they tolerated crap web search results.

My reasoning is due to these differences.

- Under web searching, the Ad results (sponsored links) are delineated. You can filter those out or skip them, and you know there is real search content after that.

- In the reach search content, there is spam. But there is a rhetoric that at least used to be plausible that the spam is not the search engine's fault. The search engine indexing and ranking follow some algorithm that is not highly intelligent, and is being gamed by the SEO bad guys. Not only did people make that excuse, but they knew that if they sift through the long tail of the search result, they may be able to find what they are looking for; i.e. that it's there, just outranked.

I suspect, people won't be willing to apologetic excuses on behalf of AI. If it's bullshitting them, they will end the conversation and go to another AI.

Google built an advantage in the search space through massive infrastructure. In AI, it's possible to wield market power through hardware also. All else being equal, people will go for the free, highly available, fast AI, compared to slow, paid, downtime-riddled AI.

There will probably be a battle among AIs for integration into applications and services. That's where a particular AI will be able to get a stranglehold on the users: AI integrated into apps for which there are no easy substitutes, and where you can't choose another AI.
That is pretty surprising to me. I’ve only experienced that when waking up in the middle of a very vivid dream, and sometimes will see geometric shapes with my eyes closed for 10 or 20 seconds. Then it goes away. I chalked it up to the brain being flooded with weird chemicals during sleep. I’ve also seen this while on oxycodone after a surgery. Personally, I kinda envy you, you must live in a very exciting world if your brain is loaded with those chemicals all the time! Serotonin, maybe?