skysight-inc/HackerNews huggingface dataset:
Strapping a bomb to a bomb disposal robot is so quintessentially American.
How much of Semafor does SBF own?
Why do you need a PC fan with such a high temp rating? You could try looking at fans used in military/aerospace gear like Rotron.
At least where I live, giving the police more funding hasn't meaningfully improved their ability to comport themselves. If anything, it's markedly declined over the last 30 years (while their funding hasn't).

I think an easier way to make the police more careful with their guns is to limit which cops can carry guns, and to require cops to live in the neighborhoods they police. People tend to be a little more careful with firearms when the stray bullet might hit their friends or family.
Amoungst other things, Twitter is now far less willing to deal with hate speech. Brands hardly want to be seen near that type of content.
Well that's fascinating, thank you very much for explanation !
Genuinely curious, do you have a source handy for that?
Maybe he didn’t get the memo that we’ve tried dynamic types and it’s not that great of an idea outside of some edge cases
The blast radius is much easier (cube law) whereas a .50 cal bullet could go for miles.
> The mother of two Swifties, ages 12 and 15, is determined to spend whatever it takes after failing to score tickets. “There’s nothing more than this that they want in the world,” said Kearney, who directs the Aspen Economic Strategy Group.

Good lord, do your children a favour and say “no” for once. $40k for a ticket is beyond stupid.
A bullet can travel further than a blast.
There was a decent amount of conversation about it at the time[1]. Looking back, the decision to kill a man (even a violent one with a gun) remotely, using a robot, is stunning. Particularly in light of the fact that the gunman wasn't targeting members of the public; instead, the police seem to have concluded that the most expedient way to handle him was to explode him.

[1]: https://www.theatlantic.com/news/archive/2016/07/dallas-poli...
It's a bit of a karma hack. Posting rebuttals and references is a quick way to leverage the Baader-Meinhof Phenomenon. Speaking of which, I should probably something about the Baader-Meinhof Phenomenon soon.
I can turn a handle and have as much (clean!) hot water as I need, pretty much whenever I want. This is so normal where I live that people only notice what a joy it is when it isn't there.

I'm grateful for all the inventiveness and infrastructure and effort that's gone into making hot water so plentiful it is casually disposable.
I agree that killer robots are a bad idea.

Asking a cop to walk into an active shooter situation isn’t great either.
My memories of the late 80s and early 90s.
How do you know the user typed the wrong password and didn't mistype his user name that happens to be someone else's user name?
Now let's connect it to CICERO
I hope the game will not end up like Limit Theory (https://www.kickstarter.com/projects/joshparnell/limit-theor...). They are similar, apart from the 3D and 2D part.
Friendlyjordies' dangerous work met with firebombing attacks
They already do put less-lethal options on these remotely controlled robots. It's even in the article...

This is for when there is a significant probability violence will escalate and harm anyone besides the "bad guy" (ie. hostages, active gunman, etc). Removing officer lives from the equation means folks can keep a level head and not just go guns blazing. This is a good thing.

If you think police commit too much violence, then you should celebrate this. Removing half of the necessary equation that results in lethal force will do nothing but reduce the use of lethal force.
Yeah dedicated units for large industry would be a huge buyer here: if you can hit the right price point, aluminium smelters in particular would be very interested customers I suspect.
Look up the rates at which a coo draws his duty weapon let alone fires it.

And many places offer free range time and many cops don’t even bother.
I see a lot of knee jerk reactions in the thread but I actually don't see why you wouldn't be okay with this if you're already okay with police having guns. I believe there is a more nuanced view point here. A few points:

- This is about remote controlled guns. A human is still making the decision and all of the same rules and oversight apply. You can make an argument for existing oversight is insufficient but that is a problem we already have with police walking around with guns.

- You can certainly come up with situations where someone is a danger to the public. Imagine an active shooter scenario. Normally they are also a danger to a responding officer who is fearing for their life. This removes that fear in the decision making process.

- I don't think the slippery slope argument is helpful here. We can be against fully autonomous kill chains while still being okay with this. The importance is that a trained and accountable human is making the decision to take a life and that it's a method of last resort to protect others. This is just a more effective tool for a method of last resort.

I say all of this with the utmost respect for issue of concerning police militarization and abuse of power. I think these are important issues that we need to solve and the presence of them makes everyone fearful and distrusting. A just and highly effective police force shouldn't have these issues. I don't think it's a good idea to get rid of police to solve it though.
> There are a lot more businessmen doing substantively worse things for the world that don’t catch an ounce of hate

I'm certain nobody likes those vaguely described bad things and would agree those "substantively worse" things are worse. So what? The topic is Elon and thus we see people's reaction to Elon.
Stable Diffusion 2.0
The JPL Lisp story is a fun story, and cool application of Lisp over 20 years ago. But it is by no means a Lisp success story. There is a reason no space probe since then has been controlled using Lisp (as far as I know).

Your links didn't come through, so I don't know what web site you are referring to. Maybe Orbitz? That was one success and still continues to be developed in CL by Google AFAIK. One outlier data point perhaps.

As for the 6.001 course at MIT, I took that course back in the day, and was saddened to hear it now is taught in Python.

You are correct that we need languages which have a ready supply of developers. In a commercial setting that fact alone will trump any language features or technology advantage. Java was meant to be the new Cobol and works hard at limiting programmer flexibility so they don't shoot themselves in the foot.
Secondary reactions; you're not reading aloud in a group of people but comparing experiences. Films/tv offer a firsthand initial experience; there is no denyinghe presentation but the time to internalize and process is limited in the 2d format, as opposed to written.
I've proposed length-terminated strings in C, but it went nowhere:

https://www.digitalmars.com/articles/C-biggest-mistake.html

When I look at buglists for C programs out in the field (homework for any language designer!), array overflows are the #1 problem.
Optimising variadic functions seems fairly low value but given they're usually a different calling convention anyway passing an extra integer is probably harmless.
really interesting the effect on short-term memory when you click to reveal the completed image (principally when you have a good chunk set already)! i loved it

also, as everyone probably, right-click to rotate counterclockwise came intuitively real quick in thoughts...
> The military is held to a much, much higher standard than regular law enforcement. Their rules of engagement are much stricter.

I respect the military much more than I do the police, but it would still be a good idea to cut down on the fetish made at least of militarism for its own sake (a big, though probably not the main, part of the problem with US police forces).
Why not make a robot that takes down the shooter? Doesn't need to kill. Just tackle the person and pin them down. A bit of armor would do it, right?
This comment reminded me of a video Tim Ferriss posted recently on Youtube which basically said something very similar: https://www.youtube.com/shorts/kgO_Og-__HU

Very insightful!
Which can be prevented by sending an confirmation email at a signup, no matter if a new account or an existing one.
Thankfully, no. It's more of a "standby until shit hits the fan" kind of field.
There is some merit. Lots of people don't have the opportunity due to poverty, lack of access to good coaches, good competition, etc etc.

Would Bolt be #1000? Dunno, but if this were the multiverse then yes there is always someone better.
Or you know, Police Officers inside, doing their jobs.
But arresting parents was indeed higher priority.
That progress is mostly boilerplate. For instance if you want a memory filesystem, you probably want a dedicated filesystem module with features like an overlay filesystem. If you want an executable, you can just add it to your build scripts.
Before going full dystopia could we perhaps try a pilot project with tranq darts?

This is insane and shouldn't even be up for debate. Tbh I don't see how it's any different than drone strikes though. Just feels wrong and when something feels wrong...
I don't understand what you are saying.

If you believe officers use excessive lethal force, then removing their lives from the equation can only make it better.

With that said, you grossly overstate this "problem" and the data doesn't tell the story you think it does... but regardless, there is no way to frame this but positive. Unless you just are anti-police in general...
I think I have watched this movie before!
I donno I made a bunch of money off an early startup, totally depends on the team
> Asking a cop to walk into an active shooter situation isn’t great either.

Indeed, cops are just humans, and we correctly think of them as such when asking them to perform duties on behalf of the citizens they are supposed to protect. But somehow, when it comes time to holding them accountable for misdeeds carried out in the course of their professional duties, they are held apart from other humans. At least one side of this imbalance should be rectified.
I miss the days when discourse was not dictated by upvotes/downvotes, but rather, whoever generated the most outrage with a flame war (/s).
I agree with you 100%. It's the thing I miss most when not writing Rust. I will say that it as a feature alone isn't a good enough reason for me to write Rust, though!
You need over 90% enriched for practical nuclear weapon use. It is not "most of the effort" to get to 20%: in fact, if you're stealing it then it's none of the effort: you don't have a centrifuge operation, so whether it's natural or 20% or 70% it is all equally useless.

The difficulty of enrichment is the plant and logistics of doing it, none of which you can steal.
A curated list of software and architecture related design by patterns
The chief concern that I can think of with a remote-controlled weapon is that it derealizes the person on the other end of the barrel, and derealizes the operation of the weapon. It's easier to kill someone when the action is disconnected from the physics.

Compare, for example, the US using video game controllers to pilot drones in Afghanistan. One wonders how many botched drone missions wouldn't have been performed in the first place had the operators been physically present in the areas they were attacking.
Right, but the military can change the entire planet by invading Iraq (or wherever) based on a lie tomorrow leading to the destabilisation of entire regions and ramifications that will last not just for decades but potentially centuries. And it's arguable that much military abuse is actually 'held' to the higher standard as opposed to ignored covered up, or redefined (e.g. definitions of combatants), but I suppose that's another discussion.
If you can get the heat out, no reason it couldn't be tiny. A hayabusa motorcycle engine can be tortured into producing 1MW mechanical from about 5MW thermal.

The heat engine required to meet efficiency would likely be the limit (although I think TEGs might be getting cheaper).

The main issue is unless you have a big pile of them, you need 1% of your population to be nuclear engineers and security.
> This would make more or less any ISA implementation on higher level hardware an "OS":

I think – in practice – one of the most distinctive things an OS supplies is file management – APIs to open/close/read/write/etc files/directories, pathname syntax parsing, etc – both the VFS layer and the filesystems (if they are distinguished). I've never seen a hardware ISA (as opposed to a bytecode implemented in software) with instructions to do stuff like that. If that's the yardstick, no "ISA implementation on higher level hardware" counts as an "OS".

Most language runtimes provide those kinds of facilities, but they bulk of the implementation work is actually done by the host OS, with the language runtime often doing little more than providing pass-thru access to host OS services; sometimes adding some virtualisation layer on top (for example, Tcl VFS), but still the host OS file APIs are the by-far most common backend.

Whereas, a language runtime which actually implemented its own filesystem internally, and just asked its host for some block storage, is much closer to being an OS - how much does it matter whether the block storage is files on a host OS filesystem, or a paravirtualized block device, or a "real" block device such as SATA/SAS (which might be virtualized anyway)? The code change to switch between them is relatively small, it could even be pluggable modules. You can even talk SCSI/ATA from userspace: over network (iSCSI or ATAoE) or using SCSI/ATA-passthru support provided by the host OS.

Other features I've never seen in an ISA – a TCP/IP stack, user/group management (as opposed to some capability primitives which that could be built on top of). A language runtime which provides those itself, rather than relying on the host OS, is really a guest OS.

> Well, memory management, I/O, task scheduling, HAL, and all the other things an actual OS provides. ;-)

A lot of those things are at least partially implemented in hardware, although the hardware/software balance varies widely from architecture to architecture. Although a rare feature nowadays, several CISC ISAs include hardware-support for task switching (x86 TSS are most famous example although never saw much use; IMPI, the underlying ISA of the IBM System/38 and CISC AS/400s, is another). Some ISAs have even gone so far as to add hardware acceleration for garbage collection (Lisp machines, Intel iAPX 432). An operating system running on an ISA which provides many of those functions in hardware may delegate most of them to the hardware; what's the difference between delegating those functions to hardware versus to a host OS?

A guest OS asks for relatively few services from its host ("give me 4GB of memory, 100GB of block storage, an Ethernet interface, and here's some threads to run"). A mere language runtime expects the host to provide a filesystem (as opposed to just block storage), Berkeley sockets (as opposed to just a TUN/TAP device), a security database (NSS, PAM, /etc/passwd, Windows LSASS, etc), executable loading (here's the name of an ELF/PE-COFF/Mach-O, please load and run it as a subprocess with these arguments) – a guest OS does all that itself.
Don't ask for the bomb squad when you actually want the bomb removal squad.
What do you mean by "the compiler"? The compiler you downloaded from GNU.org which was written by unpaid volunteers, or the official Intel compiler which anyone targeting high-end Xeons should use? (https://en.wikipedia.org/wiki/Intel_C%2B%2B_Compiler)
Incredibly massive decrease in GDP. It'll happen regardless.
As always, in Plato there are more levels to this. Plato thinks that all true knowledge comes from memory, and that we gain knowledge by "remembering" things we first encountered before birth but have since forgotten. So it makes sense that he would see memory, rather than (even philosophical) writing, as the ultimate source of truth.
> Asking a cop to walk into an active shooter situation isn’t great either.

Empirically, they don't, so this is a straw man.

It has literally been three days since the last mass shooting in which cops waited outside until victims had subdued the attacker before entering.

And it's not like that's an isolated incident either - it's the de facto standard practice, even though officially all documents say otherwise.
I think that’s a political problem, not a military one.
I'm grateful I have a steady job which pays the bills, keeps a roof over my head, and puts food on the table, with enough money left over that I can save a little and splash out on modest luxuries without too many worries. I'm grateful that my industry is work-from-home friendly and I was able to coast through the covid years without much stress.

Although I have my health issues, it could be far worse. I'm grateful I don't need someone else's help to live my life and basically do what I want. I'm grateful that I have a good memory and tend to learn stuff quickly.

I'm grateful that there are people who love me.

I'm grateful that I live in a country that is still relatively free and peaceful. I generally don't have to worry about violence or being treated unjustly.
And bounce in less predictable ways
Using Elixir / Erlang on the BEAM is great for concurrency - but the programming languages themselves are not. It's an important distinction, because I believe that there is still a lot of potential for those languages.
Yes that’s why everybody collectively moved on to static types exclusively 30 years ago and we all lived happily ever after because there was never a point where dynamic typing made more sense or was anything but inferior. The end.
This really is anti democratic, but after what we saw with brexit maybe making it hard to leave isn’t the worst idea
Statistically how often does the SF police come across such a situation. What are the numbers from the past 10 years.

Surely, the SFPD has provided this data to justify the lethal robots.

> If you think police commit too much violence, then you should celebrate this.

So the SFPD won't be carrying any guns? George Floyd wouldn't have died? Sounds great!
>over-militarized

Can you explain what you mean by this? I've heard this term a lot, but it's not clear which aspect is the issue. For example, bullet proof vests: how is this bad? Similar with rifles such as the AR-15 - police already had pistols, nobody called them militarized for that. A riffle is just a more accurate pistol. I'd rather a cop have a riffle than a pistol for that reason: it's more safe. Beyond these two new things, I don't know what is new that should be called "over-militarized".

For the record, I'm not in favor of these robots and actualy I think this is an example of real militarization as it allows greater control by higher ups essentially turning cities into war games run by police generals. Police are meant to generally keep peace; a murder robot has a specific objective like a solder on the battlefield. I just mean this term as it has been used generally.
I mean, if you don't like Twitter, and don't like musk, the whole thing is very entertaining
I think you misunderstood me. I said "They lack support for pure functional programming" which does not imply that they should force the developer into using it.
How is that going to work against a target that moves, is possibly wearing armor, and is shooting back?
US police already use force too often. Presumably, something stopping police from using even more force is that they too are human: they need to look their victims in the face before deciding whether to use force.

I worry what will happen if you take this humanizing, moderating aspect out of the decision for whether to use violence.
It should be a build time dependency. There's no JIT here, so there's no calling into LLVM's JIT, so I'd hope it's equivalent to using clang to create a native binary that implements the lua language.

Could probably retarget it to emit assembly and commit that for a loose interpretation of building from source.
DMD does do all the basic data flow analysis optimizations, along with register allocation by coloring, etc.

The problem is there are just a ton of special cases needed to generate good code, especially with the x86 instruction set which is nothing but special cases <g>. Doing these takes a lot of developer time, one by one.
> asking them to perform duties on behalf of the citizens they are supposed to protect.

SCOTUS has ruled that police have no duty to protect citizens. "Protect and serve" is just a marketing slogan, just like "Don't be evil".
Overpopulation isn't truly the actual problem. It's merely a symptom of that "tiny subset of individuals" having been allowed to monopolize and mismanage most of the resources and manpower of planet Earth unto themselves as their playthings. Sadly it's a symptom that seriously complicates the matter.
Cooling is one reason. Bigger batteries increase the surface area to volume ratio: heat produced in the active part of the battery has to be lost through the casing and into whatever cooling system you're system. Bigger have less surface area.

You also have packing issues: cylindrical cells are basically optimal, because they distribute any internal pressure equally. If you play with something like the prismatic Prius batteries, then despite being larger you have far less options to pack them because you need to counter-pressure them horizontally or they swell and then fail.
"The Fucking Article[1]." Alternatively, "the fine article."

[1]: https://www.urbandictionary.com/define.php?term=TFA
> I agree police should get more training.

> You will have to fund them more if you want that.

I think nowhere else on Hacker News would the idea that "you're doing so badly at this job that we ought to pay you more to motivate you to do it well" get serious traction.
I don't think it needs to become multithreaded, it just needs better support for async/event loop style concurrency!

Right now we can run subprocesses without blocking anything with "make-process", but interacting with the process is pretty clunky, and you have to use the process sentinel and filter to perform callbacks when the process changes state or exits. There is quite a lot of boilerplate to setup for all of this and the control flow is pretty confusing IMO.

A nice "async/await" style interface to these things could really go a long way I think!
That's like saying "more important than food is having a full stomach". Pure functional programming is a tool (or paradigm) that makes the things you mentioned extremely easy and safe to implement and extend. It focusses on the local runtime though, not on distributed systems (where the BEAM comes in) - which is why they don't contradict themselves.
> > asking them to perform duties on behalf of the citizens they are supposed to protect.

> SCOTUS has ruled that police have no duty to protect citizens. "Protect and serve" is just a marketing slogan, just like "Don't be evil".

Right, I meant "supposed" in the notional sense, like the average citizen supposes that they are going to be protected by the police, though I agree it was very confusing wording. I was referring exactly to decisions like the one you cite as evidence of cops receiving a double standard of treatment.
Pipe's founding team steps down
My theory is that types were the baby thrown out with the bathwater. Dynamic languages changed a whole lot more than just types. The older typed languages were a huge pain to work with, dynamic languages fixed a lot of that and added standard libraries that do a huge amount of work for you.

Now TypeScript and Rust are showing typed languages can be just as productive, if not more productive than Ruby/Python/JS.