skysight-inc/HackerNews huggingface dataset:
I really dislike the use of exceptions - particularly checked exceptions - to handle control flow for things like this. I mean, it's not EXCEPTIONAL to have an empty Optional, right? Their use here is an anti-pattern to my eye.

Java (the language) should just drop the notion of checked exceptions. It would be fully backward compatible as the checked/unchecked distinction is a language feature not a JVM one.

They simply don't work with Stream and cause abstraction leaks everywhere (e.g. you have to handle IOExpection for operations on StringWriter). It obfuscates flow control.

Anyway the problem with Optional is not going to be fixed by renaming API methods and fiddling like this (sorry to be harsh). The reason Optional is broken is because there is so much legacy APIs which use null to represent "no result" and until all of these APIs are changed/deprecated, then Optional will never be a very useful tool.

As others have commented, the correct solution would be to ditch Optional completely along with the mass of flavors of @Nullable, @NotNull, etc that everyone uses along with having to use package_info.java everywhere and just make "nullability" part of the type system.

Kotlin got it right here. But it would be a breaking change in Java to make not-nullable the default. They could do it the opposite way to Kotlin - add a marker for "not-nullable" instead of one for "nullable" - e.g. "String!" would be a not-nullable String instead of say "String?" representing a nullable string.
Anthropic states that they don't train on the inputs and outputs of their commercial offerings unless you explicitly opt-in: https://privacy.anthropic.com/en/articles/7996868-i-want-to-...

Do you think they're lying or where you speaking about free tier offerings?
Poland broke the Enigma code .. and built the first Bombes.

Maybe you're thinking of William Thomas Tutte breaking the Tunny (sawfish) code?
> I think it's more a case that
> browsers take security into
> account at the feature design
> phase.

I think that many software people do this. It's likely that you are more familiar with a browsers development cycle.
Only Java's built-in serialization still requires Serializable. And Java's built-in serialization is fundamentally vulnerable and should never be used.

Newer libraries dropped the need for Serializable, because whether or not an object is serializable is not just dependent on its class, but also on the features the serialization library supports.
Process-Compose a flexible orchestrator to manage non-containerized application
In Germany people are sued for illegal movie downloading all the time. It's hard to imagine the companies behind that operation aren't aware that you can also download books.
"For VS Code remote, the VS Code server is in the same trust boundary as the VS Code client. [...]

For Remote SSH: [...] A compromised remote could use the VS Code Remote connection to execute code on your local machine."

https://github.com/microsoft/vscode-remote-release/issues/66...

I wrote about it in a bit more detail a month ago because it seems to be a common misunderstanding: "VS Code Remote Dev and Dev Containers are not security boundaries" https://lets.re/blog/vscode-remote-dev/
I do know how to read. I was thinking of the case of finding it from the outside, especially at a large station like Shibuya where they're always closing random entrances. Jorudan/Google/Apple Maps also don't incorporate them into search.

It's fine once you've learned where they are of course.
User queries were at least historically useful to train smaller models from larger models. You need to know the kind of questions real people ask to train a model that’s good at answering those questions
Futern – AI-Driven Customer Acquisition Platform
Futern is an AI-driven customer acquisition platform with a B2B database of over 600M contacts and 100M companies.
It streamlines the sales process, helping businesses efficiently identify and engage high-potential clients while driving sustainable growth.
> the correct solution would be to ditch Optional completely along with the mass of flavors of @Nullable, @NotNull

How would you suggest to implement Stream::findAny without Optional?
Here is a different study (I am certain I read a different one) with similar results
https://cordis.europa.eu/article/id/442975-do-you-make-much-...
> The other surprising thing is that you could actually run the Z80 in parallel with your 68000 when running a Genesis game. We used the Z80 as a sound co-processor running MIDI and playing sampled drums without bothering the 68000.

I always thought that was a key reason to include a Z80. A dedicated sound processor (often Z80) was a mainstay of arcade games from the mid-80s and onward and SEGA's engineers would surely have been familiar with such a design. It might even have helped when porting arcade games.
Blocked for AI reply @dang
The headline says "an in-depth look", but the whole post is quite short and doesn't go into much detail. I found these overviews better:

https://www.lesswrong.com/posts/a9GR7m4nyBsqjjL8d/deepseek-r...

https://newsletter.languagemodels.co/p/the-illustrated-deeps...
I had a very different experience with those providers: I has become impossible to use them for personal use because of the inefficient measures they set up.

- You can't register to Telnyx for personal use as an individual (anymore?)

- Twilio kicked me out after my first test call for suspicious activity

- voip.ms was the only one to have me but it simply doesn't work

In many countries telcos are really terrible and having an alternative number with a SIP account would be great. But now because of the robocall problem I can't have an account on any decent provider.
"There's an obvious problem with the concept of training on user prompts; how would training on a bunch of questions cause it to know the answers?"

I imagine by analysing the chat?
If the user says thanks in the end, or gives a thumps up, it likely was a useful and correct answer, that could be included in further training. Or at least considered for future training and I cannot imagine them not considering and experimenting with it.
No. He just wants people to have some decency and standards in communication and not arbitrarily decide that their little kingdom can never be touched.
A fun little fact: We now have the ability that alchemists sought for so long (transmuting elements through nuclear reactions), and we are using it to destroy gold, not create it.

The processes involved are so expensive to do that in terms of cost it doesn't really matter what you are using as the source material, and the way gold is very resistant to corrosion is useful for using as a target in experiments.
In the class which I have managed the infrastructure for, we have 1 to 2 students per VM, so this is less of an issue and there aren't any restrictions.

One of the reasons we provide the VMs is so that students can experience working in a remote server environment. The concern that I have is that these remote ssh tools allow you to bypass learning/practicing how to perform basic actions, e.g. cd, read/edit files.

Granted, as mentioned, you can scp/rsync (or git pull), but at least this seems to be more appropriate when you eventually need to interact with a real production server.
I had incorrectly assumed you were referring to older ppl as non workers.
yes, of course. The question is have all the developers writing their own code to deal with zip codes also adapted?
Same thing.

I notice a very strong correlation. Fermented high fiber "living" food and avoiding all preservatives really improves my outlook on life but yep, your mileage may vary.

Easy and cheap enough to try though.
I can answer question 3. Prompt processing (how fast your input is parsed) is highly correlated with computing speed. Inference (how fast the LLM answers) is highly correlated with memory bandwidth. So a good CPU might read your question faster, but it will answer pretty much as slow as a cheap CPU with the same RAM.

I have a Ryzen 3 4100. Just tested Qwen2.5-Coder-32B-Instruct-Q3_K_S.gguf with llama.cpp.

CPU-only:

54.08 t/s prompt eval

2.69 t/s inference

---

CPU + 52/65 layers offloaded to GPU (RTX 3060 12GB):

166.79 t/s prompt eval

6.62 t/s inference
Good catch, the last few pages of comment history are inhumanly insincere.

https://news.ycombinator.com/threads?id=memorydial

" @dang " isn't a thing, he doesn't watch for it - take credit and email him direct.
Ha hi Jeswin! I was itching to reply to this post too, I wonder why…
I'm not arguing that the new products are better, just that they were evolutionarily successful.

I think the issue was less one of legacy codebases, and more that getting consensus on protocols and so on is _always_ slow and difficult, and that expands exponentially with complexity. And as the user-base expands, the median user's patience for that stuff drops. "What the hell is an SMTP Server and why should I care what my setting is" kind of stuff.

Meanwhile the walled gardens can deliver a plug-and-play experience across authentication, identity, messaging, content, you name it.

And this against a background of OS platforms (the original owners of HIGs) becoming less relevant vs Web2 property owners, and that strict content/presentation separation on the Web never really caught on (or rather, that JS single-pagers which violate those rules are cheaper and sexier). Plus a shift to mobile which has, despite Apple's efforts, never strictly enforced standards - to the extent that there's no real demand from users that apps should adhere to a particular set of rules.
I usually say something like: ".. output it as hierarchical json". For better accuracy, we can run the output through another model.

Again, that image is fuzzy. If the argument is that these generic models don't work well with scans or handwritten content, I can perhaps agree with that. But that's a much smaller subset of PDFs.
Linked previously here (currently flagged and dead):

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

Good thorough article on another wild development in this story. Deserves to be seen and read.
if you know Chinese，this may help you。
https://www.meoai.net/deepseek-r1.html
> Do you really know, though? I don't think so.

Yeah because they already found a lot of issues.

If they can't figure it out then who can or will? 50yo career developers with nothing to gain for challenging the status quo?
There's a feature request from 2018 to add a proper permission model for plugins in VSCode: https://github.com/microsoft/vscode/issues/52116

Sadly it doesn't seem to make any progress.
> As a pilot program, R4L should have graduated or ended a long time ago.

Disagree. These things take time. Linus knows that, and as I see it, he's giving it the time it needs. "After years of active development" we've only recently arrived at a point where actual driver development in Rust is possible.

> We all know [Linus'] stance on C++

Yes. And looking back I think that was a good stance. C++ is not for kernels: the language is too big, containing features that don't fit well with kernel development, thereby inviting all kinds of discussion not conductive to kernel development.

Rust is another story. Rust has potential to bring benefits to the kernel. I think Linus knows that.

Off-topic: I'm looking forward to an --largely automated (maybe with use of LLMs)-- port of the kernel in Zig. Just because I think the developer ergonomics of Zig are so much better than C. Not holding my breath: in 10 years or so would be nice.
Consumer electricity is also taxed, although it's not explicitly linked to roads. But then that's not really how governments work anyway, all the money goes into a ~black hole~ big pot and is spent around.

Roads are notionally supported from general taxes in the UK anyway, not fuel duty.
I somewhat disagree on the "you can't escape unsafe" part. It's true for a C+Rust project, but the idea that you need an unsafe language for low level hardware access is plain wrong. That's a "C-ism". Something that might seem true in a universe where most low level work is done in C, but wouldn't be true in a universe where C doesn't exist at all.
Back when I started using LLMs for writing code I would type out long, gently phrased explanations about why it was wrong, as if I was teaching a pupil, hoping it would help. I'm sure a lot of us did. If they can parse and mine those prompts, they'll have a nice little metacorpus to build on.

Now I just tell it to stop being stupid over and over until it does a good job. I wonder if it would improve the model to keep all of the beratement in the training data.

Edit: Apparently a 'metacorpus' is a swollen nematode ass. My sincerest apologies, bros.
Did you find the library jieba? That is what I am using for segmentation. It seems to work fine on simplified despite not advertising it.
Punishment wouldn't be arbitrary, it would be based on the crimes you committed.
> > Hellwig's argument was nothing more than "there shouldn't be a second language in the kernel".

> Which is a valid viewpoint. Let's not pretend that's not a technical argument.

So if Linus shouldn't overrule his deputies, and one deputy can completely block something in a subsystem that isn't theirs and has explicitly stated to do "everything in their power" to stop it, what exactly can the community "figure out" to get it to proceed? His decision not to get involved literally makes it impossible for the situation to change, so the confusion is why it's being phrased as if it's anything other than that.

If Linus were to come out and say "I changed my mind, I no longer think it's worth pursing trying to integrate Rust in the kernel due given the issues at hand" or even "regardless of my personal views, I don't have any desire to change the current system we have for how code gets merged into subsystems or who has the ability to block it, so I'm not going to overrule this", it would make a lot more sense to me, but by making it sound like there's anything left to figure out when someone with veto power has a stated intent to stop things from moving forward is just going to let the issue fester and produce more frustration on both sides. It almost seems inevitable that any future discussions will spiral out of control; there's no other way for it to conclude than either Linus overruling his deputy or the experiment just ending as a failure at this point, so he might as well just make that decision now rather than later.
I understand. However, I think your original post was very much open to being misinterpreted by people who don’t live in the UK or follow UK news. It’s obvious to us that protests still happen in the UK. But many people here only read negative news stories about the UK and would just assume from your post that protest in general was now effectively banned.

Weren’t the few JSO protestors who were jailed convicted of doing things that would be objectively illegal in more or less any country? Where are the countries that allow me to deface priceless works of art or block public highways without any legal consequences? I am not saying that these are necessarily illegitimate forms of protest, but they come under the heading of ‘civil disobedience’. The whole point of civil disobedience is that you get punished and thereby draw attention to your cause. Even in the US you can easily be jailed for protests involving blockading or trespassing: https://www.bbc.com/news/world-us-canada-69003240.amp, https://www.vpm.org/news/2024-06-24/gaza-protest-interstate-...

It may well be that the new legislation is overly broad, but I don’t think the JSO protests are a great example of this.
I can relate to this coming from DOS and BBS systems this sounds very familiar. Though by 98 BBSs started to decline as people have been moving to use the internet instead..
And Apple's "haven" is in Republic of Ireland, so no, not UK.
Using system APIs directly with adb/root privileges from normal apps
It’s adherence dictated by lived experience, if anything.

Much like the “don’t rewrite from scratch” mantra was written in blood and tears.
Having used Plaid, it is essentially web scraping as a service. It's an API built on top of very questionable access. It itself is not a formal API provided to you by the bank.
I’ve been wanting something like this for a while. Was even thinking of building one myself. You beat me to it.

I like the simplicity. It’s just a quick add and then it’s in the pie chart. Think this could ever be integrated with bank spending automatically? I think that running locally would make you feel safe doing do.
I guess you make a living writing zero day exploits?
You don't need to type +1, there's a button for that.

Also, it must not be that complicated since they have already discovered tons of waste. They don't have to understand the whole thing, even 10% might be enough to be useful.
When I was doing OCR for some screenshots last year I managed to get it done with tesseract, but just barely. When looking for alternatives later on I found something called Surya on github which people claim does a lot better and looks quite promising. I've had it bookmarked for testing forever but I haven't gotten around to actually doing it. Maybe worth a try I guess?
I read stuff like this on Hn because there is often detailed critical responses. I think that is something we can definitely add
Yes it is (I never said it wasn't), but it works. They are working with banks to modernize their APIs as well.
I don't know if it is regional, but for me right now every single thing on their service status page is red.
And my son can't play roblox
Do you want to understand or do you want to express an opinion?

Is your question something that can be answered and lead to greater understanding or is it not designed to be answered?

There is a type of thinking that deadens the mind and stops understanding. Some ideas are mind killers stopping any further thought. Many people in us vs them situations do not want to understand the other and in group psychology, understanding the other leads to a weaker group. Groups (e.g. politics) therefore are inherently against empathy with those outside the in-group.

One way I noticed I'm in a bubble is when I come up with my own explanations for others behaviour without wanting to actually interact and understand with them. Then I can begin to break down those borders and see myself in the other.

We are asked to be more thoughtful and kind on HN. How can we do this consciously? How can questions and discussions be created that encourage understanding between people?
Turner hoped that we could have programming languages that wouldn't go into (useless) infinite loops. They should either terminate, or keep producing values forever (be 'productive').

The author sets out to prove that Bird's version of the prime number generator (Sieve of Eratosthenes) is productive.

Fwiw I'm lost almost immediately in section 4 - the actual proof.

I think I get one point, which is to immediately ignore the actual values of the primes, and only prove that they keep being generated (which I guess is the purpose of `approx`), but I'm immediately lost by the overall strategy:

that is, not so much showing that primes spec is a fixed point of makeP · makeC, but that it is the least fixed point.
While I agree exceptions should not be used for control flow except in the rarest of circumstances (every rule has exceptions — pun fully intended), I think checked exceptions are very useful.

I wrote a whole article about this, way back when: https://norswap.com/checked-exceptions/

But for the tl;dr: checked exceptions represent somewhat expected issues, things like IO errors. There are two okay ways to handle those: checked exceptions and result types, and one bad way: unchecked exceptions.

Unchecked exceptions end up being undocumented in the API, and people forget to handle them.

Result types add a lot of ceremony, as you have to unwrap them at every level of the call stack. I've seen code dominated by error checking logic many times in C and Go (and the frequent alternative is to ignore error, which is easy in C).

Checked exceptions are much less verbose, you just let the exception pass through and annotate the function signature with the checked exception. It's type-safe, self-documenting and easy.

Unchecked exceptions "leak", checked exceptions propagate at the type-level, which is exactly what you want — making sure every caller is aware of what exceptions might occur and letting them make an explicit decision to handle or pass the buck upwards.

By the way, checked exceptions are coming back in favour with "effects" which are basically a generalization of checked exceptions beyond the realm of errors, trying to encode things into the type system.
Dave! Our sample sizes were large enough, and tables complex enough to opine on this.

I suppose Gemini or Claude could fail with scans or handwritten pages. But that's a smaller (and different) set of use cases than just OCR. Most PDFs (in healthcare, financial services, insurance) are digital.
If they lied about copyright infringements, why wouldn't they lie for data collection too?
Remembering Donald Shoup (1938-2025)
Krebsonsecurity reporting suggests that the "cyber security firm" is actually part of a gang of cyber criminals. Story submitted (but flagged and dead) here:

https://news.ycombinator.com/item?id=42979187
>The fact that he is using his powers as maintainer of the DMA module to prevent Rust code from being added

This is a misinterpretation of the facts. It's not actually up to Hellwig whether or not the patch gets accepted; the relevant maintainer that would merge the patch is somebody else.

He's totally within his right to express his opinion in a NACK.
The bigger question is what ELSE are Anthropic/OpenAI/et al. doing with your data? Training is just one of many ways to exploit users’ data. Some of the other possibilities are truly chilling.
I think a portion of the flagging is boredom, but it seems to happen very quickly.

I wonder if it is bots, or perhaps some people are so invested (perhaps literally) in the Musk companies that they have a strong incentive to stop criticism?
Yeah, no... In Argentina when you see two cars that collided, or rolled killing almost complete families due to road conditions, that doesn't seem to fit as a win-win for society.

Roads and sidewalks have to be properly maintained, otherwise do not charge me taxes for my license's plate.
Yes, if you eat it bottom up instead of around, there is practically no core. Also much cleaner, and you just throw the stem away plus the benefit of ingesting all the good bacteria
Have you considered any alternative explanations/diagnosis? Rates of misdiagnosis for psychiatric disorders are significant (even more so in women, anecdotally) and it could be the reason why the treatments aren't working. Depression can manifest as a consequence of untreated ADHD, for example.

Self-diagnosis is generally frowned upon but I think everyone owes it to themselves to at least try to find explanations that they can discuss with professionals.
https://prezi.com/

Presentation application from Hungary. Haven't used it in a while personally, but even 10 years ago it was miles ahead of what Powerpoint could do.
Also putting your details out there if already employed may not be a good idea cause of visibility to your current employer
How could such systems prevent purposeful declining/refusal of correct answers, followed (within the "chat") by demand for "corrections" in misleading ways, and stopping the "chat" only when the answer is obviously wrong? Couldn't instructions in one such solution, meant to DoS (not in volume, but in malicious purposely constructed "conversations") the competitor, lead to an overall degradation of quality in all, eventually?
Is there an OCR arena out there, similar to lmarena? Would be very useful but couldn't find one yet.
Aha, that does look like what I remember!
You think the jail will give you a way to commit suicide after you're sentenced?