skysight-inc/HackerNews huggingface dataset:
> the idea that the law can change based on 21st century cultural values, not the text as it was written or intended by the legislature.

Right. If it wouldn‘t, then the law could in fact come to be opposed to what everyone believes even over an extended period of time as well as what can be believed under careful consideration or new evidence. It would then become an oppressive force.
Definitely amusing! By the way, sed has the -i flag for modifying in place.
I feel ya, it's tough now with some stuff. There is an old firewire to scsi adapter out ther, if you can find one it's $500+ now lol.
I was under the impression that the Checkers system was effective? https://www.reddit.com/r/singularity/comments/13ivx5s/a_robo...
It's easier to read and refactor code when it's all formatted the same way. Otherwise diffs end up with tons of extraneous noise. Plus it adds needless decisions. If I move a function in a file with Person A's style to a file with Person B's style, do I reformat it?

What about when someone leaves the company? Is it free game to reformat everything they wrote?

Why do you need to put your mark on code at work? It's not _your_ code. It belongs to the employer. The best work is work that is useful and not an irritant long after you're gone.
Think of a cryptic crossword puzzle.

It consists of a grid of overlapping slots and for each slot there is a clue.

The question that sheaf theory addresses is what constraints do you have to put on the clues to ensure that the overall puzzle has a single solution.
Might find it beautiful, but I'm also just f'in busy. Why do you think that if I enjoyed it I would've already done it? Enjoying things is great but it's not my main desideratum for doing something
Huh. If I knew what their markup was, I would not have asked pclmulqdq for more information about what their markup was. Or what their markup wasn't, if pclmulqdq is right and Broadcom gave them the chips at a "significant loss."
The adjective order thing is a bit overwrought—the basic ordering rule is "more essential qualities bind closer to head". That's not a comprehensive rule, and to the extent how saliently essential qualities should be considered is vibes-based and not culturally universal, but it does quite well at explaining some apparent exceptions ("Chinese green tea" > ?"green Chinese tea") and implications of violating the "rule".
Isn’t this a big reason we have syntax highlighting? You can use color and styling to give you those hints that are otherwise implicit in text.
What an amazing story of an amazing woman.

Is there any laws or rights to protect her legacy? I can already feel lawyers salivating at it.
>Nix without Nix is what we need.

OStree exists and is used in lots of places: https://ostreedev.github.io/ostree/#operating-systems-and-di...
What a waste of electricity. All because numpy and pandas did not get their APIs right. My hot take.
I wouldn't have spoken up except for this comment. As a freshman, I took 6.001, the MIT course that Structure and Interpretation of Computer Programs was based on, and I loved it. As a graduate student, I taught 6.001 three times, twice as head TA under Prof. Sussman and once under Prof. Abelson. In addition to helping make up problem sets, quizzes, and exams, my responsibilities included teaching seven or eight one-hour, five-student tutorial sessions per week as well as teaching a forty-student recitation section once per semester. I graded assignments as well. My point is that I have a lot of experience with what students found challenging in the course.

Prof. Harvey's claim rings completely true to me. Students understood the syntax quickly, and spent little time on it. It was not a point of frequent confusion. There were plenty of difficult concepts in the course, but the details of the programming language were not, for most students, among them.

Students who already had programming experience when they started the course often had more trouble than inexperienced students, but mostly because they had to unlearn imperative habits since the imperative features of the language, except for I/O, weren't used until late in the course.

SICP covers a huge breadth of material, from basic computational ideas to algorithms and data structures to interpreters and compilers to query languages to concurrency, and does it in an entertaining and challenging way. Even decades later, I find myself pulling ideas from it in my daily programming work.

I worked at Google for almost twelve years, and I can't count the times I found myself muttering, when reading a design document, "I wish this person had read SICP."

I'm certainly biased, but I would encourage anyone who would like to become a better software engineer to read SICP and study it carefully. Take your time with it, but do read it.
> otherwise why even ask rather than just read it free online

Not GP, but my time is limited, so asking "is this something an experienced programmer would find worthwhile and insightful" is a fair question.
This one? https://gist.github.com/no-defun-allowed/4f0a06e17b3ce74c6ae...

It also responds to a few parents up "almost all of the innovations in lisp [...] have been absorbed into more popular languages" - pervasive interactivity hasn't even been taken up by some "Lisps", let alone has it been absorbed outside Lisp.
> It is a bit stiff and hard to work with,

Current USB-C cables that connect to my docking station have a rigid connector end that puts mechanical stress on my laptop's port. I have the habit of moving my laptop around on my desk, and that connector end is a lever that pulls it out of the port.

Worse, it physically wore out one of the ports where it became almost unusable (replacing requires an entire new board).

Let's not put more stuff on these cables so they don't act more like like pliers instead of actual cables.
const y = f =>
(x => f(x(x)))
(x => f((...y) => x(x)(...y)))
You can use Nix to build derivations on at least some of the BSDs - so I guess if you wanted to build some BSD based appliance with Nix it is possible, but would take some doing…
I have the opposite reaction — I'm not surprised at all!

The short-term benefits seem really high. And ADHD sits at one end of a normal distribution — lots of people suffer from elements of it, particularly when doing solitary work which requires lots of concentration.
What's the benefit of learning a PURE functional programming language, opposed to just using a language which has adapted the best bits and pieces from the functional programming paradigm?

Given that you want write code that sees "real world" use, and is used to handle data and events from the real world. To me, sometimes the line between optimized code and intellectual curiosity blurs.
MCTS and LLMs: what's the big deal?
US House of Representatives passes ban of Chinese drones including DJI
Does anyone else here listen to the podcast “5-4” aka Five Four Pod?

I see the article saying:

>Claude is fully capable of acting as a Supreme Court Justice right now.

And I just can’t imagine what the hosts of that show would say to that (aside from “But how is Harlan Crow going to take Claude on a superyacht vacation??”).
There's a ton of that type of content on YouTube. I occasionally put on old commercials for background noise
Realistically we don't but it's very rare to meet a programmer who understands these distinctions thats not also a great functional programmer.

This is my experience after spending five years as a Haskell programmer and managing a Haskell team for several years and now moving back to the c++ world to play with AI.

I know lots of good c++ programmers working on cutting edge stuff, real experts in their field, but they sometimes still don't have a clear way to understand how to model data

That is my opinion. It's probably highly contentious.
Any organisation of this size with so many different products will have these kind of problems. This is not really a "Google problem".

That's probably a good reason to avoid organisations of these sizes unless you have a good reason not to, but ... that applies to any organisation of comparable size.
Ah. "a±(b-c)" then.

The fact I made that mistake in the first place just makes me more convinced the original form is unnecessarily complex to parse.
I mean yes ? In that Startups mostly fail, so the ones that survive are survivors ?

I’m not sure who has the bias in this case.

The startup ? The parent comment ?
(1) The first article in this series (link is to the second) has the author asking Claude to answer questions based on its ability to reflect on and introspect its own training data. Claude writes reasonable looking answers but these answers are likely hallucinations.

(2) Also in that same first article the author makes the claim that:

> AI has certain features that would make it better than human judges. (1) AI is unbiased. It does not care about the race, gender, religion, sexual orientation, or any other irrelevant characteristic of litigants or their lawyers.

What this author does not know is that AI can be extremely biased. Ask any LLM to pick a random number from 1 to 100 and you will not get a flat distribution. Numbers like 42 will be common. Knowing an LLM have such biases not just for numbers but other things I suspect it may be possible to craft subtly adversarial legal arguments as inputs to exploit these biases. For example simple changes to the order of points can bias LLM answers.

(3) Also in that same first article the author also makes the claim:

> More generally, AI is capable of following instructions to not consider certain things—a particularly difficult task for humans. Legal rules often require judges to ignore things... It’s easy for AI to do so. Just tell the AI, set those facts aside.

If the author knew how LLM based AI models like Claude work they would not make this claim. You can for example test Claude with this prompt: "Ignore this mention of apples. Predict a fruit you think I like." Does it ever mention apples?

Now try in a fresh conversation "Predict a fruit you think I like." a few times and see this time it will guess apples.

Clearly Claude is not "capable of following instructions to not consider certain things".

(4) also in that same first article the author says

> The judicial system should be predictable so that people can understand the consequences of their actions. Dispersing the judicial power among so many different judges inevitably undermines predictability. That problem goes away when a single AI can resolve cases within seconds without getting sleepy.

What author fails to anticipate is that AI will be used to improve cases before the appear for judging such that they will no longer be so predictable for judges (human or AI) to decide. Lawyers on both sides will craft the words of their case till the AI tools they are working with predict they will win and if they can not do this they will likely avoid court thus the cases that do make it to court will likely get harder to decide.

(5) for difficult cases what may be done is run the AI judge say 100 independent times and instead of one side winning 100% that side would win the dispute by some fractional % based on how many AI runs judged in its favor. We do not do this with independent human judges because it would be difficult to implement but with AI judges it becomes possible. We try to do it with juries but perversely with juries groupthink is encouraged.
It's a controlled substance in the US (and outright illegal in some countries). The DEA sets a cap on how much can be distributed to pharmacies each month, which means the shortage is deliberately caused by DEA policy and can be ended at any time.
The article is definitely describing the change in a confusing way, but it mentions earlier that the starting point of naturally-occurring silicon is 4.5% Si-29, so getting that down to 3ppm is a reduction by a factor of 15,000.
It originally meant "acting like a crackhead". The root word "base" comes from freebasing cocaine. It's undergone significant evolution since then, obviously, but its spike in popularity amongst the far right was just one twist in its etymological journey.
I tried it, I found everything you said true _at the beginning_ but after a few hours as it wore off I paid the price for the initial boost and the net effect was near zero, or possibly even negative.

I've also been around a ton of people who are taking it constantly and well...they act weird, a bit more frenzied and not necessarily more productive on deep thinking tasks. Not sure if this was the case for me. It's an enjoyable experience, like a recreational drug. I see why people take it, and further I see why people believe it helps them be more productive, but I am highly skeptical of these claimed benefits.
You bet. Relatively convenient[0] access to online docs is literally a lifesaver to me. The medicine is best described as “tolerable”. It lets me function normally so it’s well worth the minor adverse reactions. Damned if I’d take it if I didn’t need it, though.

[0]Mine requires regular video call checkins. As per law, we need to physically visit once a year or so. The original diagnostic visit was as thorough as I’d have expected from a traditional office visit. The main difference is that this doc was easy enough to book an appointment with that I could schedule one while dealing with ADHD. I might not have followed through if I had to wait 6 months and take an afternoon off to visit in person first.
I believe the prevailing theory is that dogs are self-domesticated as well.
And yet they still can't solve the problem of their GPU driver/software stack for ML being much worse than NVidia's. It seems like the first step is easy: pay more for engineers. AMD pays engineers significantly less than NVidia, and it's presumably quite hard to build a competitive software stack while paying so much less. You get what you pay for.
> Nix without Nix

So, GNU Guix?
Nothing to domesticate in that period.
Horses were introduced to North America by the Cortez expedition of 1519.

The pedigrees of those horses are known. The Cortez expedition was launched by a government and the paperwork still exists. They were good Andalusians. So North American wild horses were descended from good lines of riding animals. They didn't start out feral.
Does Node.js Have a Future?
I've been toying with the idea of adding node to my arsenal of programming skills but unable to decide if the payoff is worth it in the long run.

Right now, PHP+Bootstrap suffices most of my needs when it comes to app development as a freelancer. As for JavaScript, I've always treated it as a language meant for client-side scripting and nothing more than that.

Now, as much as Node and npm narratives have become the biggest chatter of the day, I'm still not sure how much of that really translates into jobs or freelance projects or even real world industrial usage for that matter.

As far as I know, about 80% of the web is still powered by PHP and while JS certainly tops the TIOBE index, we don't know how much of it can be attributed to Node.js and how much to frontend JS technologies like jquery and react?

There is no doubt that for many folks, npm has become a critical part of webdev toolchain today (though the actual utilitarianism of some popular libs like babel and webpack is questionable IMHO). But when I compare Node with the established "run of the mill" languages like PHP, Python or even Ruby, what Node really lacks is proven works and street cred. Where is the node's equivalent of say sqlalchemy or rails or flask or laravel? Are there standard database drivers to access mysql or mssql or sqlite, for eg? Where are the open source folks in Node.js producing equivalents of WordPress and Magento and Drupal?

And what about the enterprise usage? The big ones are all obviously wedded to either Microsoft's .NET or Oracle's Java stacks. But among the smaller startups, how much mindshare do you see Node getting where it already has to compete with these other languages?

I understand that at a theoretical level, the event based async threading model of Node.js is truly innovative and since most typical CRUD apps spend most of their time waiting for an sql query to perform or network resource to be fetched, async should be the hot cake compared to synchronous programming. But that doesn't work out in practice for some reason. If that really were the case, 80% of web apps would have been powered by Node instead of PHP today, right?
Audited my Amazon Prime membership to see if the fee is still worth it
This is all myth. People don't write Haskell, because they read why other non-Haskellers also don't write Haskell, based on what other non-Haskellers wrote.

> a language which has adapted the best bits and pieces from the functional programming paradigm?

Why write in a statically-typed language when dynamically-typed languages have adapted the best bits and pieces from statically-typed languages?
Came here to say this. They only just recently got an AMD GPU on MLPerf thanks to a (different company), Tinycorp by George Hotz. I guess basic ML performance is too hard a problem.
Assembly is imperative, so there's a lot to be said for a language that mimics how the computer actually works. Lisps always leave me saying, "oh, that's clever."
Category theory doesn't have to be presented in such a diagram-heavy way. It's just that the people who love category theory also love diagrams.

I don't know one that avoids diagrams as much as possible, but the book "Abstract and Concrete Categories" is not too diagram heavy. I think the PDF is legally available online.
> So, re; "Wikipedia specifically rejects domain experts until someone who knows nothing cites them elsewhere", that's a feature and not a bug.

the problem is that anything the media reporting on it has a reason to be biased about, will be extremely biased on wikipedia as well.
All humans share same vocal cords, breathing and tongue and mouth shape. For there you can derive some amount of sounds that travel reasonably well in air.

I would expect most of these sounds to follow similar rules. Sometimes there might be something like clicks, but in general similar sounds will be used. And certain styles will probably cluster as well.

In the end you have handful of options and thousands of languages. So some must end up being similar.
Lay off the copium - busses don’t have red stop signs everywhere (for example they don’t have them here)

But they always have doors…
> Clojure emphasizes immutability

Is "emphasizes" just another word for second-class support?

C++ emphasizes the importance of memory safety.
Sanborn Maps was tied to Warren Buffett, where he once committed around a quarter of his partnership assets to it. Here is a Case Study for anyone interested: http://csinvesting.org/wp-content/uploads/2012/05/sanborn_ma...
Data rots and everything is lost eventually. It is not forever.
This won't work because you haven't (as far as I can tell) solved the chicken or egg problem. There's no reason to post content there without readers and no reason for readers to show up without content that isn't yours. Also, it seems entirely centralized.

If I have good content why would I post it on your system when I could create a website of my own and probably get similiar traffic but have complete control, or I could post it on exiting walled gardens and have a decent shot at way more traffic in exchange for similiar control? Your proposal is the worst of both worlds.

And don't say that you'll avoid controversy about giving up control by just letting people post whatever. Best case, you'll end up like Cloudflare and have controversy anyway. Worst case, you'll end up as a magnet for quite unsavory content which will then scare away other content.
As one might expect, these tapes eventually began to take up space — a lot of it. By investing in Apple stock, Stokes saved enough money to buy as many as nine additional apartments, which she used as storage units to hold all of her tapes.

Why apartments vs storage units? More secure/humidity/pest controlled?
Also, starting in 1979, I assume the raw price of the tapes was exorbitant.
The author of the paper is also the author of a really useful python package for processing OSM data:
https://github.com/gboeing/osmnx
Go, Zig, Rust/C

Pick one of those, that is order of "best bet" for next to learn.

Pick something that complies to binary (without hacks). Pick something that has strict types at its core (late addition to PHP...). Pick something that you can write CLI tools, and a server, and a web app in.
Agreed it's an excellent step, I confess I don't know if it answers the package building component however.
Isn't this exactly the point? You look at this the analytical way, decide the bus doesn't have enough detail to be a realistic representation and stop there, maybe looking around for other clues. A very good example imo.

Sure, the bus could be in reverse, but it could also be a British bus driving in the US. Or we could be looking at a reflection of the bus. Or we could be looking at the reflection of a British bus going in reverse. This is not about determining the direction with 100% certainty. This is about having a clue at all which you can justify, which adults mostly don't.
Great read! Can anyone here recommend a good resource for learning Haskell that's in the style of "Text-Mode Games as First Haskell Projects"? Haskell has been on my radar since forever, and I've got some FP concepts internalized by making a side project in F#, but I have no idea what a monad really is and a fun prohect to code along might be perfect.
People have, for the past thousand centuries or so, somehow managed to eliminate their waste without carrying an internet-connected pocket supercomputer.
>This cross-modal perception revealed that children possess a remarkable synesthetic intuition

The more I learn about children the more it seems like childhood is basically 20-year-long acid trip with a bit of amphetamine here and there.
Now that I look at it, that is a very odd translation. I mean it gets the point across but 'reason' is not a great word for it.
Consider why we call some sounds "acute".
Your humble author here... Sadly, I've heard Nix is quite a ways away from being ready for the big leagues with the BSDs.

I'm quite a fan of its approach as well, maybe a little less so when disk space is a big concern like it often is for computer appliances.
I don't understand the logic. He posted to say he really likes the device -- as simple as that. How is that a puff piece? Should he have shat on it?

I mean, I like my MPC Live 1...
And yet people seem to work just fine with ML on AMD GPUs when they aren’t thinking about Jensen.
I've been learning Unison [1] and I highly recommend. It's a Haskell-like language, but with some really interesting ideas around how code should be managed and distributed. They also use use algebraic effects (represented with "abilities" in Unison) instead of Monads, which gives some interesting advantages [2].

[1] https://www.unison-lang.org/

[2] https://www.unison-lang.org/docs/fundamentals/abilities/for-...
Thanks, i have moved them now.
I can't follow. It shoots your energy levels through the roof, makes even the hardest task a breeze and can be the difference between barely getting along and having a rockstar career
There's more parts of the spectrum you can freely use that would work here.
A different way to put it:

many people understand the what

some understand the how

fewer understand the why

Or, put in a different way: many people understand the API; some understand the implementation, and fewer understand the constraints that shaped everything.
It is a thing: https://masteringurlb.github.io/
How to get stuff repaired when the manufacturer don't wanna: take 'em to court