skysight-inc/HackerNews huggingface dataset:
there's a new edition of c.h. ting's inside f83 (from 02012) for those who are interested: https://www.forth.org/OffeteStore/1003_InsideF83.pdf

i agree that forth is a pretty bug-prone language. it's only about as low-level as c (less type-checking, but more metaprogramming) but far more bug-prone. more so than assembly i think. but i haven't written a lot of forth; i wrote this game in forth last weekend: https://asciinema.org/a/672405

(i might actually try porting it to f83)

incidentally f83 also apparently ran on the 68000, but generally with a 32k limit

tom zimmer's f-pc was an ms-dos forth with all of f83's features but able to use the full 640 kibibytes of ram, which f83 couldn't

one thing that 8080 floppy systems excelled at was resetting. you could reboot cp/m in a second or two
Those things you list as "very strict" are incredibly easy. And they do not make any difference to the US regarding domestic violence.
Is this any different to if you didn't own a car, or a phone, fifty years ago?
A common schema is one nice thing, but imho the win of these db backed queues is being able to do things, including enqueue background jobs in a single transaction. e.g. create user, enqueue welcome email - both get done, or not - with redid-based, this is ... not usually a thing; if you fail to do one, it's left half done, leading to more code etc

p.s. I maintain a ruby equivalent called QueueClassic
"Google and Apple both do the same things and it's unpalatable."

"Also" is not a deflection of "What about".

But if we want to go that way, Google doesn't play selective moral arbiter. "Porn on iOS? Never." "Gambling and PTW on iOS? Hmm. 30% cut. Okay."
I don't have a good answer for you, but I am dogfooding both.

One thing I've noticed is that, paradoxically, Google apps tend to be more polished and reliable on iOS, rather than it's own Android platform. It's as if those app developers care more about the iOS versions. That kind of leaves a sour taste.
Good luck with your Docker containers in three years. (You're gonna need it.)
https://cemulate.github.io/the-mlab/#y3Bt-co-extensional+lim...

https://github.com/cemulate/the-mlab

This is a parody of the nLab, a wiki for collaborative work on category theory and higher category theory. As anyone who's visited is probably aware, the jargon can be absolutely impenetrable for the uninitiated -- thus, the idea for this project was born!

This project uses my package nearley-generator, a module that can turn a Nearley grammar into an efficient and controllable fake text generator. The grammar file for this site can be found at /src/grammar/nlab.ne
> Boeing fanboys (how do those still exist?)

There are still fans of Boeing's ability to make money, no matter how bad they are at making aerospace products.
> I will give my whole 7 figure net worth

You sound deeply unpleasant to talk to.

Imaginary internet points are just that.
To your question, that’s exactly my point. Without access to a companies books, you don’t know how they fund things. Take this as my response to your other reply as well.

You don’t know if Microsoft chose to fund certain parts of their development with the profits from VS enterprise or not. None of us do.

Even, for arguments sake, if we say that they could make it all free and still afford it, it would still affect priorities of what gets developed.

Again, I’m not saying one is right or wrong. I’m just arguing that it’s a lot more nuanced than any of the comments here suggest. Nobody has enough facts outside the companies bookkeeping and leadership to make these hardline claims.
To broadcast or not to broadcast
Actually, it's mixed. The states now get such a huge chunk of tobacco money that they're incentivized to keep people smoking. The more they smoke, the more the state gets.
Back when I worked on this hardware/software integration, we often didn't have the hardware to test.

So we coded to the specs. I spent a lot of time reading those and trying to figure out what they meant. It was a little challenging but usually all the information was there. It worked (mostly) and we tested alot. Some stuff was strange, I still remember seeing angles in BAMs (Binary Angle Mesurements)

https://en.wikipedia.org/wiki/Binary_angular_measurement
> > It just takes much less memory to remember 4 verbs and maybe 6 nouns in Vim to perform navigation, than learning 4x6=24 shortcuts

> Thing is, you don't remember "fewer things" with Emacs/Vim. You end up remembering about the same, or greater number of things on top of significantly worse functionality.

You don't understand vim yet you confidently state that it requires remembering more things. vim is like a language. You do not memorize entire English sentences when you choose to communicate with someone, it's the same in vim. You do not memorize how to do do something, but rather the grammar/verbs/nouns.

If you know that 'd' is the verb for deleting, and that 'w' is the motion for 'word', you can combine them into 'dw' to delete until the end of the word. When you later learn that '$' takes you to the end of the line, you know that you can do 'd$' to delete until the end of the line. You do not need to memorize 'd$' and 'dw' individually, just the motions and actions separately.

The same applies to actions, when you learn that y is yank (copy), you can apply the same 'w' and '$' motions in that cases to copy until the end of the word/line. That is what the poster means about verbs and nouns. Vim isn't discoverable, you cannot learn to use it without reading. But it is the most logically consistent "editing language" I have personally seen (alongside kakoune/helix).

You are also mixing up many concepts in your arguments. You can get LSP in vim/emacs and you can get vim-ish hotkeys in popular IDE's. The topic of this thread, Zed, is pretty vimmy and is closer to vs-code than it is to vim.
Well, "anemoia" isn't a word for this, almost any more than "pseudothymia" is a word for this. Someone made a website and made up words for things, and "anemoia" was one of the words on that website.
“this results in programs like df. or mount.”

This implies both tools need to adjust to reality - aka systemd bs - to make it easier for the user. Also known as dumbing down. I concede it is not explicitly requested, but it’s not that much of a reach TBH.

It is provably true that the output of df and mount is exceedingly easy to filter. You don’t even need tools to do it.

I don’t care about AppArmor and other BS because I am not on Linux. Those weren’t part of the discussion anyway. It is about mount and df and the author explicitly called them out for failure to be “easy”.
(edit: why would someone downvote this, HN is becoming quite hostile lately)

Also, there are browser extensions that will automatically downvote and/or hide HN comments that use words like "lol," or start with "So..." or include any of a number of words that the user considers indicative of low-grade content.
No it doesn't. The answer to needing a string manipulation function would be to use a string manipulation library that include that function, not one that is nothing but that finction.

If you don't need anything else, and having the linker not include unused code isn't good enough, then just vendor the single function.

There could still be some special case but that will need a lot of explaining to justify and will be such an exception that it is silly to talk about. There are legitimate one time freak exceptions to every principle. It means nothing.
Isn't the union-find trickery "just" standard almost-linear unification as discovered by Paterson-Wegman and Martelli-Montanari around 1976? Or is there more to it in the setting of Algorithm J?

I'm actually a bit surprised that it took so long to discover these formulations of unification. I wonder what Prolog systems were doing at the time, given the importance of efficient unification.
DigiCert to Acquire Vercara
This is great! Already installed on two laptops. Finder is frustrating, to say the least.

Of course feature request time: some kind of search? Would be really nice to match against folder names (e.g. searching for "images" and filenames e.g. "logo")
> if the scripting media query was ubiquitous I would never go back to toggling classes via JS

I am asserting that in the majority of cases where a person's browser is not running a page's JavaScript, it is because of a network failure or intentional blocking, neither of which can be detected by the media query.

Therefore, three years from now when the media query will be ubiquitous, it won't prevent your styles that are meant to be used only with your JavaScript from being used most of the time.
The article includes the history of Royal Observatory in Greenwich and GMT.
As dodgy as the early Tandy stuff's reputation was as "TRASH-80s", it's no surprise that OP's dad loved them. Back in the day, Tandy machines really did deliver value for money. Of course once you popped them open, their manufacturing-design issues would be revealed. There were bodgewires all over the place because of last-minute issues found after the PCBs had gone to manufacturing. And the ones with built-in CRTs had issues wherein the cathode of the CRT was DANGEROUSLY CLOSE to the main PCB. If you weren't careful cracking that puppy open -- zappo! Fried motherboard, possibly fried you!

For these reasons, and possibly also to hide their shame and embarrassment and make extra scratch on service calls, Tandy equipment often had one of those "Warranty void if seal is broken" stickers on it, which are now illegal to enforce even in the USA. They also used to seal the screwholes with Glyptal to prevent unauthorized tinkering; this so incensed my dad that he called all the way up the chain to the president of Tandy Corp. to make them stop (and also drilled through the Glyptal to get at the screws).

But when it worked, it was solid, not to mention cheap. Great stuff for hobbyists and even small businesses.
I agree. The trainwreck is systemd and Linux in general, but not df and mount.
> Could it be used in ways that actually improve our lives, society, or the world at large?

I doubt it.
It's NASA's call, not Boeing's, and what'd make NASA look bad is getting the astronauts killed.

NASA have dual launch providers for a reason, and now is the time to take advantage of it.

I'd be amazed if these guys don't come back on Dragon. What's the benefit to NASA on having them coming back on Starliner if the risk level is seen as higher?!
Streaming in this context means that the parsing code hands off some parsed structures to the code outside of the parser before the entire message is processed. Suppose now you have this message:

{ x: 1, y: 2, x: 3 }

The streaming parser then reads field "x" with the value of "1", dispatches that value to the outside code, then reads "y", then reads "x" again, but the outside code had a side-effect associated with that field, which it already performed (eg. the outside code was printing the value of the field). Now, you have a program with an error. The right output should've been:

y: 2
x: 3

but you got:

x: 1
y: 2
x: 3

Might not be so bad, depending on circumstances, but if you are betting on a soccer game outcome...
Rill transforms data sets into opinionated dashboards using SQL. BI-as-code
> On desktop, you can install uBlock Origin in most browsers

"Most browsers" includes a hell of a lot of Chrome derivatives, many of which will not work with uBlock Origin's MV2 extension.

If you want adblocking that works properly, there's only one browser to recommend. It's time to drop the milquetoast "most browsers" and call Chrome out for the adware that it is.

https://github.com/gorhill/uBlock/wiki/uBlock-Origin-works-b...
"chickened out" comes closest to what I understand "bottled it" to mean
Presumably you mean "prosecuted" rather than "sued" for the criminal case in the USA. I think the civil case against him in London is still continuing. (It's hard to tell because journalists almost always garble almost everything related to the law.)

Of course someone will suggest that he has faked his own death.
With the Swiss-cheese software found in most routers, would US national security be meaningfully improved if [hand-wave] TP-Link suddenly vanished from the earth?

My sense is "no, it wouldn't".
Documentation of processes with annotations. There's lots of steps, each step with a screenshot and ~10 annotations and if steps change, I need to recreate from scratch. Doable, but also lots of manual work.

Yes, exalidraw or tldraw are drop-in replacements for Figma that make it save and easy to share, but they are general purpose tools, I prefer single-purpose tools with limited features.
This:

This second element means the misdemeanour was wrong in-and-of-itself,
not merely wrong because the other party took offence. Yet, if we’re
going to speak confidently about right and wrong, we need to be able
to speak confidently about shared values, about shared notions of truth,
and about shared ethical norms.

I want to agree with this on some level but I don't in the end.

I recently said something that offended a person that I share a mutual crush with. It was a very conventional thing to say and few people would see anything offensive about it but the reaction I got would have been predictable if I'd really thought through everything I knew about this person... But I didn't. Given the nature of our relationship I want to give her the best mirroring that is possible to give and I fell short of that and whether or not I did anything wrong in a moral sense is beside that.

I sent a carefully written text the next day where I took complete responsibility for the situation and got a good response, she even apologized for overreacting but I would have been happy if she hadn't.

A lot of guys (and I do mean men whatever that means for you) get really stuck trying to tease our the one moral truth of a situation which is like Rashomon where different people are going to have different points of view. It is so easy for someone to become a cringelord and really embarass themselves and the people around them, and one sign of that is that a person like that won't take the kind of complete responsibility that makes a good apology.

I'm also in the middle of domesticating a stray cat and very much thinking about the ethics, morals and relationship dynamics of the situation. My son grew up on a farm which hosts a riding academy and he'll tell you that animals have a definite moral sense, so frequently I've seen a cat be sorry because it bit me accidentally or a horse be contrite because it wasn't careful and I fell off.

With my new cat Bob B I very much want him to think that I'm a good person and that he will want to stick around when I open the door let him out. I know he makes judgements about people but not at the level of ideology such as religion or Marxism or social justice or anything like that (I'd make the case that any of those will lead you wrong if they separate you from the root of morality that you share with mammals if not other animals.)

In the case of the cat it is obvious that ideology gets in the way, it's just as true for people except we can make excuses because they have language and are capable of talking in an ideological frame.
Don't do all the businesses in Paris, just do the ones you frequent the most. Google doesn't have all the businesses in Paris either (or at least, in Atlanta I run into ones that they don't have too or that they have but it's completely wrong, at an old location, etc. fairly frequently).
One thing I noticed after switching to WFH is that I am no longer dealing with that 15-30 minute "mental haze" that happens right after I finish my 2 hour car commute: That decompression period where my brain is fatigued from being on high alert, white knuckling it down I-580, then I-680, then I-880, watching for hazards, accidents, or just slogging through bumper-to-bumper traffic. I'd walk into the office but my brain was just too fatigued to work without a little time spent just walking around like a normal person.
The problem with micro is 100 micros is 100x more surface area and chances than 1.
Isn't that the entire point of Scooby Doo (a television show for children)?
> It's easier for me to remember (for example) 10 nouns that can be combined with 10 verbs than to memorise 100 shortcuts.

1. There are no nouns or verbs in Vim. There's a haphazardly built combination of letters that are laboriously explained as some grand design.

2. You keep coming up with random numbers that make no sense and pretend (yes, pretend) that they are somehow true and relevant

I didn't memorise 100 shortcuts.

The only reason you struggle to get the same functionality out of an IDE is that you don't want to invest as much time and energy into learning it as you did with emacs/vim. There's nothing inherently easier about memorising `M-x sql-connect` or 20 random letters in Vim than learning basic functionality and shortcuts of an IDE.
The weird way the Los Angeles basin alters earthquakes
NimConf 2024 Announced
Real-time crime centers are transforming policing
Building against recent and old version and publishing ranged lockfiles should be mandatory.
Sadly, it's full of places people work at that are net negatives to society.

Google and Facebook are two such places, but the list is long, and not limited to Big Tech.
What? I was responding to the person saying falcon 9 is the most reliable vehicle we have.

I was merely pointing out that soyuz has like 1500+ launches over Falcon 9 and that there is no comparison.
'AI Scientist' model designed to conduct scientific research autonomously
Challenger is 100% on NASA but the Columbia disaster was a perfect storm of small mistakes that could be individually safely mitigated (but not all together) more than a blatant failure on any one person or group in the org's part. Additionally space shuttles had experienced conditions extremely similar to Columbia's time and again without any major damage or risk to crew. It still was a failure but it was a much more complex and subtle form of failure than the Challenger disaster.

But neither of those remotely compares to Soyuz 1 or Soyuz 11. The failure in Soyuz 11 had been seen time and again during trainings and testing but was waived away and the only reason it didn't occur earlier was because of pilots unofficially taking steps to mitigate the issue outside of the flight plan that then weren't performed on Soyuz 11. And the failure in Soyuz 1 was expected from before launch. It wasn't a statistical probability that the team made a risky gamble on (like Challenger) but was a definite death sentence. Soyuz 1 is equivalent to if you had the Challenger failure but on several hundred different parts of the rocket instead of on just one.

Either way the point of my original comment was to dissuade the notion that the USSR didn't have embarrassing crewed failures in space flight, not to try and pick sides on who was worse.
Nostr Apps and Counting
Get the ludes!!
Unearthing Mastodon bones in southern Iowa
I upvoted you but after thinking about it actually, you will find that this will attract kids that are friends for the money and start weird dynamics in the social bubble of his son. But your idea is right! Maybe he could have done gaming sessions at his house or who knows what to better spend this money on other games.
NASA is to blame for their part as responsible steward of public funds. The agency has bent over backwards, to a fault, to hand a contractor a cherry deal, papered over quality issues, performed dubious acceptance testing, made them look good for PR spinning all the failures, all while paying double vs the other (successful) vendor.

All government procurement is fraught with industry and political pressure which looks like it happened here, yet again.

Lest it looks like a one time thing, have a look at the OIG report about the SLS program perforance from Boeing, in a disastrous condition.
Show HN: RedditScout – Best product reviews summarizer
Hi,

I built this tool because I'm too lazy to search "best xyz reddit" and comb through the reviews.
It's very hard for me to imagine what it's like to lose someone you've lived with for over 70 years
I gather that they're also worried that the Dragon option turns into another can of worms due to a risk that an automated return of the Starliner could result in bricking the ISS's docking port. Something about how they removed the automated docking/undocking software from Starliner for the crewed mission, for reasons I'm guessing I could not begin to fathom.
> the alternative that is being considered (and that SpaceX was already paid $266,678 to study, though that contract was not necessarily awarded because of this situation where it might become necessary) is bringing them home on the dragon already up there.

It's a little more nuanced than that.

If NASA decides to bring the Astronauts home on a Crew Dragon, there will be a short window of time between when Starliner undocks and when the next Crew Dragon docks that there will be 6 International Astronauts on the ISS and only 4 seats.

If an emergency happens during that time, NASA would jerry-rig some extra seats in the existing Crew Dragon and bring all 6 home that way. But that's a very short period of time - just a couple of weeks.

The next Crew Dragon will only have 2 Astronauts aboard, and will contain suits for Butch and Sunny, so that all 4 of them can return normally on that vehicle at the end of the next rotation.
> I'm not sure I understand the use case here. Are you asking if you can depend on two versions of the same crate, for a crate that exports a `#[no_mangle]` or `#[export_name]` function?

Yes, exactly.

> Other than that, you cannot.

so, to the question "Can a Rust binary use incompatible versions of the same library?", then the answer is definitely "no". It's not yes if it cannot cover one of the most basic use cases when making OS-native software.

To be clear: no language targeting OS-native dynamic libraries can solve this, the problem is in how PE and ELF works.
Deno-guillotine: Universal Script Executor, zero install necessary
The perceived enemy isn't without but within.
for the record, the "Dictionary of Obscure Sorrows" (in which anemoia appears) was an art project by John Koenig. every word defined in this dictionary was constructed/invented specifically for the book. afaik, none of them have entered "mainstream" dictionaries yet (although dictionary aggregators do tend to include them) but i think it's only a matter of time. there are a lot of great words in there -- i think 'sonder' in particular is an incredibly useful word.
> we'd have scores of industries behind them

Not if they have good lobbyists. In the US we still have beer ads on TV though tobacco commercials have been gone long enough to barely be remembered.

https://www.youtube.com/watch?v=hUY0w2cVAUQ
Show HN: I made a geography quiz game
Hey HN,

I really enjoy learning about other countries' landmarks, culture, capitals, and more, so I decided to make a simple quiz/trivia game about geography for fun. :)

Currently, there are 3 quizzes available: flags, capitals, and landmarks, with more to come soon.

I would love to hear your feedback!

Thanks.
Apple just had a fresh anti-trust suit opened in the US, and with Google just getting the stamp as a monopoly, I would say things don't look good for Apple.
ThePrimeagen Top Shelf #2 Ginger Bill – Creator of Odin [video]
If you are a fan of movies on almost any level, you'll want to see Texas Chainsaw Massacre. I know this is all somewhat subjective, but many many people agree that it's a literal masterpiece. In my opinion any suggestions otherwise are born of snobbery or poor taste.
In my experience, it's easy to test locally with PG: we have unit tests which re-create DB for each test... It works.

Also DB transactions are absolutely the best way to provide ACID guarantee
Kids are great at detecting hypocrisy. As a teacher, you can't tell a kid to make it through the day without "checking" their phones if you can't make it through the day without checking your own phone.