skysight-inc/HackerNews huggingface dataset:
Every. Single. Time. I have tried to learn a new library with chatgpt it has been wrong and I just went to read the docs myself.

I like that it can figure out my boilerplate, but I wouldn’t trust any info it spits out.
Sure, in the same way that you not donating your home to the state is money out of the public coffers as well.
There's two reasons why "halting problem" does not mean that's impossible in practice. First, the halting problem deals with arbitrary length programs that have infinite memory. Second, we don't need to solve "all cases" of the problem. You could have a system that times out for some inputs but is still very useful.
That's a good question. I don't think I'm including reddit here because those are moderated spaces on a fixed topic. I consider social media more people posting top level things that others can choose to follow directly. So social media is more like people meeting and talking, whereas reddit is more like an interest-based society meeting and talking.
It does seem like a bit of not totally accurate shorthand: totally real isn't a property of a number, but rather of the extension field where it lives. So sqrt(2) is a root of x^2-2 whose roots are +/- sqrt(2), and the splitting field of x^2-2 is Q(sqrt(2)) which is totally real. But sqrt(2) is also a root of x^4-4 whose roots are +/- sqrt(2) and +/- i sqrt(2), so the splitting field doesn't live inside the reals. The wiki article explains it better. I was unfamiliar with this idea before.
How would this surprise one-off holiday be accounted for programmatically? Does the government provide an API you can ping every day? Or you scrape the news feeds and feed it through ChatGPT?
A similar thing happened/is happening in Europe, as a lot of non-native speakers interact with each other: https://en.wikipedia.org/wiki/Euro_English.
Other than a few token places that you might see on the news, crypto is not really used as money. And never will be. Transaction fees.
I like patio11’s writing, but this has so much joking commentary compared to his usual articles. It felt like a discworld novel. If patio11 sees this: I like your writing, and your jokes are funny, but I’d like them more if you just kept the half that were funniest.
„In general, a lot of the AI takes I see assert that AI will be able to assume the entire _responsibility_ for a given task for a person, and implicitly assume that the person’s _accountability_ for the task will just sort of…evaporate?“

This is a key insight.
as @lapcat noted, there is a paywal preventing access to the information you refer to. this is somewhat subpar, pls link open information, quote or idk something

https://sci-hub.st/https://doi.org/10.2466/pr0.1995.76.1.43
It’s always been an illusion that you can draw conclusions from light that hit a film or sensor for 10 milliseconds.

Ever noticed how difficult it is to take a snapshot where all the people involved don’t have some weird expression on their faces? Well, news media have been abusing snapshots of such “weird faces“ all the time. Tesla stock down? Frowning Elon pic it is!

Let’s not even talk about fashion models or McDonald’s product photography.

AI is now just driving that hole notion ad absurdum to a point where no one can stay naive about it any longer.
Yes. We'd be documenting Struct APIs. And also we want to identify the top 5-7 most popular Slack integrations, and build them ourselves for Struct.
the funny thing is that exists, freesync over hdmi works via precisely this mechanism (sending a DP signal over hdmi) since it predates the official introduction of HDMI Org VRR lol
I also found that when building a feature iteratively, with feature flags for rollout, a simple feature degradation path often appears natively.
> If 0.01% of the transactions a bank processes daily need some form of human intervention

Then these transactions will be delayed anyway. You could still process 99.99% of the transactions on Sunday.

Visa, Mastercard, Paypal as operate 24/7. ATMs operate 24/7. Neo banks allow intra-bank transfers 24/7. And they deal with the fraud and AML stuff.
If the US manufacturers can't compete with Chinese manufacturers on price / performance, then there are laws enacted to protect them. And laws are always "for the greater good."

And we always have justifications ready: war on terror, war on drugs, war on child pornography, war on fake news with more wars coming.
The other article is missing the blaming the public part.
This reminds me of when Cisco did Public Cloud.
One of the most satisfying feature degradation steps I did with FastComments was making it so that if the DB went offline completely, the app would still function:

1. It auto restarts all workers in the cluster in "maintenance mode".

2. A "maintenance mode" message shows on the homepage.

3. The top 100 pages by comment volume will still render their comment threads, as a job on each edge node recalculates and stores this on disk periodically.

4. Logging in is disabled.

5. All db calls to the driver are stubbed out with mocks to prevent crashes.

6. Comments can still be posted and are added into an on-disk queue on each edge node.

7. When the system is back online the queue is processed (and stuff checked for spam etc like normal).

It's not perfect but it means in a lot of cases I can completely turn off the DB for a few minutes without panic. I haven't had to use it in over a year, though, and the DB doesn't really go down. But useful for upgrades.

built it on my couch during a Jurassic park marathon :P
I was on Gnome on my laptop until January 2024 (was running KDE on the desktop). I have gotten a Mac laptop for reasons and... I stand by my judgement.

I think you could say Gnome is better than MacOS's DE, or that it's worse (to be clear, I don't think it's worse really), but my point was more that the design philosophies are close along so many axes
I maintain a C++ codebase that was originally written in 1996, and is mission critical for my organization. Originally maintained in Visual Sourcesafe, then in TFS source control, and now git. Some parts of it were rewritten (several times) in C#, but the core is still C++.

I was very worried when we transitioned to git that history will not be preserved and tried to preserve it, but it proved too much hassle so I dropped it.

In fact that proved not to be a problem. Well, not a problem for me, since I remember all the history of the code and all the half forgotten half baked features and why they are there. But if I'm gone then yes, it's going to be a problem. It's in a dire need for a rewrite, but this has been postponed again and again.
I know our american friends live to work but 25 days vacation isn't even that much.
What is 996 (short googling gave only a model of a sports car)
I thought OP meant to imply that the readability could use some tweaking. You have 'disable', 'enabled' and 'False' used in the same expression so it requires some (more) thinking while reading it and trying to decipher what it's trying to do.
Good news, there is Plasma Mobile.
Hey! I wrote Claro so I can speak to this :). There are certainly some constraints to get these properties.

To eliminate deadlocking, Claro tracks any explicit "blocking" on the completion of a future<T> and requires the containing procedure (and any dependents) to be explicitly annotated as "blocking", and then these blocking procedures aren't allowed to be called within a Graph procedure OR be scheduled on the Executor directly in the form of a lambda for example.

Data races are prevented by simply making it impossible for two threads to share a reference to mutable data. The most obvious consequence here is that mutable data can't be passed into a Graph Procedure, and none of its internal nodes can evaluate to a mutable data type. Less obvious is that lambdas cannot "capture" mutable data. If they were allowed to capture mutable data, then they would effectively become stateful "objects" themselves in a way that the type system doesn't track (a `function<int -> int>` has the same signature regardless of what it captures) so this would effectively be a backdoor to allowing mutable data to leak between threads.

More details here: https://docs.clarolang.com/fearless_concurrency/fearless_con...
Just get 7900xtx cards and use MLC the performance (about 30 tokens/s) is comparable at 1k/card. And the Linux driver support is better.
Yes, and extending existing contracts based on new requirements.

But also contract validation, like check if something missing or finding loopholes. If they are sneaky, they could sell that information to lawyers, who can definitely make use of it.

I'm not inherently pro-AI, but there are indeed valid and interesting use cases for such models, if the data can be anonymized correctly. And I'm not sure if it makes sense to single out DocuSign, because there are probably many companies which train their models on similar data.
Yup. That's the point I'm making. Slack is used as ephemeral messaging system, a knowledge void. Struct aims to proves that more is possible.
> Technologists thought, how easy it is. A year has only a few hundred days, and there are only a few dozen possible rules for buses. Brute force is enough.

> Nobody got the problem right. It gave me a great appreciation for how complex when technology interacts with culture and customs, long before my professional career.

For those of us who weren't there, could you let us share in that appreciation: why wasn't brute force enough?
> - kafkaesque standups where features/bugs are explained by ‘ai’ in a painful loop

Could you elaborate on that one? It sounds "interesting".
If only Google could be convinced to adopt this marvelous codec... Not looking super positive at the moment:

https://issues.chromium.org/issues/40270698

https://bugs.chromium.org/p/chromium/issues/detail?id=145180...
Is this really anything more than jargon? Seems a bit overwrought/self-indulgent to call it much more.
Stack Overflow and Google Cloud Announce Strategic Partnership – Generative AI
I know. It doesn't talk about responding to citizens as far as I can tell, can you quote where it does?
Should make this into a podcast episode for parents. “No mode”. Kinda went extinct for a decade. But maybe it’ll be rediscovered.
For automated gas stations where you pay at a machine, this is standard also in Europe.
> But so does resolving to a date. I don't see how resolving to a date which cares about leap days fixes any of that.

So why bring it up then?

> You should use a monotonic clock with an arbitrary starting point anyway

Sure. We started doing that more than 50 years ago now when broad area geophysical surveying started off.

> unless you need some kind of synchronization between devices,

Can't see the problem - there are ways of syncing base station records against aircraft | boat | vehicle records in post processing .. all the stations, fixed or mobile, use a monotonic epoch based record structure that hold channel data and any sync marks that are broadcast by whatever means - raw GPS time serves well enough for a grain of 1.5 seconds, other marks can be used as required.
Elon Musk sues OpenAI over AI threat
Think of each token (roughly each word) as having a specific signal or tone.

Each token after the first has a mix of the tones that came before.

The transformer can guess what the tone of the next token is.

The tones and how new tones are mixed from older tones are learned through training.

Each tone is mathematically dependent on previous tones.

It creates a dependency chain (more like a map, I think) in this way.

“Feels like a conversation” is a rough metric to understand, but I think that feel mostly comes from how chatgpt is presented from a UX perspective.

Personally I don’t like using words like “practice” or phrases like “20 years of knowledge” because they’re fuzzy and don’t really reflect what’s going on under the hood.
Imo they make things harder to understand
The Kefahuchi Tract trilogy by M. John Harrison is quite good for that, too.
> Only other edge case is if someone takes a 2024-02-29 timestamp and modify the year part, without using date library to do so.

Date library does not help here, for example, both Python and Java's date library [0][1] have only "days" in their timedelta/Duration constructor. Month and year are ambiguous. What would you do if you want someone's birthday this year? The most obvious way:

birthday: datetime.date
birthday_this_year = birthday.replace(year=datetime.date.today().year)

is just broken. The second line throws.

[0] https://docs.python.org/3/library/datetime.html#datetime.tim...

[1] https://docs.oracle.com/javase/8/docs/api/java/time/Duration...
Ooops, it's actually 23.10. Not sure why I got confused (for some reason the version number 24.04 was fixed in my mind).
It sounds like the problem wasn't so much "brute force" rather than the difficulty of completely understanding and specifying how holidays work...
Stuff like this is often officially communicated through some kind of government newsletter. Other times it's just custom and doesn't have a formal notification.
What you probably need to factor in is that there is no complete turnover every year. Some people might spend multiple seasons there, or at the very least return on a regular basis for research. Then there is also support staff who might work there for multiple seasons.

So there likely is enough overlap between people that have been there for longer and new people to pick up on the accent. The latter is something that people subconsciously do fairly easily.
Christian democracy is to blame for Europe's democratic backsliding
I think he is referring to "U.S. spied on Merkel and other Europeans through Danish cables - broadcaster DR" story.
An SLM?
The thing is, is this story even true?

We know that media outlets want some sort of legislative process that will designate their content as truth (tm), to create a sort of moat from unsanctioned information. To get support for that, you need the stories.

This story reads like investigative journalism, but is it really? The journalism seems self-serving. Real, free investigators would research even the 'good guys' (tm) - eg they would have connected zelensky to the Panama papers or whatever other scandals there are.

It seems the media only research when it is in their favour, and yet we are meant to think they are appropriate handlers of truth. The chutzpah is quite funny.
Waterfox × Tree Style Tab: A Collaboration for the Waterfox Sidebar
I built TST from source to test it. The UI feels SO MUCH smoother now!
Show HN: Data Contract CLI – Test your datasets
https://developer.mozilla.org/en-US/docs/Web/Security/Same-o...
Americans love French. It's their nitch. It probably comes from reading so much Nitchski.
A Notion-like workspace to iterate, evaluate, and monitor LLM prompts
## Core features

* Collaborative playground with automatic versioning and multi-provider support.

* One-click evals like context recall, llm-rubric (LLM as a judge), latency, and many more against datasets to get a definitive score and run regressions.

* Datasets that play well with logs and enable one-click creation of ‘good’ and ‘bad’ examples from real data.

* Logs that can enrich the analytics dashboard to track token usage, latency, cost, etc.

* Continuous evals sampled on live logs to ensure real-time performance.

## Coming soon

* One-click synthetic data to make iteration even faster.

* Auto-suggestions for instructions in the prompts by using the eval and prompt diff data already in the workspace.

* Multi-modality across the workspace - playground, datasets, evals, logs, history, and analytics.

* Prompt engineering → Flow engineering for multi-turn, CoT, and Tree of thought use cases.
> Only other edge case is if someone takes a 2024-02-29 timestamp and modify the year part, without using date library to do so. That should be rare, only use case is a yearly report.

Another use case: you create a pair of cryptographic certificates with a validity period of 1 year. The other side rejects the certificate because of an invalid date. This happened 12 years ago to Azure: https://azure.microsoft.com/en-us/blog/summary-of-windows-az...
Does (or will) your service have the opportunity to expand file storage without changing the tariff plan?
That was hilarious. Thank you.
I saw "weird" and just wanted to double-down on your idea that you're just a normal human =]
Helium discovery in northern Minnesota may be biggest ever in North America
Leveling establishes a social hierarchy. The ape brains of the people on the team don’t care about the ladder. If you mess up the social hierarchy people will be unhappy.

If there is peer input into the grading system, the ape brain social hierarchy judgements are being leaked into the leveling system (in a good way). If someone feels bad about the reviewee being at the new hierarchy spot they aren’t going to support the promo, regardless of what the candidate did. Of course the candidate doing things influences the ape brain judgement so it’s not as if these things are completely disconnected, it’s just not how it looks on the surface.
They haven't pointed anything out, they just guessed.

I want to _actually know_ what those people are doing.
Yep. Sounds like a Markov chain to me.
It was also decades away for quite a few decades.
One of our clients uses jira with gpt4 turbo api assistants; one of the features is that when the ‘implementation team’ (mostly cheap offshore hires in this case) is doing ‘sprint planning’ or standups (in this company’s mismanaged version of agile), the right people are not there, they ‘talk’ to jira and the ai assistant to clear up stuff. From what I have seen, the tasks in jira are written out quite well and gpt does do a (much) better job at one shot ‘understanding’ of the tasks than the team does, however, when the questions go deeper or more technically specific (to their internal systems), it basically loops aka repeats itself every other answer. And so the team will make up something, which is generally not correct, and implement it. Then the next week it will be a bug instead of a feature (for instance) and explained in terms of what to fix instead what to build, which both ai and humans seem to be better at. However the initial ‘loop’ is a nightmare and very dehumanising imho.
9am to 9pm, 6 days a week.
In France at least, more and more stations require pre-paying at the counter, especially stations in big cities.
You have just invented 6th normal form. This is not a bad thing.
We will buy it all here in Thailand.
I think it's fun to consider how the capitalist mentality of "always be growing" has influenced the software we use. There is some software we've used all our lives that has hardly changed, it is dependable, and maybe we paid for it once, long ago. Then there is software that is constantly changing, and in some cases, it feels like too many even if it isn't, getting worse as a result. Windows actively pushes changes on users driven by this mentality, now we have a Copilot button, to replace the Cortana button I'd previously disabled. What will replace the Copilot button when they've decided too many customers have disabled it?
I personally love gnome 3 and also use windows and macOS. It’s perfectly usable.
One case I can imagine is if the authors of law/rules that the code tries to implement were trying to be clever and defined the specific way this edge case needs to be handled. In such situation developer is likely forced to do some manual logic instead of the straight forward whatever happens when offsetting timestamp by 365 days using time library.
I wrote a browser plugin that does this. Could never figure out how to deal with paged articles though.
That's a good question. I thought they are only using PQC for key exchange (which is referred to as Level 2) but they are not.

In the article, Apple explains why they choose to use Level 3:

> At Level 2, the application of post-quantum cryptography is limited to the initial key establishment, providing quantum security only if the conversation key material is never compromised. But today’s sophisticated adversaries already have incentives to compromise encryption keys, because doing so gives them the ability to decrypt messages protected by those keys for as long as the keys don’t change. To best protect end-to-end encrypted messaging, the post-quantum keys need to change on an ongoing basis to place an upper bound on how much of a conversation can be exposed by any single, point-in-time key compromise — both now and with future quantum computers. Therefore, we believe messaging protocols should go even further and attain Level 3 security, where post-quantum cryptography is used to secure both the initial key establishment and the ongoing message exchange, with the ability to rapidly and automatically restore the cryptographic security of a conversation even if a given key becomes compromised.

Article link: https://security.apple.com/blog/imessage-pq3/
Rewriting from scratch is harder than it looks, but it all depends on how far you existing software is from your goal. Imagine that what you have is a word processor and you need a web server, surely you would start from scratch. You might say that I chose an absurd example here, but it shows that sometimes what you have is too far from what you need for evolutionary approach.
Working from 9 to 9 six days a week
The figures quoted revolve around the size of the company _today_ - so even if only one quarter of that 900k stayed, that means they onboarded even to make up for whomever left.
> The new version of libjxl brings a very substantial reduction in memory consumption, by an order of magnitude, for both lossy and lossless compression. Also the speed is improved, especially for multi-threaded lossless encoding where the default effort setting is now an order of magnitude faster.

Very impressive! The article too is well written. Great work all around.
I'd agree with this - it really works here because I don't actually know who anyone is, or see their comments regularly (other than when someone's username points to them being someone I know elsewhere, such as Jeff Geerling).

On most forums, there's an 800lb Gorilla who dominates everything, and they will set the tone of the place. I can think of two (one I used to engage with, one I have to engage with for work reasons) where there's one person who does this, and I stayed away as much as possible because of that opinion-domination which happened there.

I don't see that on HN, and it's one of the reasons I like coming here, maybe twice a day.
Absolutely! We already have one chat message fork working. Backend supports multiple message forks as well. So, very close.
At the very low quality settings, it's kinda remarkable how jpeg manages to to keep a sharper approximation of detail that preserves the holistic quality of the image better in spite of the obvious artifacts making it look like a mess of cubism when examined close. It's basically converting the image into some kind of abstract art style.

Whereas jxl and avif just become blurry.
One does wonder how much of JXL's awesomeness is the encoder vs. the format. Its ability to make high quality, compact images just with "-d 1.0" is uncanny. With other codecs, I had to pass different quality settings depending on the image type to get similar results.
Last time Facebook decided to censor the news in Australia they ended up censoring links a bunch of government pages like links to emergency services[1].

Fortunately I've since deleted my account but the whole posturing around ownership of people's posts and shares is just wild to me.

On a semi-related note I once had a message in FB Messenger that was blocked - it refused to send and gave me an error that the link wasn't allowed. Can't remember what it was as it was a long time ago. But the Facebook censorship situarion has been dire for some time...

1: https://www.theguardian.com/technology/2022/may/29/deliberat...
In Australia, that's when the song ends with 'brown bread' (dead). I assume it's British.