skysight-inc/HackerNews huggingface dataset:
Would you like to further colonise mathematics?

Algebra could be renamed Chestering, to credit the Englishman who did the real work of translating Al-Khwarizmi's text from Arabic into Latin.
I was brought up as an American to believe that most important American value inscribed in the constitution was that the government cannot control your speech. So regardless of what Harvard does or does not do that quote, coming from the government especially, is simply unAmerican on its face.
>why segregation is bad

What do you think about some of the religious communes / islands which do not allow women, outright, e.g. Okinoshima Island; Mount Athos.

What about places which exlude born-men?

Shouldn't tiny Nepal be allowed to massively restrict tourism/outsiders (should it so choose, as it does)?

Where/when are we going to be allowed to have these necessary conversations, without the spite/tone? People ought'ta be able to self-isolate, of their own choosing.
If Meta loses then Trump will use selective enforcement for leverage.
I think this administration never had the intent to be "reasonable".

If they were concerned about out of control diversity efforts, I might even semi agree with them.

But this administration and the GOP doesn't value free speech. Despite their complaints they're not the least bit opposed to the government enforcing their viewpoints on people, in fact they just want to do it in spades.
A few weeks back I couldn't even get ChatGPT to output TypeScript code that correctly used the OpenAI SDK.
Prompt caches right now only last a few minutes - I believe they involve keeping a bunch of calculations in-memory, hence why for Gemini and Anthropic you get charged an initial fee for using the feature (to populate the cache), but then get a discount on prompts that use that cache.
What's kind of amazing is that Typescript's matching of strings through the type system converges on a first-class PEG in a few places (see string.ts). The rest of the library is really damn succinct for how much lifting it's doing.

My hat's off to the author - I attempted something like this for a toy regex engine and got nowhere fast. This is a much better illustration of what I thought _should_ be possible, but I couldn't quite wrap my head around the use of the ternary operator to resolve types.
That's just the concept of judicial review.
Give me a break. What's not "real" about it? It's homoiconic, it supports connecting to a REPL, it has macros, first-class functions and proper lexical scoping. What else do you want, Guy Steele personally sending you an emoji whenever you install it?
It's the same organization that kept repeating that sharing weights of GPT would be "too dangerous for the world". Eventually DeepSeek thankfully did something like that, though they are supposed to be the evil guys.
I concede that my framing was explicitly Bayesian, but with that caveat, it absolutely is true: your uncertainty is a function of your knowledge, which is a model of the world, but is not equivalent to the world itself.

Suppose I had a coin that only landed on heads. You don't know this and you flip the coin. According to your argument, for the first flip, your entropy about the outcome of the flip is zero. However, you wouldn't be able to tell me which way the coin would land, making your entropy nonzero. This is a contradiction.
Viewpoint diversity is not the same as diversity of opinion. When someone is seriously trying to justify DEI practices, viewpoint diversity is usually the first thing they talk about. They argue that having people from diverse backgrounds is important, as diverse experiences lead to diverse viewpoints, which may allow the organization notice and do things it could otherwise not do. They may even argue that if viewpoint diversity and diversity of opinion are in conflict, viewpoint diversity should prevail, as it contributes directly to the mission of the organization.

Or at least that's how it started, before DEI became a big controversial topic.
Privacy Policy vs. Privacy Notice: The entire Internet has it all wrong
Yes, they are called Neturei Karta, and there are maybe 100 of them out there.

But it doesn't matter who is espousing the idea: just because a Jew says something doesn't make it _not_ antisemitic. I have yet to hear an argument that convinces me that it is not bigoted to selectively deny the Jewish people a right to a state from which to defend themselves.
I don't know, is it moral to give legitimacy and a platform to someone like J. Mark Ramseyer (https://en.wikipedia.org/wiki/J._Mark_Ramseyer)? Less clear example would be keeping around Roland Fryer.
I assume if you get a positive response you will want to speak with doctor about it
I read "the changes indicated in this letter" to mean "removing power from non academic activists"

While I kinda agree that can also be taken to mean "those ideologically-aligned with the Trump administration", it still means those calling the shots are the non academic activists not aligned with an ideology of promoting academic merit....

Maybe.
But then they'd have to compete and not just shovel more money into the pockets of major individual shareholders, along with the retirement and pension funds of a generation that needs to drastically scale back its post-career ambitions.
This would be such a beautiful use of AI
I don't disagree! It's just the fact that it has to be transpiled to JS that's the problem, because it means none of the types are "real"; there's no runtime assurance that a string is actually a string. TS is great and I'd never go back to JS, but it's ultimately a bandaid. Native TS support in browsers is probably never going to happen, though, sadly.

Imagine if WASM were supported natively instead, with browsers exposing the same DOM interfaces that they do to JS. You could link a wasm binary in a <script> and do everything you can with JS/TS, but with any language of your choosing. No doubt a compiled form of TS would appear immediately. We'd no longer need separate runtime type checking.

Just feels like priorities are in the wrong place.
BYD Blade prismatic cell vs. Tesla 4680 cylindrical cell with teardown analysis
Contrasting a BYD Blade prismatic cell and Tesla 4680 cylindrical cell with a teardown analysis of design and performance

Highlights

- Design, materials, performance, and process flow of BYD Blade and Tesla 4680 cell are compared

- Tesla uses laser welding; BYD combines laser and ultrasonic for electrode connections

- Tesla 4680 cell generates 2× the heat per volume of BYD Blade at a 1 C specific load

- PAA and PEO binders identified in Tesla 4680 anode warrant further investigation
Dear Users, in our Terms of Service, we tell you that we won't share your data.

Psych, it wasn't legally binding.
As someone with a phenotype more subject to skin cancer, I have been using an app called SkinVision for years.

From my anecdotal experience it tends to flag the same moles as dermatologists do, and they have actual dermatologists review images where the model has low confidence, so overall pretty happy with it.

Note that I am not affiliated with them in any way.
Hmmm, is this akin to what Russia means, when it says "we do not negotiate with terrorists"?
I don't think your concept her is bad at all.

But I also don't think your concept has anything to do with the situation at Harvard.
Are they going to release a Gemini desktop app with MCP support so normal people can use it?
The Old World Is Dead
> - JSON BAD - use XML or arxiv 2406.13121 (GDM format)

And yet, all function calling and MCP is done through JSON...
those endowments, especially for the Ivy League schools, aren't liquid at all. They'd take a massive haircut if they had to start pulling funds from it
What exactly makes an app a "KDE app"? Obviously a game with a custom UI is not going to have the same searchable menu, right?
sqlite itself supports a binary encoding of JSON: https://sqlite.org/jsonb.html
Typescript's --strict is sometimes a very different ballgame from default. I appreciate why in a brownfield you start with the default, but I don't understand how any project starts greenfield work without strict in 2025. (But also I've fought to get brownfield projects to --strict as fast as possible. Explicit `any` at least is code searchable with the most basic grep skills and gives you a TODO burndown chart for after the fastest conversion to --strict.)

Typescript's --strict still isn't technically Sound, in the functional programming sense, but that gets back to the pragmatism mentioned in the article of trying to get that 80/20 benefit of enough FP purity to reap as many benefits without insisting on the investment to get 100% purity. (Arguably why Typescript beat Flow in the marketplace.)
If the Palestinians are risking their lives to protest against Hamas in Gaza, why can't the alleged pro-Palestinian protesters demonstrate in support of this viewpoint?
The large tech firms get a surprisingly large amount of hate on antitrust issues on this website for startups so I appreciate your point bc I think it’s often missed.
Why does HN lie? There are comments in this thread saying they were posted "18 hours ago" (eg from giraffe_lady), but I am positive I read these comments 3 days ago on the same thread.
Whoever flagged this: screw you.
> That's fine. I'm not the one making claims about chatGPTs retention

But you did. Here, I'll quote you: "There is no evidence that ChatGPT has a retention problem. Quite the contrary.". That is your claim about ChatGPTs retention, that it is good. Later we find out that there is no evidence but only anecdotes to support your claim.

> But assuming they have poor retention is just silly.

What would be silly is to assume that they have good retention numbers. The logic of it I wrote in the previous post. What logic are you using to arrive to your conclusion?

> Why would OpenAI share their retention numbers for their competitors to know?

One would usually share those numbers to get more money from investors.

What the fuck would their competitors do with their retention numbers?

> Nobody outside of silly AI-skeptic HN devs would think they have crappy retention.

They say that name calling is the last resort of the truly desperate. No wonder your post ends like this.
> Also, research tells us that it only takes 3.5% to overthrow a government.

You're describing a coup or revolution. Isn't that highly anti-democratic considering this president just won an election? Why should the 50% be under the thumb of the 3.5%?
You can get value out of local mutability in languages like Scala or Kotlin. Variables can be declared mutable in the scope of a function, and their value can then later be assigned to a non-mutable variable, for example. Collections also come in mutable and immutable variants (although this has some pitfalls in Kotlin).
> it's hard for me to not think that's crazy and why can't that money go to average americans

The democrats have been trying to pass universal healthcare and free higher education it feels like forever. UBI has even come up a few times. Nothing that Trump is doing is for anyone but himself and his rich friends.
Show HN: Adrenal AI adds support for OpenAI GPT-4.1
I'm not sure to which extent this opinion is accurately informed. It is well known that nobody trains on 1M token-long content. It wouldn't work anyway as the dependencies are too far fetched and you end up with vanishing gradients.

RoPE (Rotary Positional Embeddings, think modulo or periodic arithmetics) scaling is key, whereby the model is trained on 16k tokens long content, and then scaled up to 100k+ [0]. Qwen 1M (who has near perfect recall over the complete window [1]) and Llama 4 10M pushed the limits of this technique, with Qwen reliably training with a much higher RoPE base, and Llama 4 coming up with iRoPE which claims scaling to extremely long contexts up to infinity.

[0]: https://arxiv.org/html/2310.05209v2

[1]: https://qwenlm.github.io/blog/qwen2.5-turbo/#passkey-retriev...
Bernie Sanders put it best: "open borders is a Koch Bros scheme"

You saturate the labor market with workers, it depresses wages, plain and simple. It's in the interests of shareholders to saturate the labor market to increase profits.
> Viewpoint Diversity in Admissions and Hiring. By August 2025, the University shall commission an external party, which shall satisfy the federal government as to its competence and good faith, to audit the student body, faculty, staff, and leadership for viewpoint diversity, such that each department, field, or teaching unit must be individually viewpoint diverse.

I kind of hope they go through with this just for the comedy. If students and staff have to fill out some kind of viewpoint survey, the only rational strategy is for them to randomize their answers to minimize the chance of being in the group that gets told “sorry, we have too many of your type this year”.
I'm glad my sarcasm was misplaced.

I'm not supporting the government... Instead I was bemused by how Columbia just folded on all points, after lecturing the world from its position of absolute superiority.

Interesting one to watch now.
Yeah if I wasn’t clear I’m talking about a minimal file that SQLite can still open read only without errors, not a third party implementation. Though there might be a few tweaks that would allow SQLite to be a bit more lenient. For instance missing metadata that can be assumed. Maybe b tree nodes exceeding the usual load factor.
It still seems to me the PEG revolution hasn't arrived.

PEG has the possibility for composable grammars (why not smack some SQL code in the middle of Python?) but it needs a few more affordances, particularly an easy way to handle operator precedence.

I think current parser generators suck and that more programmers would be using them if anybody cared about making compiler technology easier to use but the problems are: (1) people who understand compiler technology can get things done with the awful tools we have now and (2) mostly those folks think it is performance über alles.

With the right tools the "Lisp is better because it is homoiconic" would finally die. With properly architected compilers adding

unless(X) { .. } -> if(!X) { ... }

to Java would just one grammar production, one transformation operator and maybe a new class in the AST (which might be codegenned), that and something to tell the compiler where to find these things. Less code than the POM file.

I gave up on Restructured text because it didn't support unparsing: I could picture all kinds of scenarios where I'd want to turn something else into RST or take RST and mix it up against other data and turn it back to RST; RST had the potential to work with or without a schema but it never got realized.
There is unpopular - and then there is can I get a working toolchain for modern OS that’s not emulated.
The government is claiming that Facebook bought Meta and Whatsapp because it couldn't compete with them.

Is that illegal? I don't understand! Every company that buys another company buys it because it adds something to their business. It's a ridiculous claim.
I am no longer impressed by the gray color treatment of my comments when it happens (don't get the impression that it's the norm; it's fairly rare). HN has showed me that it's much more about group-think and cargo culting than objective and calm discussion. Obviously those elements still kinda sorta prevail a good part of the time but for the most part the random HN user fell victim to the usual big herd logic fallacies. So let them press their arrows, that's not changing anything. And I didn't even claim something is objectively / universally bad. I said that the priorities of Emacs are not my priorities, in not-the-perfect diplomatic way that's apparently expected. Some people couldn't take that and pressed the arrow.

It's their right. ¯\_(ツ)_/¯

With that being said, I also struggled with Emacs. Again, too much freedom. I don't want to care where am I supposed to put `.el` files. I want a plugin manager and to be able to tell it: install / update / delete. Neovim's Lazy and Mason do that and that's why I love them. Just earlier today some configuration of a plugin broke; it used git submodules and something got moved and the new revision used another mechanism. I literally fixed it in 5 seconds: deleted the plugin, installed it again, and configuration persisted and I didn't have to set it up again. Reopen a file (just input `:e` in the command bar), everything worked right away. Is this too much to ask of Emacs?

> They just seem to make breaking changes a lot more often.

That was my experience as well. Always some warning in the command bar or a full-blown stack trace. No thanks. I don't associate with amateur work.
Whether or not they should is irrelevant. What is relevant is the government cannot infringe on Harvard’s speech.

Also this has nothing to do with immigration. It would be the same situation if everyone at Harvard were 10th generation Americans.
Conservatives have started their own Universities. No one likes going to those schools, and they end up bankrupt, with students who are functionally uneducated.
humans are animals. this entire topic is "what separates humans from animals--oh, less than we thought".

stop wrapping humanity in the cloak of personification, it's the first [animal] refuge of rats and weasels. also, stop accusing people of racism all the time, it makes me think you are a worse person, not a better one. studying hunter gatherers gives us a lot of important data, and they can't help their race, nor can the researchers, it's an immutable characteristic.
Yes, one would expect kin / group selection to play a role.
You are denying the agency of the people living there and/or are clueless about the country..

US and Israel started the Lebanese civil war and the enmity between the Christian and Muslim populations?

Well in a way.. at least the Palestinian refugees were a huge shock that shifted the scales. But the balance was very tight and the country would have blown up eventually anyway.

You can’t build a democracy when each half of the population hates the other half and considers that their ideological views and their ways of life are incompatible. Even US is learning that the hard way (again..)..
my thoughts, exactly, for around 10 years, since my first serious data engineering projects. So many projects I worked on, all suffering this problem: complex individual data pipelines.

Sometimes I wrote small frameworks on my own, sometimes I used 3rd party tools. I also tried to create a universal framework for that, trying to solve exactly what you described. Never finished it, because I am more of the no-finishing guy.

However, at some point I came to the conclusion, that it's simply not possible. which is nonsense and more of an excuse. as you said, it's just data in and data out, processed through some simple rules.

so, I'd know the concept, but there are a million other projects in my head.
99% accuracy in diagnosing benign case

This is meaningless. The only thing that matters in this kind of application is false negative rate at some acceptable false positive rate.

I assume whoever is working on this knows that, so this is mostly a criticism of the article. That said, this is a horrible use of AI.
I'm a blue collar electrician, who knows just enough to be dangerous... which is why I won't type random code in on my local terminal (see: am idiot).
right, freedom of speech is free as long as it agrees with the viewpoint of who's in power. similar to how history is written by victors but this part is conveniently ignored. it's just facts in the open marketplace of ideas yay!
There are 2 issues here. The first is that it's not consistent with ending speech control policies.

The second is that hostility to American values is actually pretty subjective. For instance, the January 6 insurrectionists were very hostile to American values and used violent terroristic tactics to try to destroy the constitutionally mandated transfer of power. But Trump pardoned them all because it improves his ability to wield violence against America in the future.

It's impossible to take any of this document seriously in that light.
> Conservatives should start their own universities

They did. Remember Trump University? It got shut down for fraud.
'We are flying blind': RFK Jr.'s cuts halt data collection on abortion, cancer
> [..] to simplify the setup?

It would be simpler to keep Meilisearch and its key-value store out of Postgres' WAL and stuff and better propose a good SQL exporter (in the plan).
Yeah that was the one. I too left it unconvinced that Rust can get measurably faster than C, for what it's worth. But as said in another comment, even being 1-2% around the same ballpark is a huge win already and it would be enough for me.
Source or don’t post assertions like this. Come on.
I think trial-and-error hand-waving isn't all that far from experimentation.

As an aside, I was working in the games industry when multi-core was brand new. Maybe Xbox-360 and PS3? I'm hazy on the exact consoles but there was one generation where the major platforms all went multi-core.

No one knew how to best use the multi-core systems for gaming. I attended numerous tech talks by teams that had tried different approaches and were give similar "maybe do this and maybe see x% improvement?". There was a lot of experimentation. It took a few years before things settled and best practices became even somewhat standardized.

Some people found that era frustrating and didn't like to work in that way. Others loved the fact it was a wide open field of study where they could discover things.
Google dropped their "don't be evil" a very long time ago.
1) Hamas run health ministry numbers are not trustworthy

2) You do know that Hamas uses children soldiers right?

3) Not everyone in Gaza is Hamas true, but most of them (pre war) and most west bank Palestinians (currently) support them

4) If Egypt allowed non combatants to flee, they would be safe, however they closed the door or asked 1000s of dollars in bribes, but then they couldn't be used against Israel like the Arab nations always do.
Build it. Use Go. Maybe nknorg/nnet for P2P. Signed HLS segments. Have Go also serve the web front-end with a WASM web worker. Public nodes can run on a very lightweight VPS/server with an autocert domain. Viewers browser join the swarm with WASM-- this way people can just type in a web address so it's very user friendly but the domain doesn't actually have to serve any data. I would just use a trusted pubkey to sign P2P updates so nodes can block naughty IP addresses. Should get you very friendly user experience, easy node deployment, pretty low latency, and bittorrent level of legal resilience.
Hey! Saw it last week...I have a few questions for you :)

- How does it compare to GlitchTip, for instance?
- Is it "feature complete" / production-ready?
- Are you using it some prod projects yet?

It seems to be mostly a one-band, so curious about your current production usage, and dedication to it :)
Yes on both Cursor and Windsurf.

https://twitter.com/cursor_ai/status/1911835651810738406
The correct number of non-Hamas fatalities is 0.
Sure... As a different government.

I assume parent is talking about the functional end of this iteration of the United States as a political entity.
If you're looking to test an LLMs ability to solve a coding task without prior knowledge of the task at hand, I don't think their benchmark is super useful.

If you care about understanding relative performance between models for solving known problems and producing correct output format, it's pretty useful.

- Even for well-known problems, we see a large distribution of quality between models (5 to 75% correctness)
- Additionally, we see a large distribution of model's ability to produce responses in formats they were instructed in

At the end of the day, benchmarks are pretty fuzzy, but I always welcome a formalized benchmark as a means to understand model performance over vibe checking.