skysight-inc/HackerNews huggingface dataset:
In my experience, most people don't have a great understanding of what keeps cyclists safe in mixed traffic (i.e. not within a protected lane), and how opposed those things often are to the law. As a former professional urban cyclist, I constantly broke the law to keep myself safe, while keeping my first priority never to endanger pedestrians or other cyclists. A kind of Three Laws where the unarmored travelers come first, then myself, then the folks in big steel boxes.

Cyclists need a different set of laws on the road for everyone's benefit. But people have become so inured to the constant threat and frequent (and often fatal) harm of motor vehicles, that they fixate on and exaggerate the threat of cyclists, and illogically insist that they need to follow the same rules of the road as cars.

Cyclists should follow rules of the road -- special rules created for a special vehicle.
The same goes for Rust and most other "safe" languages. They all have synchronization primitives that make it safe, but you need to use them - the compiler won't always tell you.
This is great advice.

Anecdotally, I've been having pretty bad anxiety this year from work that I feel should be easy but turns out to have many unexpected wrinkles. In retrospect, it seems like there may have been a lot of "justs" when discussing early solutions.

I've started to take a step back when approaching problems to better understand potential obstacles, but this was still a pretty big toll on my confidence.
Pinning concepts like "science" and "freedom" to a specific era is a silly endeavor. But if you had to, neither would originate in Christian Europe: science as a concept predates Christianity by at least 800 years; the thing we call "freedom" today didn't take shape until 1600 years into Christian Europe's development.

Christianity, like just about every religion, has made invaluable contributions to philosophy. But it's ahistorical, to an embarrassing degree, to attribute such broad concepts and bodies of inquiry to it.
Neither the article nor any responses I see have mention the fact that Apple updated a billion live iPhones to APFS in 10.3 and there was nary a peep. Certainly that’s a testament to its stability.

Anyway, the real test would have been to take an APFS drive from Ventura and test it on High Sierra and see if there are any issues. I’m guessing that APFS was written with forward compatibility in mind. If a new version writes some additional bits that the old one doesn’t know how to take advantage of, I would hope it silently ignores them without affecting any basic functionality.

This article uses a lot of words to talk about writing version numbers without any thoughtful analysis on what those versus numbers might even do.
I’ve been doing this on my FreeBSD boxes for a while. Great move.
I really wish there was a version of "just" and "only", that has the connotation of there is one and only one thing, but not the connotation of that being trivial.

Something that expresses "there is 1 thing and that makes it a big deal!"
In the US pretty much every pedestrian crossing gets a walk signal while there’s still traffic, thanks to right-turn-on-red for cars.

Big difference is being hit by a 90kg human on a 10kg bike going 15mph is much less likely to kill you than a 2000kg SUV doing 20mph.

Additionally bike still have to yield to pedestrians, not to mention a bike is only 50-90cm wide, compared to 1500cm-2000cm for a car. Makes it much easier for both bikes and pedestrians to evade each other, should one or the other be behaving irresponsibly.
Of course they don't. But what's remarkable, and the U.S. is no exception here, is that the names they come up with are quite often the diametric opposite of what effects they actually have. The "Inflation Reduction Act of 2022" is but one recent example.
That concept was created by the US supreme court judges interpretation of laws made by Congress. At any point since then, we (Congress) could have passed a late to clarify language or simply say "corporations are not people".
Mine was similar, closer to $13k but along with tuition reimbursement through my MA and then a slight bump to the stipend during the PHD.
Xmake v2.7.3 Released, Package Components and C++ Modules Incremental Build
> The failure is that mediocre students which come from an environment which helps them (good school, private tutors, stable home life) can be successful, while "naturally gifted" yet disadvantaged students don't.

I think you have rephrased what I said to again push the idea that it's a zero sum game. If mediocre students can be successful, given the right educational inputs (for some definition of 'successful' and 'mediocre'), isn't this a huge opportunity? Perhaps we should improve society as well as social justice by trying to promote mediocre students from poorer backgrounds to this same level of success, rather than by working on the problem of undiscovered genius.

> The basic fact that parental income is still the best predictor of educational achievement should tell you everything you need to know.

My whole point is that this does not tell you everything you need to know. If low-parental-income and high-parental-income students had exactly the same potential to succeed, the fact that parental income is a good predictor of achievement might be telling you either (or any combination) of two things: that wealthier students are achieving beyond what should be expected (and so we are ending up with incompetent people in very senior positions because they did not get them on merit), or that poorer students are achieving below where they should be (and so we are wasting the potential of talented people). These are really different problems! And probably have quite different solutions.
> It's next to impossible to type check UI

Incorrect. Have a look at the Swift OpenCombine library. Multiple Publishers of a particular type that emits a single boolean value (e.g., an "Agree to Terms" UI checkmark and an "Agree to Privacy Policy" UI checkmark) are combined at compile-time to be transformed into a single Publisher of a type that emits only a single boolean value (e.g., the enabled/disabled state of a "Submit" button). Effectively, it is not possible to even compile an app that incorrectly ignores one of the "Agree" checkmarks before enabling/disabling the "Submit" button.

> It's next to impossible to type check (...) memory corruption

Incorrect. Have a look at the Rust standard library. Sharing data across multiple treads requires passing a multi-threaded Mutex type; attempting to share data through a single-threaded Rc (reference-counted) type will not compile. Once the Mutex type is passed, each thread can only access the memory the Mutex type represents by acquiring another type, a MutexGuard, through locking. Effectively, it is not possible to even compile a program that incorrectly ignores multi-threading or incorrectly accesses memory in a race condition with other threads thus possibly corrupting that memory. Moreover, it is also not possible for a thread not to properly release a lock once the MutexGuard type goes out of scope.

> All the problems you talk about can be solved with more advanced proof based checkers.

Unlikely. Without feeding strong type information that describes your problem domain into a checker, the checker cannot reason about your code and figure out possible errors. A strong type system is a "language" for a programmer to communicate with his or her checker.

> You say it's paramount to move error detection to compile time. I say, this problem is ALREADY solved, but remains unused because these methods aren't PRACTICAL.

> [the C language] has type checking. Yet people still write unit tests for it. Why? Because type checking is mostly practically inconsequential.

Please do not hold it against me if I do not continue commenting here - you must be from a different, parallel Universe. (How is Elvis doin' on your end? ;) J/K)
In short: yes, but not right now. See this issue: https://github.com/cozodb/cozo/issues/2. Also in this case you are not really using it as an embedded database anymore, which is our original motivation. We currently also provide a "cozoserver", but it is pretty primitive at the moment. "Big data" capabilities, when they arrive in Cozo, will probably go into the server instead of the embedded binaries.
Documize[1] seems interesting as an alternative to Confluence.

[1][https://www.documize.com/community/alternative-to-confluence]
Encryption and convenience usually don't go well together. ntfy was mainly built for simplicity. That said, I have designed and started working on E2E here: https://github.com/binwiederhier/ntfy/issues/69
And if you change the settings that will make your phone behave nicely it often severely impacts battery life ;/
Rails Quick Tip – Use Private Debugging Aliases
> If a map has this behaviour, i would say that the most important thing is that it should be clearly documented

Iirc, most hash table implementations don't automatically shrink. More documentation is always nice, but isn't not automatically shrinking kind of the expected "default" behavior?
I wish they also provided the code to run own server of ntfy, but instead it looks like they meant "write and run your own server".
> […] then the folks in big steel boxes.

Motorcyclists have the colloquialism "cager" for automobile drivers for the big steel cages they are contained in.
Staying safe and away from drivers who don’t pay attention, and occasional deliberately try to mame and kill cyclists?
Special rulesets can be set up for certain classes of vehicles provided that observable behaviour experienced by other road users is predictable and unchanged. Otherwise it’s just a new recipe for disaster.
Here is an autopsy report: A Case Report: Multifocal Necrotizing Encephalitis and Myocarditis after BNT162b2 mRNA Vaccination against COVID-19 [0].

Quoting the abstract: Surprisingly, only spike protein but no nucleocapsid protein could be detected within the foci of inflammation in both the brain and the heart, particularly in the endothelial cells of small blood vessels. Since no nucleocapsid protein could be detected, the presence of spike protein must be ascribed to vaccination rather than to viral infection.

[0] https://www.mdpi.com/2076-393X/10/10/1651
Stubble burning sounds like one of the dumbest ideas ever. Just leave it there and plant through it with your no till drill.

Leaving the residue on the field means your soil is protected against erosion and from exposure to the sun. The carbon in the residue isn't relevant but after three years the residue has decayed enough for the trapped nitrogen and phosphorus in the plant to become available to the soil.
Sign up list. Is this a real product or a waiting list?
I think legal or not, almost every driver has "rolled a stop sign" (where you come to an almost complete stop but roll through if no one is there).
The red meat of the article is that ARM wants to change its licensing agreements with the whole world. Which is totally false if what you say is true.
Genuine question - have you ever implemented an E2E encrypted system?

Because it's not particularly easy to do, and there are a lot of caveats and drawbacks.

Let me rephrase your assumption: "Why couldn't you just mail me the letter in a 100lb safe. In 2022, that's my standard expectation from any service".

So - are you willing to pay to ship 100lbs for every letter you send? Are you meticulously managing the details of how to handle locking and unlocking that safe? Are you working out the details on recovery and storage, handling lost devices, configuring a communication channel for sharing certs/keys, managing several crypto dependencies and libraries - all so that you can go "Hey - what's up!" in a notification to your phone?

Or should you just stop whining - accept that this is free - and take the authors advice and host it yourself?
Thanks for sharing that. I might adjust terminology myself after that even though it didn’t actually harm or offend them.
If only they could work 45 hours a day and do 3 different jobs like any other billionaire we won't be talking about this.

They're just lazy
This might be a contrarian point of view but unless you have professional work to expand upon and deepen your knowledge, you won't progress much past beginner material. This is why you won't find much beyond beginner material online because it gets very subjective what to do in what situation. Practical use cases beyond beginner material will only come up on actual working (or not working, LOL) systems.

Pretend someone is a web app developer and has completed beginning training so they know how MVC works in their language/framework of choice. They can build a blog/todo app, they know how to write tests, etc. They could theorize what to do if they had a web app that was growing traffic into 1000's of requests per second and response times were getting too high but unless they have an actual web app with poor response times and lots of requests its just theoretical.

My advice is to think about what you want to improve on and learn and then find an organization/company that is doing those things at a level where you will get situations to deepen your knowledge and go work there. Same for soft skills, organizing work, running meetings, negotiating scope, etc. in the practical sense are only going to happen when those things happen.
I’m into projects like this. A few times when I was a kid I left messages inside the walls of houses under construction. Nothing very interesting; “I’m x years old and I like pizza”, that type of thing.

My house is about 75 years old, and I’m slowly remodeling it myself; mostly trying to take out walls and open up spaces. My partner and I were measuring things one day and discovered that one of the walls was extra thick, like 18 inches, and we thought, ooh, is there something in there? Because we’re doing it ourselves it took forever, so it was a months-long mystery: what’s in the wall? A body? A duffle bag full of cash?

When we finally got to it, I poked a small hole right at eye level – I didn’t want to just tear into it, in case there really was something in there – and what I saw was a playboy centerfold that had been pinned up on the inside of the opposite piece of sheet rock. Miss January 1970. There was also a bottle of Gatorade and a pack of Twizzlers sitting on the floor inside the wall with expiration dates from 1990 so I think that’s when they must have put them there.

Anyway, I appreciate the level of execution that went into this guy’s Cheetos joke (to anyone who hasn’t watched the video, it’s a big, expensive, and time-consuming project), but I think the fact that it’s so well documented takes the punch out of it. The idea of the joke is that whoever finds it thousands of years from now will be mystified, but it seems more likely to me that they’ll be the developer of a shopping center or condo building, and instead of being mystified they’ll look up this video pretty quickly and they’ll think, good one, guy from 80 years ago.

One thing I wonder about is why there aren’t more jokes like this from our ancient past. I know there are lots of old jokes and porn in ancient texts, but I can’t think of an example of anyone carving into a rock, “Hey, person 10,000 years from now, your mom’s a cow”. I know that things like the great pyramids were meant to survive tens of thousands of years, but they seem more like, I dunno, claiming ownership than communicating. “This space is mine, forever” rather than “Hello, future people!” I guess you can only arrive at that sort of idea once you can take a thorough look at your own past, which maybe is only a thing after industrial or informational revolutions.
I certainly agree that talented students from disadvantaged backgrounds ought to be helped. But thinking parental income is the causal factor behind the observed correlation of student success with income may be mistaken.

Two other hypotheses are that the money itself is not important, but rather the familial transmission of certain cultural traits (which also often lead to high incomes), and/or that, similarly, the causal factor is genetic transmission of some cognitive or personality traits. Note that a factor being genetic does not mean it is immutable - for instance, there could be a genetic factor that leads to students doing poorly in school because they are intolerant of sitting still for hours in desks, which would become irrelevant if one stopped requiring them to sit still for hours.

A mistaken idea of the causal explanation for the correlation with income would lead to interventions that don't actually work.
And was the holy Lamb of God,
On Englands pleasant pastures seen?

Well, the lamb now costs £5.19/kg. [1] 'Dem pleasant pastures be getting expensive.

[1] https://ahdb.org.uk/gb-deadweight-sheep-prices
That's great, and it's not all CS quotes. It reminds me of the quotes from the old UNIX fortune program [1] that many systems or accounts would be configured to use to show a quote on each login.

[1] https://en.wikipedia.org/wiki/Fortune_(Unix) https://github.com/bmc/fortunes/blob/master/fortunes
The answer is in the question...
Elon should have talked to Bill Gates before firing half of Twitter: "Measuring programming progress by lines of code is like measuring aircraft building progress by weight."
The server is open source.

https://github.com/binwiederhier/ntfy
If this interests you, I highly recommend Dan CArlin's Hardcore History podcast [1], specifically his King of Kings series dealing with the notable Kings of Persia. Episode 3 deals with Alexander specifically.

Something Dan said has really stuck with me. He says that science is less interesting. If you don't invent a light bulb, someone else will. It's inevitable. Science can of course impact history (eg the development of the atomic bomb) but a lot of other events could go either way and it dramatically changes history.

IIRC Cyrus (one of the great Persian kings in that podcast) ordered the rebuilding of the Temple Mount and probably singlehandedly saved Judaism from extinction. Had that died then would we have had Christianity and Islam?

The Battle of Marathon was the major turning point that allowed the Greeks to survive and obviously go on to impact the Romans and really the rest of Europe. How different would history have been if the Persians had won and Europe had become Persian?

[1]:https://www.dancarlin.com/hardcore-history-series/
Link broken, here’s different source:

Inflation unexpectedly dipped to 9.9% in August, down from 10.1% in July, on the back of a fuel price decline.

Increasing food, transport and energy prices were the biggest contributing factors to inflation, the ONS said. Food was up 14.6% year-on-year, transport was up 10.9% compared to last year, while the price of furniture and household goods rose 10.8%.

https://www.cnbc.com/2022/10/19/uk-inflation-rate-rises-to-1...
Transactions are described in the manual: https://cozodb.github.io/current/manual/stored.html#chaining....

Sorry about the docs being all over the place at the moment! My only excuse is that Cozo is very young. The documentation (and the implementation) still needs a lot of work!
I can’t understand being offended by buying a laptop with a pretty well-known maintenance policy. If it wasn’t the right purchase for you that’s a fault in your research and you shouldn’t be offended by it.
I thought GO had garbage collection or is that just trash talk?
But then use the theory of Shannon and Hamming distance to make the words as different as they can be
Let's assume the Star A and the Black Hole B hole orbited each other when the black hole was Star B. If Star B collapsed into a black hole of roughly the same mass, I don't think Star A & its planets would be affected much at all in terms or orbits. Maybe the Star A system would have been fried when Star B went supernova, but the orbits I don't think would change all that much. It's like how people say Earth would continue orbiting the center of our solar system if our sun turned into a black hole, as the center of gravity would be the same.

Someone try this w/ Universe Sandbox & report back please :) => https://universesandbox.com/
And economies of scale.
Government is the worst possible way to solve any problem. Therefore, we should only let it solve those problems that absolutely cannot be solved any other way. There are plenty, and this is not a statement that all government is bad, but that it needs to be tightly constrained.

People constantly rail about the evil wrought by big business, and they're right to do so, but what is the government (in the US anyway), but the biggest (and perhaps most corrupt) business of all? Except it's not constrained by the requirement to turn a profit, so it doesn't suffer the bad consequences of failure, because you can always print more money.

And you're absolutely right about the pandemic response.
They call it ‘cycling’. I saw a woman on a bike in my native Milan do it just yesterday: brazenly pedalled through a red light onto a roundabout on the inner ring-road, almost ran over me and my dog as we crossed the street on a zebra crossing with a green light. Swore at us for having the temerity for forcing her to swerve to avoid hitting us. I’m a hardcore pedestrian (walk everywhere, 20/30 km a day every day) and I am so fed up of this kind of behaviour. They complain and they misbehave.
Amplifying a false story about Paul Pelosi should be enough but he's also called Kathy Griffin a bad comedian after banning her for changing her name.
Layoffs: Elon Musk is turning Twitter upside down
Not sure if I got the masses right but using 9.62 solar masses and 0.92 solar masses for the black hole and the star respectively with a period of 185 days gives me a semi-major axis of 1.39 AU (using an orbital period calculator). If that's correct then this star is orbiting quite close to the black hole. Chances of it having any planets would be quite small although I suppose there could be planets orbiting the binary system at a large distance.

I don't speak astrophysicist but I think this part

> Common envelope evolution can only produce the system’s wide orbit under extreme and likely unphysical assumptions. Formation models involving triples or dynamical assembly in an open cluster may be more promising.

means that the black hole and star formed separately and the black hole later captured the star? Hopefully the star had no life bearing planets before that, that would have been a terrible fate.
I’m curious about the use case for plugging one external drive into multiple computers in 2022, when storage is super cheap and networking is super fast.

If I need to expand storage or keep a hard backup, I dedicate drives to specific machines. If I need to move files between machines, I move them over the network.
Because the idea that they have a white-only policy is profoundly ridiculous.
Probably same thing for drivers that roll through stop signs.

* https://www.youtube.com/watch?v=42oQN7fy_eM
519.5 pence per kg, surely.

Expensive, sure, but not 100 times as expensive.
No it doesn't. It costs £5.195 per kg
The two open source SQL IDEs I really like are https://www.beekeeperstudio.io/ and https://dbgate.org/ . Both very nice for my somewhat simple querying needs
Thanks, they are worth taking twenty seconds to read!
It does, and as the article mentions, it’ll collect the map elements. But it doesn’t collect the map infrastructure that grew to accommodate the elements, and doesn’t shrink when the elements are removed, because the map never stops referencing them.
I think you're out by, um, 4 orders of magnitude? I'm reading your post as £51950/kg i.e. 50k a kilo. But actually your link puts the prices as a very respectable 519.5p a kilo i.e. roughly a fiver a kilo which is in the right ballpark for me.

Maybe this was a joke that I didn't get?

EDIT: You edited your post after I made this, but like a fiver a kilo for lamb sounds pretty doable to me.
We have moons orbiting our planets orbiting our sun orbiting around the center of the Milky Way orbiting a larger galaxy… turtles all the way down.