skysight-inc/HackerNews huggingface dataset:
what I'm most shocked about is that people choose whatsapp and the like for "end to end encryption" then open a window to small companies like OpenAI and Anthropic.
The illiteracy level of our children are appalling.

I can’t imagine why one would take a philosophy course if one does not like reading.
During the, very long, discussion it became apparent that different tools have different design requirements on a lock file. So it's not really clear what will happen to other lock files.

It may be this new lock file acts as an interchange format, that all tools can consume or produce, but not something they internally use.

Though, maybe we're lucky and tools will be able to use it directly, or we might have to wait for a new version of the standard once tools have been able to work with it long enough to know the deficiencies.

Non-lock files, like pyroject.toml and requirements.in remain unaffected.
I've always favored a large public/private investment into open-source tools like Coverity, PVS Check, and RV-Match. Put extra effort into suppressing false positives and autofixing simple problems. Companies like Apple had enough money to straight up buy the vendors of these tools.

I'd also say, like CPAChecker and Why3, they should be designed in a flexible way where different languages can easily be added. Also, new passes for analyzers. Then, just keep running it on all the C/C++ code in low, false, positive mode.

On top of this, there have been techniques to efficiently do total memory safety. Softbound + CETS was an example. We should invest in more of those techniques. Then, combine the analyzers with those tools to only do runtime checks on what couldn't be proven.
Java Applets weren't some magical "workaround" for distributing without publishers, lots (well, subjective) of indie developers were distributing binaries via websites at the point of the first alphas of Minecraft. Of course, way more popular nowadays as there are dedicated platforms for it.
> If you haven't read it yourself how do you know...

This vacuous objection can be raised against every single piece of information any human has ever learned from elsewhere, recursively, back to the dawn of communication, regardless of the nature of the third party source of information.

Furthermore, LLM hallucination, particularly of reviewed documents, is not a problem I experience any longer with the models I use. For example, my LLM setup and the query I would use would cause the output to include quotes of the differences, which makes ctrl+f/f3 to spot check easy.
People in the Netherlands are usually not at all proud of their cuisine, but the cheese is definitely a nice aspect (as someone who eats the >1 year ripened stuff almost daily)

Although for me some of the French cheeses are the best. Just what you're used to I guess :D
Nikola founder Trevor Milton gets presidential pardon
Are colleges reducing admissions standards to compensate for this? If anything, it sounds like admissions are vastly more competitive today than when I applied 20 years ago because students are more capable.
Link is paywalled. Not possible to read
If the shell script happens to have key verification built in to it, then not much from the perspective of provenance verification, but that’s rare IME. Also, using the OS’s package manager means that you can trivially uninstall it.
That's not what is going on here, right? The complaint is that the consent process is much harder for third-party apps than Apple apps and Apple cannot give itself advantages because Apple is a gatekeeper w.r.t iOS.

A simple yes-no for third-party applications makes it easier for the user to reject tracking and doesn't make the process more cluttered than for Apple apps.
> This is why programmers are employed: it is always a R&D job, if it existed under relevant constraints, it would be purchased and installed.

Clearly you've never had the pleasure of working at a NIH (not invented here) syndrome culture company. At one company, we didn't have budget to buy a ticketing system, but somehow we prioritized engineering building one from scratch. Another time I was talking with an engineer at Roblox and the engineer interviewing me was building a config scanning and management system from scratch for pretty generic linux installs. I can think of at least two companies that offer a product that did everything they needed and more, plus it was a full featured, stable production ready system, vs theirs which had serious teething issues and was obvious they were struggling to scale it. There's no shortage of these kinds of config management systems out there but they decided to build their own anyways.

At another company our "staff" infra guy wrote 40,000 lines of bash because he didn't like how Jenkins worked for deploys. These are all very standard things that keep getting coded over and over for whatever reason. I haven't tried it yet but I'm pretty sure you could "vibe code" a Jira or Jenkins clone in a couple of days and at least pass the PoC sniff test. I've certainly done it for some throw-away prometheus exporters to get some crude visibility into third party services we have to use.
> Every invoice—whether B2B or even B2C (receipts included)—must be sent electronically using a government-defined XML format

So not a universal standard then. Imagine having to implement a different format for every country you do business with...

For the Netherlands there is a similar (but slightly different I believe) XML type format required if you want to do business with the government. Initially a company successfully lobbied to get their closed-specification version to be the mandated standard for government, to get the XML spec you had to become partner (I believe for €8k/year or something).

Luckily they are now performing a XKCD 927 and have defined a few new (this time open) standards, which they aim to consolidate into a new spec that complies to EN 16931. EN 16931 is the EU compliance standard for e-invoicing.
in 95? nah. 93, 94, yes. though for nerds like us, different story

95 was already passing into in the "even my mom uses the Internet now" and regular ISPs popping up all over the place offering that as a dial-up service.

though we didn't have AOL up here in Canada, so I dunno
Cell phones reduce drama in a plot. If you let phones seep into the plot at all, you then have to bend over backwards to explain why one character can't simply call another at any time. A lot of shows pretend they don't exist.
And even wastes cycles on 16bit size_t MCUs.
>Do other apps require double consent or is it actually a dark pattern they’ve adopted:

It's specifically recommended by apple.

https://developer.apple.com/design/human-interface-guideline...
https://archive.is/mC3vX

Since the link is paywalled, I found an archive link for everyone to enjoy.
Would it work for a JavaFX app? (not sure I'd be able to shrink the bundle size enough for it to make sense though)
Same. I built a lot of animations with applets back in the day and if you avoided dependencies (other than what ships with the JVM) and your code wasn't ridiculous, you could get some pretty damn good performance out of it (minus initial load time which did tend to be suboptimal, but manageable). Applets were a pain in many ways but I think the tech gets blamed unfairly for bad performance.
>But western societies don't seem to have a "We need X people with Y skillset" institution. If someone came to me like, "we need a welder to produce $needed_thing" then i would have put my skill points into that.

We do, it's called the price of labor. We currently need highly educated healthcare professionals like a forest fire needs rain. These wages are literally off the chart:

BLS list: https://www.bls.gov/ooh/highest-paying.htm

Another list: https://www.careeronestop.org/Toolkit/Wages/highest-paying-c...
Is Apples third party though? I don’t know, genuinely asking.

If no, then first party vs third party having different standards of consent seems reasonable?
Even if it is the most common method in text books (I’m not sure that’s true), it’s also almost always wrong. The index must always be sized to fit what you’re indexing over.

As for your compiler statement — yes. At least at Apple, there is ongoing clang compiler work, focused on security, that actively makes things slower, and there has been for years.
It may not be present in Apple’s official documentation but it has been supported since Safari 12.2.

See https://developer.mozilla.org/en-US/docs/Web/HTML/Element/da... compatibility. The demo on that page works for me in current Safari on both iOS and Mac.
And I'm just a simple applied mathematician. For me, the gradient is the vector that points in the direction of steepest increase of a scalar field, and the Jacobian (or indeed, "differential") is the linear map in the Taylor expansion. I'll be curious to take a look at your reference: looks like a good one, and I'm definitely interested in seeing what the physicist's perspective is. Thanks!
I got into Minecraft via 4chan, of all places. People used to make posts about it and how cool it was and others would naturally talk crap about the game.
If the tables were turned, Oracle would be taking advantage of the situation.

Take note.
I don't think I had a solid idea of a timeline, but I figured with a couple hours a day I could get through Fundamentals I-III in a month or two. How naive I was!

125 days in. Almost through Fundamentals II.
can we start also fining companies for not easily offering "no and never ask again"? the "maybe later" trend needs to die ASAP
Garmin Connect+ and the Beginning of the End
Discussion (77 points, 3 days ago, 33 comments) https://news.ycombinator.com/item?id=43500788
Love the fact that Google auto translate of the page completely breaks the page

https://imgur.com/7gfXRrm
Honey has now lost 4M Chrome users after shady tactics were revealed
> Well, as a STEM university graduate myself I admit being guilty of this thought and I think it's just something "hard science" thinks of "humanities" in general. Mostly due to mercantilism, most non-STEM studies have very poor job perspectives.

What does mercantilism have to do with that? The problem with the job perspectives of students of many non-STEM subject is rather that it is often not easy to find economic applications of the knowledge that is taught in the humanities courses (which is made even more complicated by the often "left", "woke" bias that many humanities faculties have).
I can understand that; but why revoke the ban then?
I'm really glad to see this wasn't just my experience.

I absolutely loved the premise of the first book. Every time I think about it I get the same kind of excitement I feel when I come up with the perfect idea for a D&D campaign.

But the second book gathers dust on my shelf, and no matter how many times I think "I should get back into these!" I just can't. The first book ended in a fizzle and the second completely failed to keep my attention.

I'll take a look at Merchant Princes and see if that's more to my liking!
https://archive.is/paYYB
More than that, I think it's quite relevant, because it shows that the complexity in the tooling around writing code manually is not so inessential as it seems.

Any system capable of automating a complex task will by need be more complex than the task at hand. This complexity doesn't evaporate when you through statistical fuzzers at it.
I was going through a programming course from MIT, and they used some calculus stuff I didn't understand, either never learned or forgot in the last 35 years. So I looked up their calculus class and started on that. Nope, still too advanced, even though I got A's on it in high school. So now I'm doing a pre-calc class and things are coming back to me. Figure in 100 hours I ought to be back up to speed on calculus enough to finish the programming course.
Probably it will. Vance even threatened to leave NATO if the EU regulates X. But EU countries are not satellite states of the US. At some point we just have to draw a line in the sand and stand by our own values, even if it comes at an expense. It's not as if tariffs and the retaliatory tariffs it will lead to is good for the US economy either.

It's all just silly.
thats crazy! I haven't heard of yolo mode?? dont they like restrict access to the project? but i guess the terminal is unrestricted? lol i wonder what it was trying to do
I have HAD a human assistant who booked flights for me. But it took them a long time to learn the nuances of my preferences enough to do it without a lot of back and forth. And even then, they still sometimes had to ask. Things like what time of day I prefer to fly based on what I had going on the day before or what I'll be doing after I land. What airlines I prefer based on which lounges I'd have access to, or what aircraft they fly. When I would opt for a connecting flight to get a better price vs. when I want nonstop regardless of cost. And on and on. Probably dozens of factors that might come into play in various combinations depending on where I'm going and why. And preferences that are hard to articulate, but make sense once understood.

With a really excellent human assistant who deeply understood my brain (at least the travel related parts of it), it was kind of nice. But even then there were times when I thought it would be easier and better to just do it myself. Maybe it's a failure of imagination, but I find it very hard to see the path from today's technology to an AI agent that I would trust enough to hand it off, and that would save enough time and hassle that I wouldn't prefer to just do it myself.
Oh neat! Had no idea about this - thanks for the share
There was a brief period during the late 90s/early 2000s before WiFi became ubiquitous that laptops came with IR transmitters/receivers for streaming data.

It was always touchy, slow, required an unbroken line of sight, and poorly supported by both the OS and application software, but I did make it work a couple of times. The PDAs of the time used a similar technology to send contact information (business cards) between devices.
This is one of those questions where the answer is technically `yes', but for all practical purposes should be considered `no'.
that's true, maybe Russia should offer a 200km buffer zone along their border to avoid accidentally invading their neighbours. They are known to make mistakes after all.
> What am I supposed to do? Keep standards high and fail them all? That’s not an option for untenured faculty who would like to keep their jobs. I’m a tenured full professor. I could probably get away with that for a while, but sooner or later the Dean’s going to bring me in for a sit-down.

IMO, this is not the problem, but it’s definitely a problem. I think that we should, in fact, fail these kids. And if they repeatedly fail, they should be kicked out. I know that it’s politically untenable, but it also seems right.

It also seems wrong to me that these kids are accepted in to the university to begin with. It seems to me that there is a maturity gap here. Have these people never had the experience of not getting something that they want because they failed to obtain it?
I doubt it for a few reasons:

- The SAT has been bastardized as a test and no longer effectively measures this stuff

- College admissions have deemphasized the SAT and other standardized tests of reading comprehension

- Elite college admissions is lousy with "consultants" who workshop students' essays to ensure they've got a better chance of admission

That being said, if you were going to find the kids who CAN read, you would probably find them at elite schools.
Always think from the users perspective. For a lot of applications, when a user does something, it should happen with minimal latency.
Canada's gross domestic product per capita: Perspectives on the return to trend
After your link, it still doesn’t show supporting data
Yeah. I think it is because most SF is not actually about predicting the future, but analyzing modern society. So, they take modern society and make one or two big changes that allow the author to discuss their thing.

If they correctly account for long term change, especially after introducing their big twist, then they won’t have a society that reflects modern society, it will just be totally alien.
China, Japan, South Korea will jointly respond to US tariffs
>The illiteracy level of our children are appalling.

It is appalling.
This is just dev ops wrapped around an open source fine tuning repo.
Show HN: Content Reviewer for Websites (typos, grammar, etc.)
Hello HN, my main idea with Spelltastic is to run a Grammarly scan on the entire website. I never expected it to become successful (it is not), I just made it to learn React + UI/UX development.

After building the product, I found marketing to be a lot harder than building the product (the gap is increasing thanks to "vibe-coding"). I got completely bored with the loop of finding emails from aggregators -> sending cold emails -> maintaining mailing lists, etc. I had this ideological block of not using any cold emailing services or sales people or any other automated way (LinkedIn Automation, Ads, etc), since I hate those.

Eventually, I realised that checking for spelling mistakes or grammatical issues is more like a vitamin than a painkiller (for most). I couldn't spend time marketing it properly to web dev agencies or SEO people who may have this as a genuine pain, So I have decided to open-source the core implementation of Spelltastic, which is a basic workflow involving Puppeteer (to extract and highlight spelling mistakes) and gpt-4o (for spellchecking) + Dashboard to visualise the reports.

I am happy to have finally built a good-looking product (I am a backend guy btw) and released it. All thanks to Cursor. More importantly, around 30+ people have used it (mostly indiehackers) to find important mistakes in their content.

Check out the repo/product and let me know what you all think. Thanks!
As my buddy from Oracle likes to say, "No one cares what we do as long as the flow of streak, coke, and strippers doesn't stop."

He's a big Zed Shaw fan.
The very first sentence in this wikipedia article:

> An enforced disappearance (or forced disappearance) is the secret abduction or imprisonment of a person with the support or acquiescence of a state followed by a refusal to acknowledge the person's fate or whereabouts with the intent of placing the victim outside the protection of the law

This sounds very much like what's happening, with maybe the exception of "refusal to acknowledge the person's fate". Is that your gripe? That we know they've been sent to a country outside the protection of the law?
No, I'm saying that there could be anything from a one word change to the standard that doesn't affect compilers at all to safety by default with a clang tidy performance warning.

Clang tidy and the core guidelines have already broken the textbook Hello, World! with performance-avoid-endl warning, so I don't see why the common textbook way to write things should be our guiding principle here. Of course, the common textbook way to write things would continue working regardless, it'd just have a negligible performance cost.
> On paper yes but does anyone really rely on it?

Zeroing and copying, all string operations, comparisons like here in the article or inlined, selecting atomics on ARM64, fusing FP conversions and narrow SSE/AVX operations into masked or vpternlog when AVX512VL is available, selecting text search algorithms inside SearchValues<T>, which is what .NET's Regex engine (which is faster than PCRE2-JIT) builds upon, and quite a few places in CoreLib which use the primitive directly. Base64 encoding/decoding, UTF-8 transcoding. The list goes on.

The criticism here is unsubstantiated.

> that mean that common patterns in the language can't actually be expressed statically so one ends up with all kinds of quasi-dynamically typed runtime patterns

This has zero relationship with the underlying compilation model. NativeAOT works just fine and is subject to limitations you've come to expect when using a language based on LLVM (although .NET, save for NativeAOT-LLVM WASM target, does not use it because LLVM is not as good for a language which takes advantage of top-to-bottom GC and type system integration).

I think it is worth understanding what limitations .NET is subject to and what limitations it is not. This sounds a lot like very standard misconceptions you hear from C++ crowd.
I think it mostly estimates the wrong changes. Sci fi from the first half of the twentieth century overshot in its predictions of universal flying cars and interstellar travel, but generally missed the internet or the idea that women would be in any way involved in the science. And it's amazing just how many plots up until the end of the last century assume mobile communication isn't routine
It's naive but it's so so much better than letting a single small function run for 15 CPU seconds and deciding it's still not worth optimizing it yet because that was only 30 calls.
> Apparently they felt that a visual representation would be easier.

Screenshots, printed out, and then faxed, with a question or remark hand-written on the page, I'd have to go check my office mailbox for issues submitted by 2-3 users. And this was only 10-15 years ago.

You know could paste the screenshot into an email...nevermind. We took orders via fax at that time so I guess it made sense?
> That’s a lot of energy that came from somewhere as well seemingly for no good reason.

I never finished the book, but this reminds me of God's Debris by Scott Adams which explores a philosophy of pandeism (where God annihilated itself and became the universe).
This is referring to Apple's first party apps so no they aren't third party. I can understand why someone would make that argument but the French regulator argument here is that in the spirit of competition, third-parties should have the same barrier to entry as Apple's first party apps and I can see the argument they are making.
So I just tried and we can use this with zellij sessions as well , which is pretty nice and has a really really nice ui/ux
The language has evolved significantly, and we’ve learned a lot about how to write safer C, since that was published in 1988.
If this thing is connected to someone's WA and I ask "Who is your girlfriend?", the AI theoretically could list all the chats, read some messages in each chat, determine who could be the partner and return the name to me :))
I can go ahead and ask "What was the last fight about".
Yes, impish9208 is quite correct, as Truman once asked 'how many legs does a dog have if you call the tail a leg? Answer = calling a tail a leg does not make it a leg. People can do/act as they choose, but their DNA tells the 'tail'. True there are mutations that affect a few people that create people that create unclear sexual attributes - but that is a code error - as it were, that I hope one day we will be able to correct?
This has created a problem in some sports with 'gorillas' competing as women and crushing the hopes and years of work of true women.
What's even the "double confirmation" that's required?

1. the ATT permission prompt from iOS

2. a prompt from the app itself

?
I get similar performance in Chrome on my phone (Pixel 7a). Perhaps this just runs poorly in Firefox?
So there actually was a regression and it wasn't an intentional warmup delay?