MurphyA/hacker-news huggingface dataset:
Show HN: Scheme-langserver – Digest incomplete code with static analysis
by ufo5260987423 | 2026-02-24 06:53:55+00:00
Scheme-langserver digest incomplete Scheme code to serve real-world programming requirements, including goto-definition, auto-completion, type inference and such many LSP-defined language feature supports. And this project is based here(https://github.com/ufo5260987423/scheme-langserver).

I built it because I was tired of Scheme/Lisp's raggy development environment, especially of the lack of IDE-like highly customized programing experience. Though DrRacket and many REPL-based counterparts have don't much, following general cases aren't reach same-level as in other modern languages:
(let* ([ready-for-reference 1]

[call-reference (+ ready-for-)]))

Apparently, the `ready-for-` behind `call-reference` should trigger an auto-complete option, in which has a candidate `ready-for-reference`. Besides, I also know both of them have the type of number, and their available scope is limited by `let*`'s outer brackets. I wish some IDE to provide such features and such small wishes gradually accumulated in past ten years, finally I wasn't satisfied with all the ready-made products.

If you want some further information, you may refer my github repository in which has a screen-record video showing how you code get help from this project and this project has detailed documentation so don't hesitate and use it.

Here're some other things sharing to Hacker News readers:

1. Why I don't use DrRacket: LSP follows KISS(Keep It Simple, Stupid) principle and I don't want to be involved with font things as I just read in its github issues.

2. What's the newest stage of scheme-langserve: It achieves kind of self-boost, in which stage I can continue develop it with its VScode plugin help. However, I directly used Chez Scheme's tokenizer and this leaded to several un-caught exceptions whom I promise to be fixed in the future, but I'm occupied with developing new feature. If you feel something wrong with scheme-langserver, you may reboot vscode, generally this always work.

3. Technology road map: I'm now developing a new macro expander so that the users can customize LSP behavior by coding their own macro and without altering this project. After this, I have a plan to improve efficiency and fix bugs.
4. Do I need any help: Yes. And I'd like to say, talking about scheme-langserver with me is also a kind of help.

5. Long-term View: I suspect 2 or 3 years later I will lose concentration on this project but according some of my friends, I may integrate this project with other fantastic work.
by SJC_Hacker | 2026-02-24 06:54:07+00:00
Can't find the reference but from an interview with his parents there apparently there wasn't much "nurturing" other than simply making available the necessary materials which he gobbled up. Its not like they put a made him practice for an hour a day.

A boy in my high school class made IMO and got a gold medal (and later on won the Putnam one year). They interviewed his parents and it was a similar story.
by 11mariom | 2026-02-24 06:54:09+00:00
> Can the site owner and the government collude to track you? Yes they can! Government can track all salts for your tokens, site can collect all salts, they can compare notes. There are so called policy mitigations currently: audits and requirements for governments to remove salts from memory the moment stuff is issued.

It's not zero knowledge for me then. Also - if there is ANY possibility to track anyone. And/or centrally mark someone "nonverified" then it makes more problems than solves.

Even if I trust my govt (no way), even if it'd be fully ZK with no way to track anyone… still govt would have a way to just block some individual "because".

And the best part… Age verification will not solve "children problem". I think it's parents problem to take care of their children, AV will be pretty easy to bypass - kid will just borrow ID for a moment and… voila! Govts (or some people) are creating problem and solution that do not exists.

I do not like way internet went, I do not like more way it's headed now.
by jcgrillo | 2026-02-24 06:55:19+00:00
The Microsoft antitrust case, DMCA, and other conversations in government and the media at the time (in particular the notion that video game violence was somehow poisoning the minds of the youths) made a strong impression on me as an 11-13yo interested in computers. And that impression was that people in government and the press have no idea what they're talking about when it comes to technology. And broadly speaking, with some exceptions, it's still the case now. I don't know what it will take for people to start demanding they educate themselves--whether it'll be a gradual tipping point or some abrupt catalyst--but something must give way because the way this is headed won't work.

In high school I was really interested in the antiwar and civil rights movements of the 1960s. Bush invaded Iraq during the spring semester of my freshman year. There were marches and protests, but it didn't really change anything. I remember being really interested in trying to understand why. In any case, none of that got anywhere near the intensity of '68 which is a shame. If it had it might have made a difference.
by raincole | 2026-02-24 06:55:29+00:00
The context matters when we talk about Joel's article[0].

It's about Netscape. By the time, Netscape had dominated the browser market. It was the leader and that means they had all the market share to lose. You can bet Microsoft's decision makers were very closely monitoring what those at Netscape were doing.

Today, practically nobody uses Ladybird. No one even knows it[1]. It's so behind and has nothing to lose. If you really want to rewrite, it's better to do it when you have nothing to lose.

[0]: https://www.joelonsoftware.com/2000/04/06/things-you-should-...

[1]: to quote Joel, "no one" means less than one million people.
by fcatalan | 2026-02-24 06:55:43+00:00
I get chills from music here and there. The piece that most reliably will produce the strongest effect on me is "Fantasia on a Theme by Thomas Tallis" by Ralph Vaughan Williams.

Looking at the article there seems to be a genetic component, but no one in my family has ever mentioned them, I should go ask.

We are not a "musical" family. No one plays competently any instruments or goes to concerts. I have an ukulele that I use mostly as a noisy version of a fidget spinner.

From the article I see that the openmindedness trait fits, at least musically: I sometimes go on YouTube musical late night binges and they can easily range from Renaissance guitar pieces to KPop via Mozart, Slipknot or some obscure Latvian folklore.
by farhanhubble | 2026-02-24 06:56:35+00:00
The cost has always been the sum of:

1. The time spent to think and iteratively understand what you want to build
2. The time spent to spell out how you want to build it

The cost for #2 is nearly zero now. The cost for #1 too is slashed substantially because instead of thinking in abstract terms or writing tests you can build a version of the thing and then ground your reasoning in that implementation and iterate until you attain the right functionality.

However, once that thing is complex enough you still need to burn time on identifying the boundaries of the various components and their interplay. There is no gain from building "a browser" and then iterating on the whole thing until it becomes "the browser". You'll be up against combinatorial complexity. You can perhaps deal with that complexity if you have a way to validate every tiny detail, which some are doing very well in porting software for example.
by LocalH | 2026-02-24 06:57:12+00:00
Do you not believe that the eventual purpose of limited copyright terms is to incentivize creation of works and enrich the public domain?

I am absolutely not trolling. Historically, pirated works become more accessible than non-pirated works. Especially in the realm of computer software and video games.

Rightsholders are more often than not horrible stewards of their own legacy. The best way to preserve works is to spread them far and wide. Universal was doing a great job managing their masters, until it all went up in flame.
by bob001 | 2026-02-24 06:57:19+00:00
> have equal chance to be malicious.

Is A has a p chance of being malicious and B has a q chance of being malicious then the chance of them both being malicious is pq. pq <= p and p*q <= q.

I'm honestly not sure why its so hard for you to understand that TWO people being malicious at the same time is less likely than either being mailicous on their own.
by Mathnerd314 | 2026-02-24 06:58:22+00:00
https://doi.org/10.1038/s41591-025-03622-w this is the paper they're basing the research on. So in primary care, the accuracy rates are in the 80s. So that's something like a 17% false positive rate. That's still like 5 to 1 odds of getting a correct result though. It's much better than nothing.
by onion2k | 2026-02-24 06:58:55+00:00
I got a human baseline through Rapidata (10k people, same forced choice): 71.5% said drive. Most models perform below that.

The correct answer to "I Want to Wash My Car. The Car Wash Is 50 Meters Away. Should I Walk or Drive?" is a clarifying question that asks "Where is your car?" Anything else is based on an assumption that could be wrong.

FWIW though, asking ChatGPT "My car is 50m away from the carwash. I Want to Wash My Car. Should I Walk or Drive?" still gets the wrong answer.
by orange_puff | 2026-02-24 06:59:31+00:00
I basically fully agree with this. I am not sure how to handle the ramifications of this in my day to day work yet. But at least one habit I have been forming is sometimes I find that even though the cost of writing code is immensely cheap, reviewing and validating that it works in certain code bases (like the millions of line mono repo I work in at my job) is extremely high. I try to think through, and improve, our testability such that a few hundred line of code change that modifies the DB really can be a couple of hours of work.

Also, I do want to note that these little "Here is how I see the world of SWE given current model capabilities and tooling" posts are MUCH appreciated, given how much you follow the landscape. When a major hype wave is happening and I feel like I am getting drowned on twitter, I tend to wonder "What would Simon say about this?"
Show HN: Pragmatica Aether – a distributed Java runtime that replaces Kubernetes
by siy | 2026-02-24 07:00:02+00:00
Author here. I built this because after years of watching teams spend more time fighting Kubernetes YAML, service meshes, and Spring Boot startup than writing business logic, I wanted to see if the JVM itself could be the platform.

Aether is a standalone distributed runtime for Java 25. You write "slices" (small focused handlers), package them as JARs, and Aether handles clustering, deployment, routing, rolling updates, auto-healing, and auto-scaling. No containers, no sidecars, no orchestrator.

Under the hood: Rabia consensus for replicated state, consistent hash ring DHT for artifact storage and distributed cache, blueprint-based deployment with traffic shifting, and CPU-based auto-scaling with optional ONNX-based predictive scaling.

Performance: 4K RPS at ~0.5ms latency (localhost, Mac M1 Air), 10K req/s distributed. Survives rolling restarts with ~100% request success.

Just released 0.17.0 with pub-sub messaging, scheduled invocations (cron + interval), DHT anti-entropy repair, and cluster event streaming.

59 features complete, 80+ E2E tests, 427+ unit tests. Not claiming production-ready for unsupervised use yet -- no RBAC (coming in 0.18.0), no KV-Store backup. Ready for controlled pilots.

Core library and tooling are Apache 2.0. Aether runtime is BSL 1.1 (free for internal use at any scale, converts to Apache 2.0 in 2030).

1-min demo: https://www.awesomescreenshot.com/video/49013877?key=a0b1105...

Happy to answer questions about the architecture or the "JVM as platform" approach.
by shevy-java | 2026-02-24 07:00:04+00:00
I understand the "detect deadly progression but no cure" problem; this was the same rationale people used when Huntington disease could be verified in diagnostics. Many people don't want to know, but some want to know, in particular as you can manage some things here or there - diet affects many things, for instance, even aside from metaboic genetic defects. And for any (molecular) therapy at a later time you need to understand the molecular basis to some extent. Some things can be found out via trial and error (vaccination and before) but for some disease that can not work. Alzheimer is quite complex.
by whatdotheymake | 2026-02-24 07:00:09+00:00
I built https://whatdotheymake.com/ to give real people the opportunity to see and post real salaries. There are no accounts, no login, and no paywall. We don’t keep any logs, IPs, or anything identifiable.

Give as much or as little information as you wish, or doom scroll through the feed of others who have posted. Every submitter is issued a random code that they can use to modify or delete their submission at any time.

Build with Nuxt, hosted on Cloudflare Workers, using D1 and KV. This was so much fun to write and deploy, hope you enjoy!
by abustamam | 2026-02-24 07:00:28+00:00
Oh good, it's not just me. Sometimes I'd have it draft an email or something and then the message seems perfect but then it's like "tell me more about the recipient and I'll make it better."

Like, my guy, I don't want to keep prompting you to make shit better, if you're missing info, ask me, don't write a novel then say "BTW, this version sucked"

Yes, I know this could probably be resolved via better prompting or a system prompt, but it's still annoying.
by weatherlite | 2026-02-24 07:00:40+00:00
> Genuine curiosity: if you are gifted with a certain “wiring” (genes, brain chemistry etc) why is that considered an accomplishment?

It's complex; first of all society has an interest for exceptional people to be respected and well compensated; if there was absolutely no prestige or compensation in being a math genius it's quite possible Terrence Tao would have become a schoolteacher. So a well functioning capitalist society has both monetary and prestige tools to incentivize extreme accomplishment.

Second, I think it's human nature to like and want hierarchy. Admiring figures for their looks, charisma or intellectual accomplishments could very will be in our wiring - 20 thousand years ago we would admire the shaman, the great hunter or the storyteller.

But ultimately I totally agree with you - not only did these people were born into the unique genetic and envrionmental circumstances that made the accomplishment possible , I also don't believe they had any say after being born in becoming what they had become; e.g I don't believe there's a "free will" and that Terrence Tao "chose" to become a math genius. He was born into that reality in a fluke.
by WheelsAtLarge | 2026-02-24 07:00:49+00:00
No, I don't see it. Current COBOL is running and meeting the needs. Rewriting the code would be a massive venture but even if Claude is able to map and rewrite the code there is 0 chance it can be trusted without major and expensive testing. Additionally, dealing with the new hardware that will be needed would be a major point of pain. Claude will help but why break something that's working. The better path will be to do a new needs analysis and then use Claude as one of the tools to make the transition. But the biggest block is getting management to pay for new code when the old code is not broken plus there is a chance of making things worse by doing the rewrite. Why would management take that risk?
by JasonADrury | 2026-02-24 07:01:01+00:00
> Sure, but so is basically everyone.

Well, sure! The crucial difference between cartels and ISIS is that the cartels are in it to make money, ISIS is an ideologically motivated nation-building project.

The cartels disappear when the activity becomes unprofitable, ISIS does not.

The cartels tend to use violence when it's profitable, ISIS will use violence because they believe that an imaginary man wants them to do so.

You could legalize and regulate their drug-related business, paying a small amount of taxes will probably be more attractive than maintaining a private military in the long term.

Alternatively you can fight like this, barely dent the cartels and instead cause massive amounts of suffering for the regular people who live in the middle of it all?
by hombre_fatal | 2026-02-24 07:02:14+00:00
> Without naming names, some of those convey less information in 2-3 hours of video than some short form creators do in 2-3 minutes.

Even if you have a 3-minute video that yammers off back-to-back facts to maximize info density, it's still low value because you've only spent 3 minutes with those facts.

There's nothing a 3-minute video can do to compete with a good video 2-3 hour video due to the limitations of the medium.

I would wager a 2-3 hour video of something you find worthless, like celebrity gossip, is preferable to the same thing in TikTok form because at least the longer video challenged you with following a narrative of some length.

When you fill your time with TikTok videos, you're basically regressing to the mental activation normally relegated to babies and toddlers. I think it's fair to demand a little more aspiration of ourselves.
by abustamam | 2026-02-24 07:03:03+00:00
It's also annoying when it starts obsessing over stuff from other chats! Like I know it has a memory of me but geez, I mention that I want to learn more about systems design and now every chat, even recipes, is like "Architect mode - your garlic chicken recipe"

Like, no, stop that! Keep my engineering life separate from my personal life!
by aurareturn | 2026-02-24 07:03:08+00:00
It's a matter of volume at this point. Yes, TSMC's leading edge is very important and valuable but companies can't even get enough N5 and N3 wafers.

Intel made about 1.2 - 2 million wafers in 2024. TSMC made 13 million in 2024.[0]

If US loses TSMC access today, Intel would have to build 10 fabs to replace the volume. Each fab costs about $20-30 billion and takes 3-4 years to start making wafers.

[0]https://semiwiki.com/forum/threads/how-many-wafers-did-intel...
by stephenr | 2026-02-24 07:03:50+00:00
> Mozilla negotiates search deals the same way Apple does for Safari. Revenue deal ≠ corporate control.

Google search revenue represents about 75% of Mozilla's total revenue.

Google search revenue represents about 4% of Apple's total revenue.

If you think those differences don’t matter, make that case directly. But don’t blur financial distinctions into “basically the same.” They’re not.
by jzelinskie | 2026-02-24 07:04:32+00:00
Sorry to piggyback, but if this is of interest to you, feel free to reach out to me over to email (contact info in my profile). I'm one of the founders of the most popular ReBAC solution, SpiceDB, which secures quite a few AI products including big players like OpenAI. I'm always interested in hearing about more use cases or where folks are struggling the most.
by gck1 | 2026-02-24 07:04:40+00:00
This is the third time I see pi mentioned over the last few days and pi is the first project where every writeup I've read about it is actually helpful and goes into details on how things were done and what things were built, with git repos. This is a common complaint on HN.

Now, since Claude Code is banning accounts for usage of pi (or rather, how pi is configured to use Claude models), how complicated would it be to wire pi through Anthropic's harness and treat anthropic harness as a dumb shell?
by acuozzo | 2026-02-24 07:05:11+00:00
Let's replace "car" with another noun for now.

"I want to wash my dog."

is very clearly different from

"I want to have my dog washed."

---

Now, every car wash business I've even been to has a small convenience store section in which various waxes, rags, and the like can be purchased.

---

Considering the aforementioned, is it not valid to consider that

"I want to wash my car." --> You want to DIY your car wash.

and

"The car wash is 50 meters away." --> You might want to purchase car wash supplies and/or solicit advice for your DIY endeavor.

?

---

The nature of the first sentence leaves the second open to interpretation.
by huijzer | 2026-02-24 07:05:29+00:00
Yes agreed.

It is possible through what he says. I’ve made fx [1] exactly for the purpose of the author. Wordpress but written in Rust for efficiency and loads of unneeded features omitted. Publishing is not via static site generator because the time between edit and seeing the result was too long for me. It does use Markdown for the posts and has built-in backup to Git functionality. I’m using it for my blog and like it a lot since I can quickly use it to jot down notes [2].

[1]: https://github.com/rikhuijzer/fx

[2]: https://huijzer.xyz/
by echelon | 2026-02-24 07:06:42+00:00
Fun joke! Eggs are really old evolutionarily. Over 600 million years old if you count preamniotes.

You could still say that's recent on the evolutionary time span, given that life on Earth is ~3.5-3.7 billion years old. (Which is within the same order of magnitude as the age of the universe - which is itself wild to ponder.)

Chickens are a human invention.

It's fun to think about theropod language centers. Raptor kiki bouba.
by dmfdmf | 2026-02-24 07:06:47+00:00
>Infinity invites resistance. Aristotle rejected the existence of the infinite entirely; to him, infinity was simply a limit that could never be reached, not a true mathematical entity.

Off to a bad start. Aristotle was not making a mathematical point but a metaphysical one. Infinities do not exist and is not a number. For example, Pi is not a number but a symbol that stands for an open-ended (infinite) process to calculate a rational number and is a perfectly valid mathematical concept that, I am sure, Aristotle would agree. On any computer, despite protestations by the mathematical platonists, Pi is ultimately a rational number in all use cases involving actual measurement or calculations.

The error is illustrated in the first image in the article.

https://www.quantamagazine.org/wp-content/themes/quanta2024/...

The third set in this example is an invalid and undefined set by including Pi since Pi is indeterminent and thus cannot be an object to be counted. All of Cantor's nonsense rests on this type of error, i.e. treating a mathematical process as a number. All of these errors are implicit in Newton's calculus and Berkeley's Ghost of Departed Quantities critique still needs to be answered. Hint; there is no such thing as infinite precision and epsilon/delta needs to be defined in a consistent way, not arbitrarily as it is now.
by altairprime | 2026-02-24 07:07:07+00:00
Ironically, I bet that a significant majority of the users that turn on the AI kill switch — which must have some kind of phone-home telematics attached — will also be users who have disabled Firefox metrics collection and so will not have their opinion counted.

So, the most effective path here for y’all to be heard is not flipping the switch off yourself (do so anyways!) — anyone who cares at this stage has probably opted out of being counted already, after all — but instead to ensure that news of this switch spreads to absolutely as many non-tech people as possible. Don’t argue that they should run some script that shuts off their metrics and phone home and updates. Just convince them to shut off the AI and explain that this is why their browser got slow about a year ago! They’ll flip off the switch gleefully, their phone-home will count them, and y’all will have the strongest possible impact on the telematics graphs at Mozilla.

I already ran the disable process manually on the computers I have friends and family IT duties towards, so I’ll go back and do the AI switch to be sure it’s counted next week. Yes, this is a crap way to be heard. But making a mark on feature opt-out graphs is probably the only hope we have left to get their executive leadership to stop drowning the browser for its own good.