skysight-inc/HackerNews huggingface dataset:
What utter nonsense. EVs are already extremely wide spread in many parts of the world, and the statistics clearly show that they’re far safer than ICE when it comes to fires. Even when people routinely charge their car at home overnight. The density of EVs in my area is insanely high (30%ish) and I haven’t even heard of a single case of an EV catching fire in a garage. The cases I’ve seen have either been on the road or during fast charge.

An EV fire takes significantly longer to reach its peak than a gasoline fire. Yeah it’s possible that the electrolyte combusts in a somewhat spectacular fire at the start. That could ignite some things around the car. But electrolytes are very light and volatile. Not like gasoline that sticks around and burns for a long time.

If you have a fire extinguisher you can deal with the fires that might have been started in the garage. EVs are designed to vent burning electrolyte away from the vehicle so the car itself is not likely to start burning yet.

Then if you have a garden hose nearby and maybe a sprinkler, you can douse the battery pack with water. That should prevent the thermal runaway from triggering another fire until the fire department arrives.

But I can not stress enough what kind of unlikely freak accident we’re talking about here. You should probably worry more about your house getting hit by lightning.
Not really competitive, but I once had a game, where I found 50 mighty gorgons and went on to defeat the main army of a friend, but the issue was, that he had town portal and I did not. So he could scratch together armies from every single castle he had and defeat me in the second battle.

After that, I saw clearly, how pointless it is, when you don't get important spells like that. But then playing against 6 bots on "king" or similar in a team became a great fun. Oh how they cheat ... or are "lucky". I swear, every single time I play the swamp folk, the computer players end up having more wyverns then I have, because they get all the neutral buildings around their castles. Infuriating!
Does your client not support delaying emails? Gmail has schedule send for example.
I've given up on Lineage, mostly because updates are a pain. Switched to GrapheneOS and am pretty happy so far. I think their approach of sandboxing the Google-foo is pretty sensible, as it strikes a balance between usability and privacy.

It's a shame that the mobile phone market is such a complete and utter shitshow. Can't root your device because a boatload of apps will stop working. Can't have an unlocked bootloader because other apps will stop working. You effectively have a choice between two walled gardens (and never the twain shall meet!), with varying degrees of privacy violations.

How did we let it come to this? For a brief moment we had the glorious N900 and Maemo ecosystem, but that's all gone now. Open phones seem impossible now.
The Gathering 1993 Demoparty [video]
Palantir runs on the customer’s own cloud, or a major cloud provider of the customer’s choosing in the region of their choosing. There’s no data aggregation/sharing across customers, it works similar to AWS.
Irrelevant ads are better for my wallet (and for me) than seemingly relevant ads meant to exploit my weaknesses
This is no name confusion bug, the bug is whoever wrote the code simply didn’t consider enabling the functionality for worklets (maybe worklets weren’t even a thing when that particular piece of code came into existence), and the fix is to change WorkerGlobalScope to WorkerOrWorkletGlobalScope.

I don’t write code so that drive-by internet commenters looking at a random snippet always find it unmistakably clear in ten seconds, and I don’t expect anyone else to adhere to that standard.
> Not a single gas pump existed at one time, yet they are now everywhere

Absolutely, and it took many decades to build them out. Are you willing to wait many decades to drive your H2 car to the stunning, remote or beautiful parts of Africa or South America? (Note, both of those have already been done, many times, by pure EVs)

Note also the build-out of H2 stations is considerably harder than gas stations.

> yet they are now everywhere

Based on my personal experience, that is not true. On many occasions I've driven close to 1000km without a single gas station. Often villages that don't have a gas station do have electricity (and 3G internet now)
> sharding and horizontal partitioning are essentially the same

That's not correct: https://en.wikipedia.org/wiki/Shard_(database_architecture)#...
al_partitioning

For example, horizontal partitioning is often used within the same schema on the same instance in order to have separate indexes for (say) current vs. historical data. That's not what is meant by sharding, however; shards are separate instances.
Lem is cool and is shipping features fast. We don't have an Elisp interpreter, but we already have a small Magit-like interface: see changes, stash files and hunks (no line precision yet), interactive rebase…

https://lem-project.github.io/usage/usage/

(development notes: https://lisp-journey.gitlab.io/blog/oh-no-i-started-a-magit-...)

Lem has:

- syntax highlighting and language-specific commands (linter etc) for many languages: Common Lisp of course, but also Python, Rust, C, Erlang… JSON, HTML, markdown (including interactive preview in a browser)… a directory mode…

- LSP should just work

- treesitter is a WIP

- graphical and terminal interfaces

- integrated terminal (libvterm)

- project-related commands, interactive grep, tabs, a side-bar project explorer, keyboard macros, multiple cursors, built-in help (to a certain extent), mouse support, transparent background…
I am sure you heard of red lobster going bankrupt because of endless shrimp.

Well, that wasnt actually the case but once again private equity.

They forced red lobster to sell off their land/buildings to a PE controlled entity. Which rented it back to them. Also forced them to go to a specific, PE controlled, fish seller.

In fact, they got forced into starting the endless shrimp stuff because that seller had too much shrimp.

And for the privilege to be managed by them, the bought companies get forced to take on the debt that PE took on to buy them in the first place, along with paying an outrageous amount of money every month.

And lets not even get into what they do to elderly homes..
The parent comment mentioned license incompatibility, which I guess would still apply if they used ffmpeg as a library.
Anecdotal, I use adblockers, and for many years I think "Huh, ads?"
Sure, https://github.com/locless/locless
> but a clean build still takes something like 45 minutes to finish

I had a similar experience when building Firefox from source >.<

though I recall I had more trouble when pulling the codes as I was naive and pulled all the history
Yes, because there are specific exceptions in the GDPR that allow data processing and storage in many of these cases. However, managers are pissed off by the law, or just ignorant, and they make you sign a document that has no legal value.

Heck, many documents that I saw while interacting with P.A. in my country are lacking the basics, such as "what are you doing with the data".

One clinic once made me sign a document where they said that I received a copy of the privacy policy (which was not given to me). I politely asked for the privacy policy, and they sent me the entire GDPR regulation PDF. I spent one hour explaining to them that they need to fix it.
This looks rad, and interesting to see you have a lot of CS in the examples. I'm assuming this is because you get to just grab a ton of data from demos rather than trying to get integrations?
> I do not know why the JMP is not just a RET, however.

This is caused by the CONFIG_RETHUNK option. In the disassembly from objdump you are seeing the result of RET being replaced with JMP __x86_return_thunk.

https://github.com/torvalds/linux/blob/v6.1/arch/x86/include...

https://github.com/torvalds/linux/blob/v6.1/arch/x86/lib/ret...

> The NOP instructions at the beginning and at the end of the function allow ftrace to insert tracing instructions when needed.

These are from the ASM_CLAC and ASM_STAC macros, which make space for the CLAC and STAC instructions (both of them three bytes in length, same as the number of NOPs) to be filled in at runtime if X86_FEATURE_SMAP is detected.

https://github.com/torvalds/linux/blob/v6.1/arch/x86/include...

https://github.com/torvalds/linux/blob/v6.1/arch/x86/include...

https://github.com/torvalds/linux/blob/v6.1/arch/x86/kernel/...
Thanks! Yes, Aider is a good attempt. I tried it a couple of times, ran into a number of issues, but should give it another try. Integration with an editor (I use nvim) is crucial though.
„Of” is underused in programming. It’s short, can appear standalone, as prefix, infix and suffix and it’s generic enough that it works in most contexts for types, type functions, functions, constructors, mappings etc.
Heh, this reminds me of how Discord was created.
You're implying that the alternative wouldn't pay well, which seems like a non sequitur.
> So I end up emailing myself and then forwarding them the email on Monday morning.

Certain clients (like Apple’s email app) allow you to schedule emails to be automatically sent at a later date.
Not that I really see away around it, given the size and feature set of Chrome, but those build requirements are just crazy. It kinda throws the open source and "everyone can contribute" model out the window, if you can't afford a pretty insane workstation then you're going to have a bad time.

I doubt that Firefox is better, I seem to remember that building Firefox and the VIA C3 processor years back as around half a day of compiling, but was also an extremely poorly choose CPU for the task.
Why is it that some of the AI's answers use my answer in their response? For example, if I responded "No idea", there's a good chance that two of the AIs will also respond with No idea or no clue. Or if I respond "Albatross" to the question about which bird can fly backwards, there's a good chance that one of the AIs will also say albatross despite this being the wrong answer.
>There were plenty of native linux ports

to quote pcgamer "It may get updates, and may have 3,525 games, but PlayerUnknown’s Battlegrounds isn’t one of them, and neither are Nier: Automata, Black Desert Online, Prey, nor The Witcher 3—these are all current Steam top sellers." - https://web.archive.org/web/20240701183442/https://www.pcgam...

>This is contrary to every single new gaming console in history

pc and console might be in the same genre but otherwise there buying habits and consumer culture aren't comparable. windows pc gamer never had to worry about not being able to play old games after over two decades and counting. they are used to steep sales and 3rd party stores.
It's not a strict improvement though, it's a set of tradeoffs
this has been the situation in computing in general for many decades.

When I started in the 90's - maintaining different unix distributions was a continuous package game.

Now looking at ops and devs at companies, this has been the ongoing work.

I think it's just an integral part of computing and one of its core challenges...
`pv --discard` is faster by 8% (on my system).

% pv </dev/zero >/dev/null
54.0GiB/s

% pv </dev/zero --discard
58.7GiB/s
It's a more friendly way of saying "trust noone".
Reminds me of my early experience with larger-scale JS development (early single page apps or whatever they're called now); there were no good IDEs yet, no module / require system, no types or whatever. Sublime Text and fast global search were my go-to tools, and it gave me a newfound appreciation of consistent naming schemes and structures.

Not so much nowadays though, most of the time I use IDEA with Typescript and the like. And yet, I still feel like I lost something moving away from sublime. I've reinstalled and am trying it again lately.
Your comment and the article however don’t explain what the group complained about and how did they know data was being transmitted to the us, though.

Did they made the allegations up and they happened to be right? I don’t think that’s the case.
>> We can (for programming, at least): run the output thru theorem prover, ensure that proof is constructive, the Curry-Howard correspondence guarantees that you can turn the output into a correct program. It doesn't guarantee that formal properties of the program correspond to the informal problem statement. But even people occasionally make such errors (a provably correct program doesn't do what we wanted it to do).

That sounds very ambitious. Automated theorem provers are real sticklers for complete specifications in a formal language and can't parse natural language at all, but when you generate code with an LLM all you have in terms of a specification is a natural language prompt (that's your "informal problem statement"). In that case what exactly is the prover going to prove? Not the natural language prompt it can't parse!

The best you can do if you start with a natural language specification, like an LLM prompt, is to verify that the generated program compiles, i.e. that it is correct syntactically. As to semantic correctness, there, you're on your own.

Edit: I'm not really sure whether you're talking about syntactic or semantic correctness after all. Which one do you mean?

>> You just can't make a system that guarantees correct transformation from an informal problem statement into a formally correct implementation. "Informal" implies that there's wiggle room for interpretation.

Note that in program synthesis we usually make a distinction between complete and incomplete specifications ("problem statements") not formal and informal. An incomplete specification may still be given in a formal language. And, for the record, yes, you can make a system that guarantees that an output program is formally consistent with an incomplete specification. There exist systems like that already. You can find a bit about this online if you search for "inductive program synthesis" but the subject is spread over a wide literature spanning many fields so it's not easy to get a clear idea about it. But, in general, it works and there are approaches that give you strong theoretical guarantees of semantic correctness.
I'm working on MLOps cli tool to manage unstructured data and pipelines on top of Git: https://xvc.dev
In my view, this is why cloud exists. You can externalize as much of your software stack as possible to the cloud platform, and only implement and maintain yourself the parts that differentiate. On AWS, this means using Lambda, Step Functions, AppSync, API Gateway, DynamoDB etc. and letting the cloud provider worry about maintaining most of the technology stack.
Admittedly I lack context. It seems on the surface this is a very loaded topic. I didn't get the gist it was 'switching' -- things existed/were being taken away.

Absent anything else, I feel supporting the status quo does just that. Must break some eggs to make an omelet; quantities/plate count/portions matter.

When I say 'loaded', I truly mean it. One could argue this in a positive self-fulfilling direction or the other: fallacy, 'sunk cost'.

I feel as if this is capitulation, personally, but am clearly biased. Very idealistic, would prefer they be the change we want to see
Believability is going thru some growing pains. It's just as easy to gen normal bad photos as it is over-produced ones.

You don't have to use this but you'd be compared against people who use latest smartphones with awesome camera tech that enhances portrait pics automatically without any knowledge of where or ability to undo it.
Lawsuit is still live.
Dura lex, sed lex.
It would probably require a lot more thought about how to make things so modifiable, yet avoid the global mutable state. Yet I think that is the work that will need to be done sooner or later, step by step, to keep the platform relevant.
Show HN: Coding Java Swing in Kotlin-idiomatic way
It's a pet project from the time I got amazed by Kotlin's ability to express DSLs. I also needed to quickly prototype a remote control UI for my art robots using RxJava-based event stream processing. Recently I had some time to kick out RxJava from these projects in favor of coroutines and Kotlin-native Flows, publish artifacts to maven central and to release the official v1.0. I hope this more declarative, more reactive and less verbose way of using Swing might be useful also for someone else.
There may have been but they weren’t prominent in most people’s play. And they were just not nearly as competent. That was back in the day when people were arguing about controllers vs mouse for fps aiming.

These games are just not great for multiplayer. The gameplay of effective, competitive multiplayer is the opposite of what people enjoyed. Grinding out a few seconds off of your aoe 2 feudal age research time sucks. But it’s what matters.

Orienting on serious multiplayer sucks but casual is hard to encourage
They might use it for more worrying purposes than training.
If Ubisoft didn't see a problem with it I doubt there's any risk involved, like it or not.
> i agree that if you are serious about de-Googling that GrapehenOS is a much better fit

A GNU/Linux smartphone is an even better fit for this. GrapheneOS uses Google hardware and AOSP written by Google.
Agreed. Titles that don't use quantifiers are almost always misleading at best.
> “Deref Key” documents whether ...

But it doesn't. The autor uses the cryptic words “Deref Key” and a checkbox but never says which side of the decision it actually refers to. So much work to produce a useless "documentation". Pro tip: Documenting stuff means you have to spell it out.
The cost optimal path (as CO2 taxes or the equivalent are imposed) will be to displace more and more fossil fuel generation with renewables, then short term storage, then (finally) some combination of very long term storage, transmission, and demand dispatch. At no point will adding more nuclear make sense. That fossil fuels are being used now is just a stage in the migration to 0% fossil fuel, assuming the world actually decides to do that (as it damn well better).
What's New in SQLAlchemy 2.1?
Yes sorry I wasn't clear enough. Rubber and chemicals from tires on the nice road surfaces. That's what that should have said.

But the legs are still a solution in search of a problem.
i like GNU/Linux but on smartphones they are inferior to GraphenOS security which is a integral part to privacy not to mention lacking app support.
What a disingenous question, yuck. No, whether ads are relevant or not was never the core issue, so that alone wasn't the cause of his actions (btw, doesn't sound like much effort tbh). The relevance of ads is just a symptom of underlying cause.
There’s no local industry to protect if you ain’t self-sufficiency. And it’s damn hard to protect self-sufficiency long term without protectionism if possible at all.
Stock photo sites are OK, you can just pay them some money and get the photo you want in a nice high resolution, and they actually have the necessary rights to sell you usage rights. (I've done that, yes.)

But there are also sites that use watermarks and don't let you pay, and a lot of those sites don't generally have any right to watermark the photo and I don't think they're OK. If they don't have the rights to the photo in the first place (they copied it from someone's twitter feed, instagram, facebook page), I don't mind removing their watermark.
Pretty sure your parent poster meant a small overall team. As in, the company is small enough that everyone knows who everyone else is and there’s little to no bureaucracy to reach the right person.

Doesn’t seem like your case at all.
A study of some epithelioid membranes in monaxonid sponges
The keywords are "sharding" and "partitioning". (seriously)
If a company operates in a country, they have to agree to audits. In this case - and I can't find any details about it - a group of French drivers made a complaint, presumably because they were aware that something fucky was going on with their data. It was enough of a lead to trigger an audit, to which the company has to cooperate with.
Great post and Elon Musk has similar rule in his thinking.

For anyone who liked the trick in the post consider checking out TRIZ: https://en.m.wikipedia.org/wiki/TRIZ

There are too many interesting ideas in this framework, but one of the first steps in the algorithm of solving a problem is to "Formulate ideal final result", according to TRIZ.

Now the "Ideal final result" has a specific definition: The part of the system doesn't exist but the function is still performed.

I'm having a lot of fun with this and other tools coming from TRIZ when solving problems every day. You might like it as well!

As for A/B testing and getting unexpected results: inside TRIZ there is explanation why it works - it is called "Psychological innertion". i.e. when engineer is getting a problem it is usually already formulated in a certain way and engineer has all kinds of assumptions before he even starts solving a problem. This leads to him thinking along specific "rails" not getting out of box. Once you have algorithm like TRIZ, it allows to break through psychological innertion and look at the problem with clear eyes.

Some other trick one might use to find interesting solutions to the problem from the post:
"Make problem more difficult". I.e. instead of how to make calculator simple and unrestandable, formulate it in a different way: "how to make calculator simple and unrestandable, visual, fun to use and interact with, wanting to share with your collegues?"

"Turn harm into benefit". calculator in the post is treated as a necessary evil. Flip it. Now we have a calculator, but we could show some extra info next to prices, which our competitors can't do. We can compare with competitors and show that our prices are better, calculator can serve as a demo of how customer is always in control of their spending as the same interface is available after they become customer to control their spend etc.

Formulating this way already gave me some ideas what could be added to calculator to make it work.

Hope it helps someone.
Another problem with internal polls is that you will have the point of view of those who make the feature, not the point of view of those who use it.

Imagine the calculator code was a mess compared to the rest of the project, it uses outdated libraries and updating would break it, it may have some security vulnerabilities, uses an unreasonable amount of resources and breaks the build system. No one wants to work with it. Ask whether it is a good idea and most people will say "no", hoping to get rid of that mess. In that context 70% is a very good number. If on the other hand, it is a feature people love working on, then 70% would be very bad indeed.
On a similar note, i always wanted to contribute to Firefox, but every time i looked at how to compile it i noped the fuck out of it. It's probably is doable on linux but it's sounds like a nightmare on windows.
I love German humour
Banks Realize Backing Elon's Twitter Buyout Close to 'Worst Buyout of All Time'