skysight-inc/HackerNews huggingface dataset:
I was there during the revolution in Ukraine.
Life isn’t the movies.

I’m not advocating for violence. On the contrary. But one has to wonder sometimes what percentage of the population has to work full time while not being able to afford basic necessities, until violence becomes an option
So it’s based on a universal combinator like Iota?
What is a "System Card"?
It depends on the grocery store. Fancier “natural foods” stores in Seattle have very little peanut butter with sugar added
Do you honestly believe all crimes are equally investigated with the same diligence and budget like in a tv show?
Vector Field Art
Code at https://github.com/Soham-Saha/VectorFieldSimulator
PAM, but with Raw Input
Vector clocks provide a deterministic partial order, but partial order doesn't provide any kind of total order. That's true, yes.

But (as I'm sure you're aware) there is no single deterministic total order of events in a distributed system. The system can assert some specific total order, based on some specific criteria -- say, LWW based on node identity -- but that's system-specific and arbitrary.

That "users would like to have messages arrive in a consistent order without delay" is a nice and valid expectation, but is literally impossible, in the general case. Vector clocks solve a lower-level problem; nothing can solve the higher-level problem.

(Again, as I'm sure you're aware.)
There's a script for a good movie in there. The unsung hero we deserve.
The use case for Ternary logic I’m familiar with for is TCAMs in networking gear.

https://en.wikipedia.org/wiki/Content-addressable_memory#Ter...
Where did he post about psychedelics? I don't see any.
Your Impact on FreeBSD: 2024 Milestones and What’s Next | FreeBSD Foundation
Yes on 1 no on 2. Especially if you consider moshing etc dancing. Hell you'll hear them suck air sometimes when they're skanking around the stage.
Bad summary.
Have they already lost in battery tech to CATL?
Why would Johny Srouji go to Intel? It doesn't make much sense. Intel would have to pay him a ton of cash because the chance of Intel's stock options increasing is quite low. This is at a time when Intel is low on cash. Johny has a cushy job at Apple and Apple Silicon is just getting started. Apple needs to start building chips for AI and that seems like a job that will continue to be very interesting for Srouji.

At Intel, he's just going to have to go through the pain of cutting tens of thousands of jobs, potentially splitting Intel, and selling Intel's non-primary assets such as MobileEye. That doesn't seem like a job that is great.

For Intel, it could make sense because that significantly increases the chance of Intel bringing Apple on as a fab customer.
The main problem with the article is that, while patio is a very knowledgeable and even insightful writer, he has an extremely indirect writing style. It almost feels like a math textbook that describes "here's the properties of this mathematical construct; you can immediately see it has these properties" without explaining the connection to the other mathematical constructs that give it these properties. In his defense though, his writing is a more gradual progression between "here's a thing" and "here's the implications of the thing" than a typical math textbook. But he still doesn't explicitly point out the connections, which means you have to expend a lot of brain power to hold enough things in your head at once to make those connections yourself, which is exhausting. Part of that is because the connections are social connections that are far less clear, defined, and observable than typical STEM systems, and he doesn't want to ever tell you or imply to you anything incorrect. Contrast this to Matt Levine who will gladly tell you how a social system works in a step-by-step list, followed by how the example he's about to write about completely breaks that system
So in the end, was it all classic hype pumping and heavily edited marketing material? Can't create account but from what I see on the front-page, every video looks kinda strange, almost in everyone of them something is instantly off to my eye. Anyone got decent results yet?
Thanks! This nicely sums up an issue with these food-frequency questionaires:

> admitting to eating ice cream might correlate with metabolic health

That is, ice cream might well be bad for you but if you experience the bad effects, you might stop admitting that you eat ice cream and thus add an opposite data point in the study.
it is all Information to be precise.
how many of those engineers are still at Tesla? their churn rate is known to be pretty high...
> Your design could change radically after creating the initial tests

Which implies a cost of at least 2x in dev hours. One should always evaluate if it is worth double or triple LoCs to maintain.
Yep, haven't used chatgpt seriously in many months; I check it with our coding toolkit every so often, but it just performs so much worse than Claude on everything we do...
Assumption? So you were lying when you said you had a “concrete fact”?
Yes. And the author is Johannes Bader who wrote about that one as well:

https://lambada.pages.dev

https://johannes-bader.com
We used to give away a swag bag at the D conferences. Eventually, we realized that what everyone liked and wanted was the t-shirt. So instead of swag, we gave out higher quality t-shirts. Better for everyone!
There are some people that argue this actually. Dr Fungs book on type 2 diabetes goes into it.

Basically his take is that while glucose can be distributed in the bloodstream, fructose is broken down by the liver. With high intakes of fructose comes an overwhelming of the liver and higher incidence of fatty liver plus visceral fat. And those things are highly associated with bad health outcomes

Worth a read if you’re interested
Sorat? https://anthroposophy.eu/Sorat
My money is on edibles.
I know that very well, as the D Language Foundation gives away D compilers for free, source code and all.
Don’t you have that the wrong way around?
Oddly, the price of CDs seems to be rising. I'd expect them to be falling.
If it happened as they said, they couldn't really track him without the tip off.
It's been several days, he had plenty of time to wipe stuff down and dump it. I don't think this is arrogance necessarily, perhaps isolation and paranoia.
Why would it be double or triple the LoCs to maintain?
Probably less than 1% of musicians make any real money off of selling licenses to their copyrights.
there isn't a browser based usb api. It's as simple as that. You're coding for chrome, not the web
I suppose every message has a few timestamps, including

- The timestamp that the user specified as part of the message

- The timestamp of the server that the user submitted the message to, directly

- The timestamp of the server that first received that message

- Any additional timestamp(s) of additional server(s) that received that message

The user can I guess backdate a time, but that would apply only to the first thing, and none of the others?
annual perf cycle probably
> Knowing which paths are hot in any Javascript bytecode is not enough to produce optimized code; you also need to know the types. And you only know the types at runtime. This is the main reason why JIT compilers compile code at runtime.

You can often make good guesses statically. Especially if your JavaScript was produced from something like a TypeScript source.
You're not wrong I think. ;-)

I too was alienated by RPi's supply and scalping situation – combined with their seeming contempt for the hobbyists, teachers, and students who had actively supported the platform.

Another unfortunate aspect is that Pi 5 has a list price of $50 vs. $35 for the 4 and earlier models (and also requires a more expensive power supply.) The price seems to be heading in the wrong direction.
Out-of-code Insights: VS Code extension to add comments without modifying source
Static typing is great for other reasons, but it doesn’t replace any tests.

If you write a square root function, static typing can just ensure that it always returns a number which doesn’t tell you much. Unit tests can ensure it returns the correct number at least for some inputs. This is a lot more useful for ensuring correctness.

The counter argument is that tests donsnt ensure the function always returns a number. Maybe it returns a date or a string for some particular input which is not covered by the test? While this is true, in my experience this is not a common problem.
This. I expect a lot of fake/AI generated scams will be banking on this media hype to make some money while the iron is hot.
> It is kind of like getting rid of cats and after that wondering why so many rats and the plague

or recently, in EU, we must kill the wolf, but the deer is eating the small trees in the forests.
Haha, try jogging and talking at the same time.
> have never seen a programming language that allowed me to de/serialize functions.

You can pickle functions in python? You can trivially serialize any lisp function (I'm not a lisp fan). Plenty of programming languages with both macros and first class function objects (those that can be passed around and thus have data representations).

> Let alone calculate the inverse of a function

Note it says "try to compute the inverse" because actually computing inverses is equivalent to the halting problem.

"If it seems to good to be true it probably is" could be adapted here to "If it seems too magical to be true, it's probably just cherry-picked".
If the author is here: the link from the table of contents to '-O0 gives you fast compilation' is broken.
I don't practice TDD often but I've found that TDD can be particularly useful in rare cases when there is a long feedback loop for manually testing the logic I'm working on. In these situations, TDD is perfect for quickly validating a code change.
i don't know how it is on adderall but he posted like, once a week, and they often are just retweets.
it wasn't a feature we "might need in the future"

This was a critical piece of functionality. It was backup software, with deduplication. The feature in question was the ability to delete old backups. We were forced to release without it and then rush to implement something before customers ran out of disk space and started asking for refunds
> I'd assume that scanning it anywhere would set off some alarms

I'd be worried about that too, but certainly better than using his actual ID. I've never tried, but I'm guessing it's not easy to get good fakes on short notice in strange cities and lots of people these days demand ID, even just to get a room for the night.
Because you need to fight the cause, not the effect.
A Fast, Free English-Myanmar Dictionary Built for Everyone
I’ve built a simple online English-Myanmar dictionary, inspired by the lack of accessible tools for my language. It’s free and open to anyone who wants to use it: imaginers.vercel.app.

I made this because many people in Myanmar, including myself, face challenges finding accurate translations online. This project is my way of giving back to the community while honing my programming skills.

It’s a work in progress, and I’d love to hear your thoughts on how it can be improved or how it compares to other tools you’ve used. Feedback, criticism, or just sharing your experience—it’s all welcome!
Relevance of Developer Tooling in the Age of AI
It could easily be a brigade by the left-wingers, because he is explicitly blaming them.

Daniel Perry video doesn't blame anyone. And most people, even on the left (though definitely not everyone), seem to have a normal reaction to the outcome.
There's some fascinating research relating to this happening at UC Berkeley's Almeida Lab (https://nature.berkeley.edu/almeidalab/) on grapevine diseases, particularly relevant to the wine industry in Northern California.

1. The lab, led by Professor Rodrigo Almeida, is studying economically important grape diseases, focusing on Grapevine leafroll disease and Grapevine red blotch disease [1].

2. They're developing an AI tool for fast and accurate disease identification in vineyards, which could be a game-changer for disease management.

3. Their work combines molecular biology, ecology, and bioinformatics, using advanced techniques like genomics.

4. A recent study led by Kai Blaisdell showed that mealybugs efficiently transmit Grapevine leafroll-associated virus 3 under field conditions, with disease symptoms appearing throughout the plant one year after infection [2].

5. Their focus seems to be more on understanding and managing plant diseases using various molecular and ecological approaches [3].

This research is crucial for the wine industry, especially in regions like Northern California. It's not quite "genomics on the brink of the discovery what was penicillin through crispr", but it's still cutting-edge work that could have significant impacts on grape cultivation and wine production.

References:
[1] https://nature.berkeley.edu/almeidalab/research/
[2] https://nature.berkeley.edu/almeidalab/category/lab-news/
[3] https://nature.berkeley.edu/almeidalab/publications/
> Why aren't there 400 flavors of Pepsi?

There are. They call them Diet Pepsi, 7UP, Gatorade, etc.

But more to the point, music doesn't work like soft drinks. In soft drinks the product is physical and has a unit cost so the customer isn't just buying Pepsi once and then they have already have Pepsi and never need any more. In music an artist makes an album and then people buy it, at which point they have it and if the artist wants more money they have to make more albums. But making more recordings of the same songs is kind of like making more songs, in the sense that it's something people might want and don't already have.
Just create a uuid and store it in a cookie or local storage. You're fine, you're allowed to do this. As long as you don't relate it anywhere to some other information and treat it as "some user" you're on the safe side.

It's only ever an issue when you generate the uuid based on device parameters or use the same uuid across multiple sites (that don't belong to the same entity).
Doctors found out that washing their hands caused less people to die, and it's a bit of a nuisance but totally worth it.

Software devs have not found out that anyone dies unless we do strict tdd. But we have found out that unless we have a good amount of automated tests, the software becomes brittle and hard to change.

TDD is more of a style that some swear by that has alleged properties making everything better, like the way doctors wash hands in a peculiar way. But just "washing the hands" thoroughly would probably also help people not dying.
Work at a bank? That’s my reaction to 95% of the cool stuff I see every week.
This. If you or I would have been gunned down on the street, do you think the police would have had such a manhunt going on?
> maybe the prosecutor will refuse anyone who knows what jury nullification is

It’s typically asked about. If you know about it and lie, that’s perjury.
This has been done, and wow, does it not work...

A while back, Scorpions decided to re-record all their hits and release them on an album. The result was so close in production and performance that Apple Music went ahead and swapped the new version in place of the original.

You'd dial up Rock You Like a Hurricane, and it'd play this thing that sounded just like the version you had burned into your head, but subtly different. It was like watching a car chase scene in a straight-to-Netflix movie where they thought they could get away with doing the whole thing in CGI. Straight down the middle of Uncanny Valley, to the point where you can't enjoy the song at all, and just spend your 4 minutes cataloging the tiny differences that don't live up to the Real Thing.

Those hit songs all captured Magic in some way that just can't be recreated. Plenty have tried what you're talking about (Great White did the same trick, redoing their early stuff with their new singer), but all it does is create bland copies that don't live up to the original. They actually make you wonder why you liked the original in the first place, since (in GW's case) the replacement is just a cookie-cutter blues rock song that anybody could have done.

It's hard to believe until you hear it, since yeah, it seems like a good idea.
Isn't "everyone else" just not making money at all?
Your inference is right on target. Although I have made a living via copyright in the past, I'd prefer it abolished.

I do eat my own pudding, though. The D compiler is given away for free.

As evidence, Germany in the 1800s had no copyrights nor patents. Their economy boomed. Look at how free software, of the highest quality, has taken over the internet. I am not aware of any particularly compelling counter-evidence that copyright and patents improve productivity.
The problem with the Boltzmann brain, and the reason you’re almost certainly not one, is that if you are one then your senses have no relation to reality - including the part of reality where you read about the Boltzmann brain concept, or any measurements you can make about the underlying reality that makes you think you could be one.

This is the same with all solipsistic arguments, like simulation hypothesis. If the universe is, in fact, an illusion, then how do you truly know anything about the real world? Sure it could be a computer simulation, but there’s no way to know for sure. The parent universe could actually follow different laws entirely. It could be creating a ”simulation” through entirely different methods. Hell, for all you know it could be an evil demon using magic to trick us, because magic could be real in the parent universe. It’s all unfalsifiable.
Thanks, I fixed it!
> seems he wanted to be found

He was presumably en route somewhere. Disposing of a fake ID such that forensics can’t get anything useful off it isn’t easily done on the run / incognito. (And if his inspiration is the Unabomber, he presumably had more targets.)
Bluesky teases paid subscription, Bluesky+, in new mockup
Great article cutting through the cultishness and mistakes many experienced engineers make when using TDD on everything to the point where it becomes nonsensical and it is instead used religiously.

It bring lots of benefits into large scale refactoring / maintenance in existing projects and totally agree with its less usefulness in most greenfield projects, with the exception of extremely safety critical systems that invest lots of money into the project.

Otherwise without the above, you would not attempt to consider using it on a new project with a very hard release deadline attached to it.
Pretty sure you just need to use await-async (as opposed to async-await)
If an algorithm has a complexity class of O(sqrt(N)), by definition it means that it can do better if run on all 100 elements than by splitting the list into two elements and running it on each 50.

This is not at all a surprising property. The same things happens with binary search: it has complexity O(log(N)), which means that running it on a list of size 1024 will take about 10 operations, but running it in parallel on two lists of size 512 will take 2 * 9 operations = 18.

This is actually easy to intuit when it comes to search problems: the element you're looking for is either in the first half of the list or in the second half, it can't be in both. So, if you are searching for it in parallel in both halves, you'll have to do extra work that just wasn't necessary (unless your algorithm is to look at every element in order, in which case it's the same).

In the case of binary search, with the very first comparison, you can already tell in which half of the list your element is: searching the other half is pointless. In the case of Grober's algorithm, the mechanism is much more complex, but the basic point is similar: Grover's algorithm has a way to just not look at certain elements of the list, so splitting the list in half creates more work overall.
Made me think about my first iPad. Back when they first came out and none of my friends had seen one. I was already into jailbreaking so had Cydia and all the best apps. I put on a screen record function which did so secretly. My buddy comes by one day and was like that thing looks cool. I said ya man it is awesome try it out. Had my secret screen record going and said try facebook man look how cool it is on that. He logs in and I record his password. Logs out and hands it back and I quietly watch what he typed and log into his facebook and changed his profile picture to something funny and made a dumb status. This was back before 2fa was a thing so it was easy.

The funny part was when he realized he was not mad as we were long time friends but he was so sad I got his long time password he had used for years. It was fun to mess with him. But now days I would be worried about the legality of using one of these devices to steal someones password. I would not want to take the risk myself.
The google maps api console only shows you the number of API requests for the last 30 days. You can’t see historical usage. You can, though, see historical billing.

For example, for us, a $174 bill (discounted to $0), at $5 per 1,000 requests, means 38,400 requests. Under the new pricing, you knock off 10,000 requests. 24.8*5 =124. Stinks that they can’t just plainly show historical usage.

Anyway, this price change is a biggie.
Designing the tests means you have to design the software. This is a low-key way of enforcing some upfront design, which is good.

Also, this is not specific to software. Defining how you will validate a system, before you go build the system, is simply good engineering.
Just spent a bunch of time with this and had a couple insights that might help (particularly if you have some familiarity with the lambda calculus or formal semantics and are trying to get a foothold on this):

- I had to go down to the OCaml implementation to work out what the small-step semantics were saying, in part because I couldn't see what the underlying tree structure was. In each of the four-element reductions in the definition, put parentheses around the first three to see what is applying to what. Also I think the right-hand sides are under-parenthesised. So:

(t (t) a) b -> a (1)
(t (t a) b) c -> (a c) (b c) (2)
(t (t a b) c) t -> a (3a)
(t (t a b) c) (t u) -> b u (3b)
(t (t a b) c) (t u v) -> (c u) v (3c)

Relatedly, the table is missing some cases because (I think) the authors see them as "obviously" falling out from the associativity of the written syntax, but I think it's helpful to add:

t a -> (t a) (0a)
(t a) b -> (t a b) (0b)

Now you can look at an expression with the syntax E E and more cleanly apply these semantic reductions to them.

- So wtf is all this doing? In the same way that working out the lambda calculus is frequently about bundling a lambda to "choose" between two options, this tree calculus is built to "choose" between three options based on whether it's presented with a node that is a leaf, a "stem" (one child), or a "fork" (two children). This is the core of rules 3a, 3b, 3c. If the "function" being applied is a fork whose left child is a fork, we think of the left-left grandchild as A, the left-right grandchild as B, and the right child as C; and if applied to a leaf, we use A, if applied to a stem we apply B to the stem's sole child, and if applied to a fork we apply C to the fork's two children. That three-way "choosing" is going to be how the system builds up the rest of the things you can do with it.
WhatsApp Ate the World
New discovery finds simple metabolites combine to form a powerful antioxidant
Being "the village" for someone else's kid(s) can give a decent idea of what to expect. And by that I mean actually moving in and helping 24/7 for a months at a time, not just babysitting one evening here and there. Did that one full year for a sibling. I'm told your outlook is different when it is your own kid, and I did ok but it definitely taught me that signing up for the full 18 years isn't for me.