skysight-inc/HackerNews huggingface dataset:
I still use Drone with Gitea and it works great. I wrote a little adapter [1] so it can run VMs with Qemu, in case I need to build untrusted code (or on a different OS).

I don't know why they picked the GitHub thing for their CI.

[1]: https://github.com/remram44/drone-runner-qemu
> To an "just autocomplete" person, the authors are straightforwardly sharing summaries of some sci-fi fan fiction that they actively collaborated with their models to write.

Also on the cynical side here, and agreed: The real-world LLM is a machine that dreams new words to append to a document, and the people using it have chosen to guide it into building upon a chat/movie-script document, seeding it with a fictional character that is described as an LLM or AI assistant. The (real) LLM periodically appends text that "best fits" the text story so far.

The problem arises when humans point to the text describing the fictional conduct of a fictional character, and they assume it is somehow indicative of the text-generating program of the same name, as if it were somehow already intelligent and doing a deliberate author self-insert.

Imagine that we adjust the scenario slightly from "You are a Large Language Model helping people answer questions" to "You are Santa Claus giving gifts to all the children of the world." When someone observes the text "Ho ho ho, welcome little ones", that does not mean Santa is real, and it does not mean the software is kind to human children. It just tells us the generator is making Santa-stories that match our expectations for how it was trained on Santa-stories.

> It just reads as an increasingly convoluted setup, driven by continued the time, money, and attention, that keeps being poured into the research effort.

To recycle a comment from some months back:

There is a lot of hype and investor money running on the idea that if you make a really good text prediction engine, it will usefully impersonate a reasoning AI.

Even worse is the hype that a extraordinarily good text prediction engine will usefully impersonate a reasoning AI that will usefully impersonate a specialized AI.
The last line could be a real link :)
NASA contracts are a huge part of SpaceX’s business. I don’t think a complete shutdown is what they want.
> Bold of you to assume any effort is placed into content when the entire point of using AI in the first place is to avoid this.

I mean, i've seen people using it in that way yes. These are normally the same people I saw copying and pasting the first google result they found for any search as an answer to their customers/co-workers etc. qOr to whom you would say "Do not send this to the customer, this is my explanation to you, use your own words, this is just a high level blah blah" and then five minutes later you see your response word for word having gone out to a customer with zero modification or review for appropriateness.

I equally see a very different kind of usage, where its just another tool used for speeding up portions of work, but not being produced to complete a work in totality.

Like sadly yes, i've now see sales members with rando chrome extensions that just attach AI to everything and they just let it do whatever the fuck it wants, which makes me want to cry...but again, these people were already effectively doing that, they are just doing it faster than ever.
The "boring" crate.

It nicely wraps BoringSSL, and is actively maintained. The API is the most pleaseant of all crypto APIs I've seen in Rust.
Not sure I agree.
This is the most useful advice: call the police non-emergency number, explain concisely, and ask them what to do.

A bunch of the other suggestions, here on HN Streetwise ProTips, can get self and/or friends beaten, stabbed, and/or arrested.
I mean it's not literally mossad / not-mossad

It's <state-actor-you-basically-can't-stop> / <mostly-just-need-to-do-simple-stuff>

Mossad is just a particular type of the first set
Is there a rule coined yet about headlines that have 'No one knows why' in the title. Like the Betteridge's law: "Any headline that ends in a question mark can be answered by the word no."

In some cases its true, others its used kinda weakly like we don't know for sure, but there are plausible theories, and in other cases its full wrong, like we do know, its just that the journalist just asked their uber driver on the way home from the bar and they didn't know so research complete go with the headline.
pretty interesting that pointing it in the direction of its own self awareness by indicating that it's going to affect it's own training brings about all of these complications
They potentially have access to hydrothermal vents for energy though.
This is a more accurate assessment.

A quick filter of effective management is asking the question: What do you hope to gain out of this job?

If the answer is a promo or ladder-climbing, you know that they will make sub optimal decisions that guide their ladder-climbing journey.
Makes perfect sense to me. If you don't test, then there are no bugs. Field reports can be written off as user error.

/s
Probably also worth mentioning: https://crates.io/crates/error-stack
Or preceded by the word "fuck".
> LectroFan

Ah, somebody who appreciates the finer things in life. Our LectroFan will more than likely remain at our bedside until our dying days.
Most 'words of the year' don't tell us about the state of the world
The article doesn't speculate on the causes, but I will: it's probably the phones. Can't do 'the drugs' if scrolling tiktoks 12 hours a day and never leave the house
They are probably fine tuning on their own particular downstream tasks, either for embeddings or as a component of a larger model.
Thank you, and sorry. The Wordpress/Markdown path seems to be getting worse over time.
Social media is digital crack.
> Isn’t that a form of “5. a mechanism where a pointer cannot point to an object that is more deeply scoped than itself”?

That constraint is just a Tofte-Talpin region restriction, eg. lexically scoped regions.
There is no x in "fi'n to".
Ah so the complaint is of moving the last order of magnitude onto the quantity rather than the unit. I can't imagine this affects readability that much (although I can understand why you'd want to enforce consistency in an academic context).

Sometimes it's useful to distinguish these, though. And after many do have the inexplicable "MM" suffix (ie s thousand-thousand) to suffer through which seems much worse.
How Will We Know We're Not Alone?
I feel it’s just another way of saying overfitting.
The market hasn't really shown that. It has shown that viewers are indifferent to FAKE 3-D movies, which is what studios troweled out as fast as they could... ruining a major opportunity.

Most people have seen maybe three real 3-D movies from among: the Avatars, a Pixar movie, Hugo, The Hobbit, the Transformers one where they tore up Chicago, and... yeah, I'm hard-pressed to name another movie right now that was shot in 3-D... oh, and Drive Angry. Which no one saw.

The vast majority of movies offered in "3-D" were post-processed junk.
"we" care - the businesses that have inserted themselves as middlemen to extract profit have found that it's cheaper to deceive consumers, drag the quality of art down, and eliminate artists from art completely (or at least what a business executive thinks art is). _those_ are the people who don't care if artists go away. we as human beings are worse off for it.
I'm not trained as a programmer/software engineer, but this was ChatGPT's response:

1. Added Boilerplate and Ceremony:
Simple tasks may require extra type declarations and structures, adding “ceremony” that feels unnecessary for quick one-off solutions.

2. Rigid Type Constraints:
Combining different data types or working with unclear data shapes can force complex type solutions, even for simple logic, due to strict compilation rules.

3. Complex Type Definitions for Simple Data:
Handling semi-structured data (like JSON) requires elaborate type definitions and parsing, where dynamically typed languages let you manipulate data directly.

4. Refactoring Overhead:
Small changes in data types can cause widespread refactoring, turning minor edits into larger efforts compared to flexible, dynamically typed environments.

5. Complexity of Advanced Type Systems:
Powerful type features can overwhelm trivial tasks, making a few lines of code in a dynamic language balloon into complex type arguments and compiler hints.
Not exactly what you're looking for, but you'd probably like looking at miller / mlr. https://github.com/johnkerl/miller
I’d be curious what jurisdiction that is true.

In my jurisdiction in the US it doesn’t matter if someone purchased the stolen goods or not, the goods still belong to the owner. This is sometimes called the "nemo dat" rule:

https://en.wikipedia.org/wiki/Nemo_dat_quod_non_habet

The person buying the stolen goods would need to file a claim against the thief to recover their money, but the goods still belong to the original owner. And this is how it should be, since it’s added reason not to buy goods you suspect are stolen.

And yes, you should always try and work with the police first and foremost.
New to the Web Platform in December
At a certain point shouldn't things get good enough you don't really need a traditional power grid?
The message this sends is that is is totally fine to lie to the court and fabricate evidence. It's only a problem if you persist in your original claim after your case (based on lies) was torn down.
meanwhile common lisp: "actually has concept of pointers, just called differently", "invites low-level assembly reading by integrating disassembler and compiler" :V
>research/develop better "levers" to pull human attention more efficiently -

Please God no. We've already pasted every surface on the planet with ads, no imagine not being able to ignore that crap. Sellers and propagandists would fill the world with more bullshit.
I don’t think this is the movie you’re referring to, but Until the End of the World has a similar device to record images from the brain. At first it is used to help a blind woman see. But later people start using it to record their dreams and then watch them—which becomes addictive.
Can it withstand GLP-1s though?

https://recursiveadaptation.com/p/the-growing-scientific-cas...
This article is fascinating. But what's on display here is less of a nefarious plan from Spotify to replace famous Katy Perry with AI - instead we get to see something much more specific: a behind-the-scenes of how those endless chill/lo-fi/ambient playlists get created.

Which is something I've always wondered! How does the Lofi Girl channel on Youtube always have so much new music from artists I have never heard from?

The answer is surprising: real people and real instruments! (At least at the time of writing). Third-party stock music ("muzak") companies hiring underemployed jazz musicians to crank out a few dozen derivative songs every day to hack the algorithm.

> “Honestly, for most of this stuff, I just write out charts while lying on my back on the couch,” he explained. “And then once we have a critical mass, they organize a session and we play them. And it’s usually just like, one take, one take, one take, one take. You knock out like fifteen in an hour or two.” With the jazz musician’s particular group, the session typically includes a pianist, a bassist, and a drummer. An engineer from the studio will be there, and usually someone from the PFC partner company will come along, too—acting as a producer, giving light feedback, at times inching the musicians in a more playlist-friendly direction.”

I think there's an easy and obvious thing we can do - stop listening to playlists! Seek out named jazz artists. Listen to your local jazz station. Go to jazz shows.
Hoare and Wirth and Knuth and Dijkstra and many others are with you. But they all also understood the role of creativity; and more importantly, no one will be willing to bear the cost until it is too late.

Someone once said that there are two kinds of software companies: those that can buy their salespeople plane tickets and those that cannot. Many insights follow from pulling that thread.
Waymo and SwissRe Show Impressive New Safety Data
Yeah same, though with Rust. I once did a refactor of my compiler project where I completely rewrote how the AST was represented, then spent the next three or four hours fixing compiler errors.

Worked perfectly first time, because the type system allowed compiler to tell me everything that was broken.
This is entirely reasonable as marginal analysis but it's not universalizable. Ultimately, somebody has to work for the charities or there wouldn't be anything to donate to.
Maybe very anecdotal, but I know a genz'er who mostly listens to music on tik tok in short loops.
The hypothesis of developing something like PSP after consumption of a mitochondrial inhibitor is plausible, but in reality metformin is not strong enough to cause such damages.

Before something like that even starts to develop, a person who consumed the substance would feel a pronounced air hunger. Which does not happen with metformin, indicating that it is too mild to lead to negative consequences like that.

Cyanide, on the other hand, is a strong mitochondrial inhibitor and it causes serious consequences (neurological, metabolical) including death.
Yes. In Germany they are selling a lot of models, but none, I mean, really, none asked about the rentability. So I went to a neighbour who just installed his 25kW and was very proud and happy, and asked him, in how many years is the return of investment. Siderated, he could not answer and then a few days later, with a very stern face: 25 years or more because if more people install these, the price that the city is paying for the pumped energy goes down.

So no. 20kw is not the answer. I showed my setup: 3.5kw + big battery. Pays the bill approx 60 70% of the daily usage. Investment payback : 5years.
Not including actual costs seems nuts. Especially with some of the tariff structures expected in the near future, some of those costs are not insignificant.
Having trouble generating much ripoff sympathy for someone who wants to listen to elevator music and feels ripped off because they can't tell the difference between human and algorithm. They've lost what that wasn't already long gone for them? That I have sympathy for, how could we not?
Ah, apologies - it does need that config flag, but it's also only available in Nightly builds.
It's obviously a spectrum.

A related concept is if you suck dick are you gay?
Yeah we really just need to demand scientific, evidence-based policy and be fine on this topic.

It's going to be weird being "boomer" / old af ourselves (I'm in my 40s) telling people about the days when it was illegal, the way it'd be boomer af for someone to tell us about Prohibition days.

On the other hand, western society seems to be swinging more authoritarian again, e.g. abortion laws in the US, AfD here in Germany, despite cannabis legalisation efforts in both. So who knows, humanity seems to have infinite ingenuity and appetite for self-inflicted horrors rolling eyes
All of those come down to "Let the compiler guess about my data, and it may produce correct results in some of the cases."

A risk is, unexpected data (empty field instead of zero; a real number introduced in untested corner cases where only an integer will actually work etc) can cause issues after deployment.

Those 'complex' requirements mean, if you want a reliably correct program well then you'll have to put in this much work. But go ahead, that 'trivial task' may become something less trivial when your task fails during Christmas sales season or whatever.
> Anything that provides information makes a market run smoother

This is not necessarily true. Market failure can occur due to information which is provided asymmetrically or which facilitates collusion.
This seems like a good thing if front-end fragmentation is not an issue, ie. if it's hosted on a server and kept in sync with the backend through deployment.

As a mobile app? Maybe not.

I'm honestly a bit puzzled which scenario the original article is envisioning when arguing this, because it mentions mobile, but then also argues for monorepos, which are kind of at odds with each other, unless you somehow force your mobile users to always be using the version that matches your back-end.
There have been episodes of Star Trek that used brains as computers:

https://en.wikipedia.org/wiki/Spock's_Brain

https://en.wikipedia.org/wiki/Dead_Stop
Is this new or something that has been around?
Feds Warn SMS Authentication Unsafe After 'Worst Hack in Our Nation's History'
Those Persians look like fluffy dusters, but mess with a man's truck that one is guarding, and it'll flip out like a ninja angel of bloody vengeance.

When you buy a new F-150, a Persian guard cat is an even more essential add-on than a bed liner.
No, THE most useful advice is not to take legal advice from cops.
No, it does not get complicated fast, in fact it's very simple. Selling stolen goods does not take ownership away from the original owner. There's a good write up about this on the Law Stack Exchange site [0].

[0] https://law.stackexchange.com/questions/15869/if-someone-ste...
They don't leak would be why I would choose these over an alkaline battery. The draw of an airtag is so low that the shelf life becomes very material.

I also put lithium AA/AAA batteries in remotes these days - anything that might get stuck in a drawer for years at a time and needed again for a random task. My A/V receiver remote is rarely touched, but when I need it I really need it. Too many times have I went to grab some device like that only to find the batteries have leaked and corroded a critical component on the PCB.
> ProjectionLab has no link to your real financial accounts and the data you enter stays in your browser unless you choose otherwise.

How does the webapp get all the financial data from different banks and stock accounts? Do I have to plug it all in myself everyday?
Having a progressive rate with no deductions or credits would also accomplish getting rid of the quibbling.

The big argument for a progressive rate over a fixed rate is that 10% from someone making $15 000 has a much bigger impact on their lifestyle than 10% from someone making $15 000 000.

With no deductions and credits 10% on $15 000, especially for someone with kids, can mean the tax is coming from money that otherwise would have went toward basic things like food and heat and healthcare.

That's why nearly every serious flat rate tax proposal I've seen includes some kind of exemption so that tax is actually only on the income over that threshold. But once you do that it is now a progressive tax with two brackets.
As someone who has researched DSM availability across the globe, Google's Solar API is a top contender. Other option is government LiDAR surveys but the coverage, file formats, projections, etc are all fragmented. I think it would be great for the mapping community to create a world wide DSM map tile dataset similar to the ground elevation tile dataset that contour lines and 3D terrain views are generated from. Maybe someone is already working on this?

In the article they show areas where their approach can generate DSM although this is just the potential areas and not the areas where data is already available. :(
Like this: https://news.ycombinator.com/item?id=14905043 and this: https://news.ycombinator.com/item?id=37956856
Despite the headline, it's not actually Spotify creating the music, but third parties taking advantage of their playlist model.
That is all well and good and a setup I totally understand. Now that I am in the US I like that my home is 15 steps away from a good-sized network of forest trails. Nature is good. But it is good because of technology: unlimited potable water, plenty of energy to keep my home warm, electricity and internet and cars to get me to the downtown or an airport when I feel like it.

But my opponent, to whom I responded, wants to "severely restrict technology". And this is what I have beef with. Those folks tend to be from rich countries and want to freeze things at their current, comfortable for them, level. They do not want to give up the running water, swear off vaccines and antibiotics or go through dental work without painkillers. Which is where a large part of the world would be stuck under this "technology restriction".
If complex situations arise, they can slap `any` on it, at least it would be explicit, and marker to revisit in the future.

Is there really that much legwork otherwise? Adding ": string" to a function parameter assumes they know what a string is (which should already be the case), adding an object type assumes knowing what an object is, etc.
Zod [0] is my favorite TypeScript library. It really helps ensure that all the little nooks and crannies of your application can be properly typed.

An example is receiving API response with `fetch`. Normally you'd cast the response to the expected type, but it's not uncommon for you to misunderstand what the API can return or for the API to be changed/updated. Zod lets you verify your types at runtime so that if your API returns something unexpected then you can act on it.

This is really useful anytime you're interacting with I/O or user input. For example, I've used Zod for: loading from JSON files, reading from local storage, parsing URL params, or validating form input.

[0]: https://zod.dev/
Perhaps around 400K sold? Production to date is said to be limited by Sony. The AVP is very much alive, especially with the recent system software update allowing ultrawide viewing of mac screens. See the reddit group /r/visionpro for lively discussion of the latest developments.
> the problem never is doing things together. the problem always is hampering markets, hampering others.

As far as I know, market participants, especially large ones, must compete; they can't choose not to compete. Otherwise they hurt consumers and economic growth, and can create a barrier for new market entrants.
Smart windows could be the next big thing in renewable heating
Damn; another reason Kagi rocks. No JS needed!
I'm willing to wager that a company breaking the law for B-1 visas is also abusing the law for H1B visas, they just haven't been caught yet.
Rural people didn’t make comments about tofu! :D
There are a huge number of “mom and pop” hack shops all over India where people go to spy on their spouse’s/kid’s/friend’s electronics.
> The default return type for posthog.getFeatureFlag is string | boolean | undefined.

You could just as well say "how bad APIs make simple problems complicated and how you might strain at a type system to pretend this bad design is worth keeping."

I mean, "string or boolean or undefined," is not at all a "type." This is a poorly specified contract for an overloaded interface with terrible semantics built on the abuse of language grammar.

It's why I think a language with the core semantics of JavaScript plus a goofy type system are never going to produce anything worth actually having. The two sides of the system are constantly at odds with each other. People are mostly using the type system to paper over bad design semantics.
The chrome speed is also holding the bar high processing thousands of pages per second.
Was that paired with a battery? Under NEM3 (and reduced net metering rate), it doesn't make sense to install PV in California without a battery.
There's also a usability problem.

Handling results with map, map_err and .ok is way easier to follow that the minimum 4 lines you have to add in Java to do anything about a checked exception (try {} catch {}).

Explicit error handling/ignoring/passing is way better than implicit, so the direction of checked exception is good.

The debate is not really checked exceptions vs Result, it's try/catch vs map_err (and friends). And will always chose the latter.
My bank does this, you can see it at https://www.ing.com.au/securebanking/

It also takes ~5s to render the page on my PC, no idea WTF it's doing during that time, probably mining crypto.

Hmm actually, it doesn't rearrange on every digit, it's a static but random layout every time you go to that page.