skysight-inc/HackerNews huggingface dataset:
Not the OP but:

One can develop with TDD in Clojure quite smoothly depending on choice of tooling; with CIDER in Emacs there are keyboard shortcuts to run tests for the current namespace or the entire project, so feedback can be very fast (if your tests are fast). I've also used (some time ago) test runners that stay running and re-test when a file is saved.

In fact, it can be nice to do one's explorations in the REPL and then reify one's discoveries as tests.

Regarding types: I will say that working on larger Clojure (and Python) projects with somewhat junior teams made me more curious about type systems. Clojure's immutable collections and the core abstractions they are built around are great, but it can take some skill and discipline to keep track of exactly what kind of data is flowing through any particular part of your program. But, there is some support for à la carte strictness in the language via Spec, Malli, structured types, etc.
I was real busy last week. Long-ish list at Pastebin.

https://pastebin.com/raw/uFkWA8C4
Because there's a lot you can do with basic knowledge of a subject.

Very few people need to know the subatomic behaviour of electromagnetic fields that make electricity work, but all of us need to know that it travels in wires and it can kill you.
Im curious how the status quo compares with respect to the safety angle.

Is the primary safety concern sexual violence, or hate crimes? I imagine pregnancy would also be a concern.

If the main concern is sexual assault, can imagine there are risks either way, status quo and ex-post. If the concern is hate crimes, I could imagine trans people also suffering under either case. Prison is a high risk place.
The thing I was talking about was what I said. Parents expected classroom education to be somewhat like what they had experienced in school. Reading, writing, and 'rithmetic, but also something vaguely pro-American. The forms of myth-building that took place in the 80s and 90s were, if not more true, then quite a bit less overtly political. Having the kids home on zoom classes was the window into progressive indoctrination technique.

I wouldn't subsume progressivism under neoliberalism. I would class neoliberalism as the "new world order" or post-war consensus of global power, first during the Cold War, and then with the unipolar US hegemony. Very much about geopolitics.

Progressivism is what is being taught to kids in school and it effectively just is one side of the culture war. Simply put, I'm referring to egalitarian identity politics. It refers to a way to think about people, their place in society, new values, etc... the contrast might be the old "melting pot" values their parents were taught. Or, further back, an identitarianism centered around ethnic pride in tension with a "civil religion" defining what it is to be an American. You can quibble with the truth of these claims but there must be some governing myths uniting a people or else what are they? The myths being promulgated to children (indoctrination) are "far left" progressive (aka "woke").

Culture is downstream from politics. The changing of the political order can absolutely change the culture. Trump 1.0 wasn't able to do it because the entrenched neoliberal (global american imperialists) forces were too powerful and the Trump admin too inexperienced, naive, or infiltrated with enemies and grifters. It happens to be the case that the domestic politics of the governing class of the Global American Empire is Progressivism. Progressivism is not itself neoliberalism/imperialism/globalism, but is used as a tool of domination by the imperial administration abroad. Hence why we teach Progressive values to Afghani women, or insist on sexual liberation policies in exchange for Western foreign aid.

The players from 2016 are a decade older and wiser. Trump 2.0 came in with a new playbook and flooded the zone to blitz the "deep state" before they could muster. Will it succeed? TBD. Lawfare and friendly judges are being rallied in opposition to Trump 2.0 as we speak. The entrenched interests see themselves as the defenders of the unipolar US hegemony, and Trump as a harbinger of declining US power abroad. It's not just that they believe he'll be bad for the existing revenue sources (forever wars, multilateral trade deals, human trafficking), but that he's bad for the Global American Empire. They see him as an existential threat to US global dominance. Hence why the most extreme Never Trumpers came from the foreign policy establishment (State Department, CIA, DoD). The budget cuts are to neuter Trump's political opponents, which will change the culture if successful. I've commented about this elsewhere in this thread.
Cool thanks for sharing! I'll have to check this out. I've wanted something similar.

After trying a bunch of the usual ones, the only "notes system" I've stuck with is just a directory of markdown files that's automatically committed to git on any change using watchexec.

I've wanted to add a little smarts to it so I could use it to track tasks (eg. sort, prune completed, forward uncomplete tasks over to the next day's journal, collect tasks from "projects", etc.) so I started writing some Rust code using markdown-rs. Then, to round-trip markdown with changes, only the javascript version of the library currently supports serializing github flavored markdown. So then I actually dumped the markdown ast to json from rust and picked it up in js to serialize it for a proof of concept. That's about as far as I got so far. But while markdown-rs saves position information, it doesn't save source token information (like, * and - are both list items) so you can't reliably round-trip.

FWIW, the other thing I was hoping to do was treat markdown documents as trees (based on headings) use an xpath kind of language to pull out sections. Anyway, will check out your code, thanks for posting.
> but if your hobby is a website where others can post content you have a responsibility that the content shouldn't be illegal or harmful to others

I’m not entirely sure I agree with this sentiment. It certainly isn’t true from a legal standpoint in America, where section 230 explicitly absolves you from any such responsibility. I also don’t think most of the objections to the OSA center around a need to remove child pornography, but instead the fact that you are forced to employ technological measures that don’t currently exist to remove child pornography. All of this is a little besides the point though because…

> If you can't deal with those responsibilities you can't run the website.

I absolutely can. If the law is unreasonable, I can block all users from the host country, and keep running my website. Which is exactly what Lobsters and a lot of other people are choosing to do.
The recent nvidia AI cuda engineer was also similar: https://news.ycombinator.com/item?id=43113941
Microwave ovens, wi-fi, and HTTP
At some point Microsoft authenticator decided that 2fa from a smartwatch shouldn't work (that happened when they introduced the 2 digit number verification which could still work fine on a watch). I have yet to find a replacement for that feature. If anyone figure it out please let me know!
Virtual particles are. Usually they wind up touching though, which always destroys both of them.
I think Musk is more like Prigozhin of the US. The people in power tolerate him as long as he remains useful. But when he overextends himself, his private jet may have an accident or he may fall from the window of his underground bunker.
The data backing up the 'chaos' in this article consists of three quotes: 2 Redfin real estate agents and an anonymous builder. Those quotes describe in total two canceled building contracts, one owner's decision not to list a home, and one owner considering listing their home.
How have they done the second?
The kids these days throw the word "copium" around and that's exactly what it is.

There is a lot of elitism around Clojure and all of them are looking to throw down. Even your comment has already garnered 1 of them out of the shadows.
> Where are you getting this is the purpose…

Straight from the horse’s mouth: https://x.com/elonmusk/status/1893657900851278115

> which one of his delegates…

Does it matter? Apparently the email was official. Also, Musk is an SGE and he gets a level of authority with that designation.

https://www.npr.org/2025/02/13/nx-s1-5293124/special-governm...

> Your guess is wrong…

Is it? You sound confident but do you have a source?
> https://en.wikipedia.org/wiki/AKS_primality_test though it's number theory, and concerned with numbers of size n, rather than lists of length n.

They were talking about not reading a lot of the input, so that's not it.
If we can’t derisk prison, it’s a human rights violation to incarcerate in them. It’s high risk because of choices.
Yeah makes sense that you would get a lot of applications when you are offering the job to billions of people instead of a couple of million at most in a large city.
Ever heard of the Casimir Effect?
Some of whom are on leave, or furlough, or in the backcountry, or on special assignment, or etc.
I'd argue defprotocol, deftype, and defrecord provide much weaker guarantees than a type system. Dtuff like defprotocol tends to serve a similar use case to using an interface in Java. You specify the signatures for the functions, and then a concrete implementation can be provided using a library. Ring servers are a good example of this where you can easily plug different server implementations by just swapping a library.

There is Typed Clojure https://typedclojure.org/ for people who want actual static typing, but the fact that it never caught on suggests this wasn't a real pain point for most people using Clojure.

As other people mentioned, immutability tend to be a more important feature than static types because it makes it easy to write code that's referentially transparent. You can structure your whole application as a series of small components that can be reasoned about in isolation.
Still, some numbers would admit a shorter sequence of instructions
I thought distributed system is exactly one of the things that got Clojure going to begin with. Remember Storm?

As to databases, there are a fountain of databases emerging from the Clojure ecosystem: Datomic, Datascript, Datalevin, XTDB, and friends aside, there is Rama, which is a distributed database (or to replace database?)
Exactly this.

It has NEVER been difficult to kill a large number of people. Or critically damage important infrastructure. A quick Google would give you many executable ideas. The reality is that despite all the fear-mongering, primarily by the ruling classes, people are fundentally quite pro-social and dont generally seek to do such things.

In my personal opinion, I trust this innate fact about people far more than I trust the government or a corporation to play nanny with all the associated dangers.
I mean, yeah, binary search is sublinear, but the data has to be ordered into a binary search tree to be able to use it, which has a much more familiar (non-sub-linear) runtime.

I have to assume the reason for the article wasn't to talk about the runtime of algorithms that operate on data that's already in a partially solved state.
What would exile look like? where would they be sent?

It is hard to imagine another country taking them, and any no-mans land the US establishes would likely be at least as hellish as the prison system.

Do we just keep dumping them on some island to Battle Royale/ Hunger games? is that more humane?
That's an excellent point! Every author needs to know they're not posting into a void.
Funny coincidence that once Elon became close with Trump and launched a model that will basically say anything, OpenAI really eased up on the ChatGPT guardrails. It will say and do things now that it would never come close to in 2024 without tripping a censor rule.
Building Counterculture
According to experts, the EU is a failed experiment that will fail any day now.

Consulting my historical records, the EU implodes about 3 or 4 times a year and has been this way for decades.

So the first collapse of the EU Season 2025 is about to happen.
> Could you elaborate on what better way to communicate "I feel like you aren't listening to me"?

The problem with that phrase is it is trivially untrue - the person is listening to him. It would be like me saying "you're not reading what I'm writing"; you are reading it. You might not understand it, you might not agree with it, maybe the writing is even improper in some way. But you can't write a response to it if you didn't read it. The concern he's raising isn't a real one and Jerry can't address it because he's already listening and he has no control over how his manager feels about said manager's misconceptions.

You'll notice that Jerry had to spend a few rounds of begging and pleading to figure out he needs to say "Yes, I will be accurate and careful from now on, so you can trust what I say. If I have a concern, I will raise it with you directly and honestly" to get through this and end the encounter. There are two things to note here:

1) Manager should have led with this if that is what he wanted. Not "I’m worried you’re not listening to me" but "To make sure you've heard what I've said, could you please repeat back in your own words".

2) The manager shouldn't be asking for Jerry to repeat stuff back to him in that way in the normal course of events, it is somewhat unprofessional/a stupid power play. Nothing Jerry is committing to in that sentence is a real change in behaviour. He was probably already trying to be accurate and trustworthy. He didn't realise there were any concerns here until his manager exploded. Changes in behaviour would be something like "There was a conflict between X and Y, in this instance I prioritised X. Next time I will prioritise Y." One of the issues is the manager did such a bad job of steelmanning and drawing out Jerry's reasoning behind the behaviour we can't tell what he did wrong. Many of the accusations ("attitude problem", "didn't like Jerry's tone", "not working in good faith", etc) are absurd and ungrounded. In my opinion we can't really figure out what Jerry's mistake was from the article; Manager wanted him to write certain code, he wouldn't because [reasons] and we aren't being told in any depth what [reasons] were. They may have been bad [reasons] but the manager should be interrogating and dealing with them instead of complaining about being "listened to".

"I feel like you aren't listening to me" happens to be a pretty classic phrase used by people who are inarticulate by the way. They can't get a message across and they don't think to look at their own communication to find the problem; but they know that they can't accuse the other person of being too stupid to understand (the other classic :[ ). So the problem becomes that somehow the other person just isn't listening.
Good luck getting accredited so your students are eligible for federal student loans. Who effectively accredits universities? Other universities, indirectly. It is a cartel.
How does this protect democracy?
Not exactly aimed at data capitalism though.

We already have some well-intentioned data protection laws in the UK and some more that we inherited from the pre-Brexit EU GDPR. But their implementation has not been very effective at challenging the culture of harvesting whatever personal data businesses can and then attempting to monetise it. Meanwhile like any regulation they introduce a compliance cost for everyone.

A better attempt in the same spirit but written by people who actually knew what they were doing and enforced by people who had both good intentions and sufficient resources could undermine a lot of the more toxic practices that have built up since the likes of Facebook and Google made planetary scale corporate surveillance a thing.

We could get a long way just by banning two practices - keeping or using personal details provided to make purchases for anything other than administering those sales and incorporating phone-home surveillance into physical products where that surveillance has nothing to do with why a normal customer would buy that product (think TVs, laptops, or cars).

It would also help if governments could lead by example on this issue. They necessarily deal with a lot of sometimes sensitive personal data. They - not just national/federal government but all the spin-out agencies and more local forms of government as well - also have a tendency to abuse data collection powers granted to them by broad surveillance law for debatable reasons.
Toyota steps in to support Michigan EV battery plant with $1.5B order after GM backs out - https://electrek.co/2025/02/18/toyota-steps-in-michigan-ev-b...
What is the alternative? Corporeal punishment only? No law enforcement?

Solitary confinement would also be a rights violation.
No wonder YC was looking for startups working in this field.
The ~3 times this has ever happened to me, it made my week. Cannot recommend enough.
They would also need the password, not just OTP to gain access because it's really a two-factor, but also the risk of permanent loss if you lose a device is too extreme, so would still need some alternative restore mechanism, at which point an encrypted sync is a much better alternative
You are likely highly intelligent give your strong recall!
Separate comment because I feel like it.

If the list of data points was 10 98 times, then a 50, then another 10, it would give you the same results with those linear regressions. You'd see a "trend" going up when you measure from anywhere in the past to the present. But that trend would not represent anything real about the first 98 years. That is not the correct test to use.
Its so easy and yet…you can’t be bothered to maintain the registry and ecosystem. I have an idea, why not pay someone to do it?
>Sure, but building the product isn't the hard part, it's sales, marketing, customer support, regulatory compliance, HR, data scientists, UX designers, and all the other functions needed to transform it from a product to a business.

Most of those are not needed or are needed in drastically lower quantities. UX designers in many companies are very obviously just redesigning things for the sake of justifying their salaries.
By "lower" you mean cheaper/better?

I suspect it's much higher throughput than vLLM, which in turn is much higher throughput than llama.cpp. The MLA kernel they just open-sourced seems to indicate that, although we'll see how it does in third party benchmarks on non-hobbled GPUs vs FlashAttention. They only released the BF16 version — whereas most people, including DeepSeek themselves, serve in FP8 — so it might not be immediately useful to most companies quite yet, although I imagine there'll be FP8 ports soon enough.
> One thing I (in general) miss from those days, was how easy it was to get into modding.

I'm generally skeptical about the use cases for current-gen AI, but very hopeful that it can help us get back to this golden age of game Modding.

I think many people, like me, got lost in all the polygons and shaders soon after Half-Life 1. But if AI tools can make it easier to express Modern game outcomes, the way we could make a funky HL1 mod with the IDEs back then; it could be swing things back.
Can Canadians get the world drinking tree sap?
If it wasn't for the European Greens fighting against nuclear power for the past 50 years, carbon emissions would be a lot lower today than they are. So much R&D that could have been done, so many CO2-neutral power plants built. Especially after they shut down the last nuclear power plants in Germany it's pretty clear to me that if you're worried about climate change (and also don't want to end up as a third world country) you just don't vote for the Greens.
Funding corrections systems at an appropriate level where violence is an exception, not the norm. If you can’t afford to do it, you can’t afford to incarcerate.

American prisons are about making humans suffer though (vs rehabilitation) as inexpensively as possible, so I don’t see this changing in the near future.
Nobody would argue that Java is not statically typed. That's my point. Clojure offers the same as what Java offers.

If you write code in a defprotocol everywhere style, as many Clojure libraries do, your code won't compile if you got the types wrong. The same as Java. How's that not static typing? Which part of that is weaker?

So what exactly this "Clojure dynamic typing" nonsense is about, I fail to see.

Automatically inferred type system is not the same thing as static typing. Typed Clojure is the former. Typed Clojure did not catch on, but static typing style of Clojure did, as many Clojure libraries do exactly that: internally, defprotocal everywhere, externally, some Clojure functions to give the illusion of normal Clojure code. BTW, that's the style how Clojure itself is written in as well.
The former fracking site now tapped for clean geothermal heat
Agreed, WRT the bigger picture; lots of little algorithms could come before binary search.

But, giving them binary search before sorting kinda works. It is motivating. If you do sorting first, it just seems like a weird high-effort excursion into a niche bookkeeping thing about lists. Once they see how fast binary search is (just give them pre-sorted lists to run it on), sorting becomes interesting, right?
I am all for more European development. It seems like the EU makes it harder to build anything-- from what I've read I should say.
At the end of the conversation, If you have not made any money out of it or if no-one learned anything from the conversation, quite frankly both of you are wasting your own time.
Yeah, this reminds me of "asbestos" which is not a single thing and has many non-dangerous examples, but has been banned because a few of them (and contamination is a worry) are a significant hazard. If the different structures were just called something different, they might have significant commercial applications, but "asbestos".

Same thing with MRI with the removal of Nuclear from NMR. Sure the 3D imaging is cool, but you know that they had to remove that N from the name for marketing.

Ok, and then there's EUV lithography. Don't call it X-Ray lithography even though it's 13nm, because there were decades of expensive failures with that marketing.
The magic elements are a fun idea!
I haven't blogged in quite awhile, and I don't know why. I've done what everyone has done and started five or six blogs and then abandoned them, but never more than that.

Anyone who has seen my HN history knows that I'm not averse to writing out large quantities of text spouting out my dumb opinions on things, and I don't think I'm a terrible writer or anything. I think at least some of my longer HN comments could be converted into blog posts with just a little effort, but for whatever reason it has never really stuck with me.

I guess part of it is that HN is a lot more conversational, or at least when I write a comment here, I'm writing it either a) in response to someone or b) with the expectation that someone might respond to me. For whatever reason, having that bit of social interaction (with the relatively technical and educated audience of HN) is enough to lower the barrier for me to write something.

I think if I already had a blog that was relatively popular, I'd also find it easier to get into the mood to write a more organized blog post, if for no other reason then there would be an automatic minimum-interest in whatever I write and then it would feel less like I'm shouting into the void.
Hedgehog is literally "needle-mouse" (hari-nezumi).
There often is a pattern of “this industry seems old school / to not use tech much” efforts where it seems like adding tech would produce efficiency.

But sometimes the limits of “tech”, as it exists now, have already been discovered for that industry.