skysight-inc/HackerNews huggingface dataset:
> I'm pretty sure SQLite has covering indexes.

I checked to be sure I had not missed it, and didn’t find anything. You have expressions and conditions, but no covering. Obviously you can kinda emulate it by adding the columns you want to cover to the key, but…

> though if you want to enforce your own rules for things like dates you're still on your own

That’s what I was talking about, having richer types, and the ability to create more (especially domains).

Strict tables provides table stakes of actually enforcing the all-of-5-types sqlite has built-in. Afaik a strict mode is something that’s still being discussed if it ever becomes reality.
I was bitten by merge conflicts many times with such workflow. Not anymore
>> Despite this, the console had third party releases until 2020.

> So software sold in September 2022 can no longer run in April 2024, and you somehow try to justify that by "legacy platform"?

I tend to imagine that every third-party release for the Wii U in 2020 was built for the Switch and made available on the Wii U as a low-cost port. There were no vendors and no Wii U owners at that time who weren't well aware that the platform had died years ago.
Geneal Relativity is quite close to "settle"[1]. Perhaps it will get a small corrections at very high or very low gravity values, but nobody found them yet. It's important to verify[1] it in new scenarios, but nobody expects something interesting. But if they find something interesting, they get a Nobel price, so let's try.

[1] not yet falsified, if you want to get thecnical.
Nice. Ramadan / Eid is difficult as it varies so you can't put up an accurate notice earlier for on-call engineers.
How Google lost ground in the AI race
Just about a week ago open devin got about 13% on this benchmark. Just give it a few more weeks.

edit: apparently it's not the exact same benchmark but a similar one
Is Bitcoin More Energy Intensive Than Mainstream Finance?
The actually interesting one, with the generational references.
The VIPER pattern is my biggest bug-bear (but older than I realised: I didn't see it until recently, and it still seems to only be described on the German Wikipedia and not the English one), which seems to come with more glue code than business logic.

• https://www.mutualmobile.com/blog/meet-viper-mutual-mobiles-...

• https://de.wikipedia.org/wiki/VIPER_(Entwurfsmuster)

I also get annoyed by HTTP 200 responses containing JSON which says "server error", and web pages which use Javascript to re-implement links, image loading, and scrolling — all of which are examples of a high-level abstraction reinventing (badly) something that was already present in a lower-level of abstraction.
Does that come in handy often?
Show HN: Rx, the Deploy-as-you-save client for the cloud
rx is a lightweight CLI and runtime that lets you deploy any function instantly as you save it in your editor. It’s fast, simple, and takes care of setting up all your cloud infrastructure.

The best dev experience with everything you need built-in:
- auth
- permissions
- payments
- secrets
- storage
- logs
- email & SMS
- and way more

Related beta launch tweet: https://x.com/KhalidZoabi/status/1777673531972608249

Wanted to show it to you guys, gauge interest, and get some feedback.

There's a large roadmap of upcoming stuff.

Feel free to DM me on X for more information!
Nepal to remove trash and dead bodies from tallest mountain
this does seem to be nonsense, but people do really need to consider Telegram to be highly untrustworthy and not providing any privacy guarantees at all.

for some reason, lots of people consider it to be a similar sort of thing to Signal, but it's not - Signal takes privacy and security extremely seriously, Telegram ... does not.
X11 server side is a bit different case - generally you control all message flows there in custom way.

The windows message loop is essentially something you can create per thread, and "GUI" programs have one initialized for them (thus WinMain instead of main in C).

But you need no special work to create more threads with more loops, in fact making every top-level window a separate thread is trivial (doing it for sub-windows like widgets might be slightly more complex though).
Title made me think these would be keyboard switches in the same style as the "Unklicky" bed-leveling probes on 3d printers, where two magnets are used as a spring + as electrical contacts to complete a circuit.

I figure that making these hall effect based switches is more tedious due to the calibration needed. As for applications though, if the keypress could be made into an analog output, the keys could act similarly to shoulder buttons on game controllers or allow WASD/arrow keys to act similarly to a joystick.
Subtitles are extremely useful if you want to watch videos without audio, though. I think the whole idea of short videos is that you might be in-between doing things and be looking for some quick entertainment. In such a scenario, you're likely in a public place.
ChatGPT will give you the verses you need. ChatGPT is amazingly fluent in the Bible.
You can stuff anything in a pigeonhole if you try hard enough. Sure there are Polish and Chinese capitalism, but it's at an individual level. At other levels (corporate and services etc) it's different. And so on.

Describe the whole system, or we're just making sophomoric comments which don't help with understanding. "It's really just capitalism!" doesn't begin to cover the cases.
The JSON duality views is quite a neat idea.

You can get something similar in SQLite with normal views and triggers using JSON1 functions, but it would be a lot of effort to create those triggers manually.
Every time I have tried to use dotfiles across OS installations, it failed miserably. Software failed in mysterious ways when the configuration was slightly off between versions/builds.

Might make sense if you have a large amount of time to keep tinkering with your computer, but probably not a productivity boost in any form.
I quit after a few years of preparation, moving communications with my friends and family over to other messaging apps. It took time, and I had to accept that my extended network was still locked up in Facebook. If I had kids I fear that this would have been much harder.
Yeah, having to buy something other than the Ford™ Giga-MAX EXTREME FREEDOM F150-THUNDERBOLT for 95k would be awful.
Google CodeGemma: Open Code Models Based on Gemma [pdf]
Genie is deprecated
https://gitlab.gnome.org/GNOME/vala/-/issues/1473
Look at the data. Does that seem like the average bug report to you?
Nonetheless, Intel and AMD must be sweating as another hyperscaler breaks away from using x86 exclusively.
The article is written with errors and sounds like it was created by a bot, complemented with some fake quotes… I guess the battery is ok or is the point here to push BYD cars?
The entire setup is available for inspection, please see

https://github.com/nus-apr/auto-code-rover

if you need example bugs we can provide that too. Some examples also appear in the arxiv paper, please see

https://arxiv.org/abs/2404.05427
The Eclipse via Satellite
Yes it has been years since the WAL mode fixed this. And WAL2 is even better now.
"If you have a public or private key, you can see if the key appears in the pwnedkeys database using the pwnedkeys API."

Uh. In case anyone needs to hear this - don't send your private keys to any other computer. Keep them on the disk they were first written to.
A quick Google search claims that Tesla’s “4680” battery has an energy density of 244 to 296 Wh/kg. I don’t know enough about the industry to know if these numbers are right. If they are, seems like BYD is pretty far behind Tesla.

Anyone know if this is right? Or what I’m missing?
It looks like the "you" in your analogy is different from the "you" in mine.
> which is expected to enable nearly 1,200 miles (2,000 km) CLTC range.

That’s fucking huge. Bye bye range anxiety.

Drive across TX (El Paso to Texarkana) and more without bothering to recharge or turning off creature comforts (ie, AC).

Let’s just hope this Chinese company is not over promising
I wonder just how many images of the eclipse were taken and then uploaded as a result...

I witnessed one years ago and was completely awe-struck by it - or more, how tiny we all are in the grand scheme of things.

And we sit here on our chairs getting excited about data logs!
I had the unfortunate timing of starting my career in 2001-2003. There were no jobs available and I had dropped out of University due to lack of money (it was more complex than that, but off topic).

I started the rough way doing basic computer repairs until I came across someone that needed actual programming help. That turned into a 6 month contract, and from there a 1 year contract with a competitor. After that I got a full-time job.

In 2018 I decided to go and be a digital nomad. Getting contract work was now easy falling back on an extremely rich network from years of regular employment. I'm easy to work with and I go out of my way to mentor and help build teams up.

This is mostly done with personal messages on LinkedIn.
In my opinion, if someone can break TLS such as getting your private keys then they are likely also in a position to poison your E2EE code.

I use E2EE on IRC but the code is entirely separate from the IRC server. irssi-otr using OTR Off The Record library. Provided the IRC admin does not monitor private messages and kick me off for sending text they can not read, I can have private communication with any of my friends on any IRC server knowing full well that the admin can not read it. No amount of hacks or updates to the IRC server could possibly intercept and decrypt my messages regardless of whom compels the admin to make every effort to do so. This of course makes libotr a juicy target but that's another topic similar to xz but thankfully there are not yet a significant number of people using OTR, yet.

This leaves the only remaining option of "obtaining secrets by large wrench in person" but there are countermeasures for that as well.
> But I agree server side feels better for this. OTOH that means it is not really e2e as there is some machine with your unencrypted data on it ready to be hacked.

It's true this is a step up from "non-encrypted at rest", which has been pretty troublesome. But the whole point of E2EE is to defend against a hostile server. I can't understand the point of releasing an encryption toolkit, labeling it as "implements E2EE", but then ruling out the very thing E2EE is supposed to address from your threat model. The only reasonable thing to conclude is that this isn't E2EE. I'm not saying it's dangerous, or even that it's worthless, just that it's mislabeled.
Why would Intel want to sabotage windows?

Intel's fate has been tied to Microsoft for a large fraction of these companies' existence.

And now Microsoft is reportedly saving Intel by giving them a 15billion could contract.
Eight testimonials and it's clear the companies haven't been able to test anything yet. "[company] has been a trusted partner for customers adopting Arm-based virtual machines and an early adopter of Arm for our own operations. We’re excited about Google Cloud's announcement of the Axion processor and plan to evaluate it [...]'
Why You Should Go Open-Source
The entire setup is available for inspection from

https://github.com/nus-apr/auto-code-rover

Please try it out and send emails to the contact emails in this webpage, if you have any questions.
It would help if you were to provide a specific example or two
This is a good starting point https://en.m.wikipedia.org/wiki/Criticism_of_the_Quran
Love this guys stuff. Super easy to understand content on color which is deceptively really complex.
All of this is weird. Leaving a SSL CA open to anyone ~~the day official servers are close~~.

EDIT: Bug exists since 1 march 2021.

At first, it seems nice. But its impossible that Nintendo being nice in anyway, and even less more by adding a bug. This, and Pretendo that seems to expect the bug before the release.

I find this really suspicious.
Lying about what the commenter said isn't helpful.
Three-year study of young stars with NASA's Hubble enters new chapter
I think your posting style of making confident statements, but responding to counter-arguments with rhetorical cheap shots and condescending non-answers, is unsuitable for HN.
I'm not a SWE, but I will say often when these types of posts come up, people throw in "work on your management/people skills!" - even if you never manage, interpersonal skills in the work place can be just as useful as any hard skills. Here are three books I recommend:

https://www.amazon.com/Five-Dysfunctions-Team-Leadership-Fab...

https://www.amazon.com/Creativity-Inc-Overcoming-Unseen-Insp...

https://www.amazon.com/Managing-Yourself-Measure-Clayton-Chr...

Good luck on your journey, the fact that you're even asking these things is a great sign. :)
They probably already knew it was coming. Announcing it 2 weeks before Alphabet/Google quarterly results might be timed.
You now have something you didn't have before: two years of experience. That matters.

The first software engineering job is the hardest, because software engineering isn't actually the same as computer science. You wind up having to learn what software engineering is on the job. Now you have been there and done that, and you are considerably more employable as a software engineer than you were.

So don't lose heart. You managed to do it before, and you're in a better position now.
One big concern I have with this is that the state of LLMs because of issues in where it can go horribly wrong, requires someone who is familiar with the subject to evaluate their output.

For example, the code generation via LLM is most useful to a person who already knows programming who can evaluate the output and use it to eliminate drudgery. Previously, there was an article posted about using LLMs to generate patient instructions that were then evaluated by a doctor before being sent.

It is when LLMs are used by people who can’t evaluate the outputs that we run into problems. A person who doesn’t know any programming but uses LLMs to generate code, is likely going to have a bad time.

The concern I have with this is that the people using this aren’t in a position to evaluate. Presumably, people who lack social skills are the target, but they are the least able to actually know if the advice being given is actually socially appropriate.
Downside is that GCP still has the same faults regardless of which CPU is being used. Things like poor customer interaction, things not working as designed etc. Switching to ARM won't solve that.
Author published a ready-to-use Docker image:
https://hub.docker.com/r/yuntongzhang/auto-code-rover/tags
Cannabis use is linked to a lower likelihood of experiencing cognitive decline
You know the trope where the speaker is rude and crude but their translator renders their comments in polite diplomatic terms? Like "fuck you and the horse you rode in on" translated as "with respect, I emphatically disagree"? Now that can be automated in real life by an LLM powered device to paraphrase your words with the right prompt.

Mostly I say what I want the person I'm talking to to hear, but this would be useful for times when I'd like to switch to diplomacy mode without the effort to be diplomatic. Like job interviews or other sales pitches.
Even as an Intel fanboi, I admit there's an argument to be made that Intel GPUs' brand reputation is essentially Windows Vista levels of dead in the water.

The ARC silicon is clearly impressive and very likely better than anything AMD has, but is dragged down by past and present software issues (which to be fair continue to improve) and the decades-long reputation of "only good for diagnostic and office work" Intel iGPUs. ARC needed to make a fucking splash of a first impression and Intel couldn't deliver, even their sole selling point of AV1 hardware encoding was quickly eliminated.

Intel should reboot the branding once ARC actually becomes presentable to the masses; maybe even drop the Intel name altogether because the baggage is just that heavy. The only people deliberately buying them right now are tinkerers and devout fanbois with more time and fervor than sense respectively.
How does that work if there's a conflict? Whether or not there's a hash involved, you still have to manually apply the patch to each branch, would you not? If there's no conflict, merging each branch up in git is not hard at all, but it's still a tedious extra 'n - 1' operations that you don't need in chezmoi.

For example, say I have a line "export FOO=bar" in my .bashrc on one machine and "export FOO=baz" on another. If I then indent the line on the bar branch and try to merge to the other one, something has to tell the baz branch that the right line is both differences: " export FOO=baz". Except the conflict may not be so obvious to resolve as that! And whatever you do, you'll either have a "trellis" of 'n' branches if you merge, or 'n' parallel linear branches if you cherry pick everything. Both of those history layouts quickly become very hard (to me at least) to make sure they all contain everything they should and nothing they shouldn't.

Whereas with chezmoi, the bashrc file is a template that is the same on all machines that simply says "export FOO={{ fooval }}" and chezmoi does the templating. So you can just indent the line and fast-forward/apply on other machines and that's it.
How do you do, fellow "gluing neoverse cores to synopsys IP" hyperscalers?
I don’t think it’s that complicated of a question, and you’d be pretty hard pressed to argue that the economies aren’t more capitalist compared to their predecessors.
MIT License text becomes viral "sad girl" piano ballad generated by AI
I'm not sure, but my understanding was that this is to reduce browser fingerprinting.
How does Cloudflare know what the searches were made over the internet ? I am assuming all communication happening over search engines is TLS protected.
> With proprietary/closed code, the probability is zero.

People discover bugs all the time in closed source software...
Xfce is very configurable, and it's fairly trivial to set up tiling-WM-style keyboard shortcuts for window positioning, and get the best of both worlds.
GTK3 did not break its C API. The CSS you could inject was arbitrary and undocumented. They stabilized and documented that in 3.20, yes. I think its very dishonest to say the toolkit was breaking, the vast majority of GTK3 apps didn’t have regressions IME.
Tesla's battery is NCM, not LFP
This is super fascinating stuff, excellent work. As most of us don't have the time to read the entirety of the paper, are you able to directly link to some issues which have been landed and closed? Some personal favorites would be awesome :)

I think I speak for others when I say the best way to judge the efficacy of this project is some real-world, on-site examples of it being used in prod. I'm especially curious for its performance in feature-request or flakey bug report type issues as opposed to reliable test failures. I expect the former is much tougher!
The prompt was just the lyrics and "Piano singer/songwriter" for the genre. That's it. This was probably the best out of 8 tries. I bought a stupid amount of credits if you want me to run anything through it, shoot me a message.
Lamenting the lack of public information is a far cry from dogpiling on the guy.
As much as I don't trust google and their customer service is trash, their infrastructure is mostly good and some of their services are very aggressively priced. I wouldn't 100% buy into GPC but a multi cloud solution that leverages some of the good bits is definitely a top tier approach.
I was thinking about this before learning about any of the ones in the post, if that's what you're saying.
Steven Levitt and John Donohue defend the abortion-crime hypothesis
Nope, you need a notch filter.
No foreign keys are used. A separate database table is used to track relationships.
Varoufakis' point is not about the size of those entities, but rather the nature of economical relationships inside these realms.

Of course the analogy will break at some point. Every single analogy will.

We should also ask which kind of power structures have nation states borrowed from feudalism, and which ones were borrowed again by big tech.
AI consciousness is inevitable: A theoretical computer science perspective
Sure, if we two meet in the forest and I swap my piece of fur for some dried meat it is a win. But the problem with capitalism is that in the long run it starts to centralize in a similar manner as communism for efficiency and thus goes against the "Local knowledge problem"[1]

As a result what typically happens is that general quality goes down and that is what we observe can right now.

Please also read my other response in this thread.

https://news.ycombinator.com/item?id=39978645

[1] https://en.wikipedia.org/wiki/Local_knowledge_problem
You seem very confused by this in your comments. Did you read the article? The Swiss government was found to be out of line with its own policies and laws.
Penpot 2.0 Released
I “use the platform” so clicking a new tab shows the browser loading state. If you’re on a slow network, that’s the way I go about it.
What does 'only let us slip' mean to an LLM when you probably meant 'let IT slip'?

That's where LLMs get interesting to me. What did you invoke through wrongly specifying what you wanted?
Tesla uses some of the current gen BYD batteries in their low end models.

So they're good enough for some uses, but energy density was a stat they trailed current battery tech on. Any improvement in that stat just expands the area where the trade off makes sense.

This article claims a quarter of Model Y in Germany use the LFP battery from BYD, and covers the pros and cons:

https://www.electrive.com/2024/02/01/what-can-the-tesla-mode...
> But there's a detail here that its hard to answer, or at least for some platforms. Given the complexity of some of these algorithms, do the techno lords have that sort of control of deliberate control, or it's just the uncontrolled optimization for a given outcome?

Given that most giant tech-platforms heavily conform to and moderate with a target of left-leaning values, I'd wager that deliberate control does exist.
You can add Gare Saint Lazare in Paris !

https://www.garesetconnexions.sncf/fr/gares-services/paris-s...

Reportedly 51 french train stations have a piano according to the SNCF official website :)

https://www.garesetconnexions.sncf/fr/actualites/pianos-revi...
I would assume they sat on this until Nintendo shut down service to ensure they wouldn't push a fix.
There's nothing in this blog about searches. It's just raw traffic data across all the sites/services that use us. So this is showing overall change in traffic while the eclipse was happening and isn't related to what people were actually doing on the Internet.
This is powerful! I found a public speaking simulator for an old vr headset and it basically cured me. Im still shocked.

But alas I can’t find something similar for the quest so my kids can use it.

Someone could make a whole line of social exposure therapy apps. It would be amazing.
The developer(s) responsible for the bug, whether it was accidental or not, are likely not the same people in charge of Nintendo's legal and/or marketing strategies.
What do you mean by searches? The article talks about internet traffic in general, which they can monitor.
This shows how easy it is to put a backdoor inside a chip that is connected to a network port.
I think the benefit here is mainly in lowering the barriers to entry for this kind of conflict-resolution training. Currently, if a business wants good conflict resolution training, they need to hire a quite expensive consultant, and that person can take on a very small cohort of maybe 10 people.

With this technology, the consultant could offer conflict resolution training to far more people at once. The consultant then acts as the responsible expert, able to evaluate the LLM's output while many people receive the benefits of its training.