skysight-inc/HackerNews huggingface dataset:
The missionaries are their own special brand of obscene. More effort should be put into things like dropping sterilized radios or rugged tablets, with the intent of beginning a conversation with them, to the extent of "we will leave you alone if you decide that's what you want, but before that, here's what's happening in the rest of the world" and then build up to the point where they're treated as equally valuable human beings, and not pseudo- mystically revered academic projects.

Presumably there's a way of providing medical treatment and vaccinations such that they could make contact with the outside world. Just having access to information about sanitation practice, germ theory of disease, radio communication, and so on would mean enormous enrichment. If they choose to remain isolated having communications with the rest of the world over the internet would give them economic means of protecting their lands by altering authorities and the world about trespasses.

We collectively isolate them because their cultures are presumed to be of such importance that enforcing primitive and often brutally savage conditions is somehow acceptable in return.

Most African preserves offer better medical care to wild animals than these actual humans have - the imposed isolation seems barbaric, too me.
Many Asian Americans call themselves Asian. Not many white Americans call themselves White.

Asia is a place. European and Caucasian get capital letters too.
Interestingly, the steel cables used by the cable cars are actually wrapped around a sisal rope.
They may be referring to https://www.science.org/content/article/how-early-christian-...
Unless you’re talking about ski lifts, where rope refers to wire ropes.
Sorry for a low quality/content comment, but this area has always seemed to me the most beautiful part of mathematics (not just theoretical computer science). The joke about robot overlords still pondering on BB(<low double digit number>) billions of years into the future is a good summary of this feeling :)
Unlikely for now. The ball has just started rolling with the M1.
Nice one. A slight change that will result in less CSS:

<ruby class="smiles">C<rt data-atom="1"></rt></ruby>

With this CSS:

.smiles rt::after {
content: attr(data-atom);
}
Subbed to wired magazine for the past year. Has it always been like this?
I wasn’t necessarily expecting every piece in the magazine to be software dev content, but at least technology focused. I would guesstimate 90% of the magazine is now activism focused and if they can find a loose tie to technology it’s even better.

Has wired always been like this?
whenever you transition from one activity to another, be aware of what you are doing in exactly this moment. that’s it.
>no good can come of it [sharing ones salary]

>Everyone is not the same, and individual circumstances dictate what somebody's salary is.

And yet, ones individual circumstance can lead them to doing the same job as a colleague, yet making significantly less money in silence.

'Individual circumstance' did not dictate a salary- the salary did not simply materialize from ones 'individual circumstance'; it came from a necessity to have a job, and eventually a number written on a contract by a person or committee just as susceptible to bias and prejudice, conscious or unconscious, as any single person.

How many more jobs do you think we can outsource to people who do 100x more work for 100x less money before we feel comfortable sharing our salaries?
Exodus – relocation of Linux binaries–and all of their deps–without containers
There is a terrible tendency in Christian TV / movies from the US I've seen to hire actors like Dean Cain, Kevin Sorbo and Kirk Cameron. I suspect it's because they're politically correct (In the original Leninist sense) for their target audience - or cheap, or both.

And none of them are renowned for their acting chops.
In data compression, inverting a BWT with large blocks or using Context Mixing to compress large blocks (which requires huge context maps). These 2 cases require a lot of random memory accesses.
The assumption that the case holds for n while the goal is to show the case holds for n+1. It is not well worded to make clear the intent of making an assumption about modal possibility. However, to see it as begging the question requires imposing a statement of modal necessity that simply isn't there.
Interesting project.

It might be worth noting that there is the project https://galene.org/ which aims at achieving the same goals as MiroTalk (self hosted, open source), but with a subset of features (no file sharing) and written in Go.

I'm not affiliated with them, but I like what Galène is doing.
> Take a look at VLC documentation (https://wiki.videolan.org/Documentation:User_Guide/)

Trust me, I have. Extensively. The mpv manpage (which is actually written in the reStructuredText markup lanugage) is comprehensive and easy to read. Era of text terminals? Give me a break, I just gave you a link for reading it in your browser, just like the VLC wiki, except the mpv manual is very comprehensive and up to date, while the VLC manual is scattered, sparse, and frequently out of date. I practice terminal emulator avoidance; I don't edit text in a terminal emulator, I don't read manpages in a terminal emulator, and I almost never start mpv from a terminal emulator either.

> So it's a personal preference not that mpv is superior to vlc [...] most use cases [...]

I have been upfront about that. I recommend VLC to the vast majority of users, including all of my family and most of my friends.
Apple designed the M1. AWS is (probably) using off-the-shelf Neoverse V1 cores that they did not design.

[Imagine "you made this, I made this" meme here]
There's a huge difference between The Chosen and LToC -- while both may present a "gritty" and imaginative narrative including fictionalized accounts that are not canon, The Chosen does it in a way that does not contradict anything canonical while LToC depicts a sinfully lustful Christ who abdicates his role as savior by stepping down from the cross. As such, it should come as no surprise that The Chosen is popular and well-received among believers and LToC was widely criticized.
Kudos to WIRED, which keeps around re-directs to almost all 10-15 year-old articles.

IME, in general, URIs for well-known sites (likely to survive) are more likely to keep working. Lately I've noticed many problems with sites that changed all spaces to underscores.
If you find this interesting, you might also like the book Geek Sublime: The Beauty of Code, the Code of Beauty by Vikram Chandra. It explores connections between linguistics and computation and touches upon Paninian grammar.
45k per year includes 6 classes or 18 credits per year. Candidacy maintenance would be 2 credits per year. It maintains your full time student status in the eyes of tax authorities and student loan servicers. I’d agree with everything else you said.
Can you elaborate? I have a side project(1) where all profilers I've used give a very muddled picture, so I'm very interested in the question of what slows down code on a modern "big" CPU with wide dispatch, a few kB of decoded ops buffer and a lot of OoO hardware.

(1) It encodes and decodes a protocol from a potentially untrusted source, so there is obviously a lot of waiting for previous results. That much is clear, however I expected profilers to show me some causal link between serial nature and slow execution, but they don't. I have tried perf, Valgrind-Callgrind and AMD μProf (because I have a Ryzen CPU on both of my main private computers). I'm not sure if the tools suck, my test cases suck, or I just don't know how to interpret the tools' results - assignment of cost to lines of code seeming highly unreliable is my main problem. Maybe the stupid things (most of optimization is about not doing stupid things, after that it gets properly hard) that these profilers are designed to catch aren't the stupid or unavoidable things my code is doing.
The OS X equivalent is: dscacheutil -q host -a name MYHOST
"Error, exception thrown"
On mobile - ff, brave, and chrome all failed. Android 12, Samsung hardware.
Other comments have mentioned my usual go-tos, but to add one more to the list: https://www.sparkfun.com/
I thought I’d heard that Java VMs go to great lengths to maintain cache coherence? I’d be curious to hear from the Lisp folks because I always hear that Lisps can be surprisingly performant.
Open source software for cheap fiber lasers
I wanted to use my inexpensive Chinese fiber laser engraver without the buggy, Windows-only EzCAD2 software. So I reverse engineered the protocol and wrote some simple tools for interfacing with it. GPL3.
https://archive.ph/tFhqT
This made me sad after the obscene amount of work put into decoding the radio signal into a binary format.

Is this because the specs for the data aren't published? But wait, NASA is a public body, so these specs should be out there. Or is it because the spec is lost to time?
Linus's reasoning is sound, but the issue is that ARM development platforms are becoming a thing and to be honest I see x86 as being in the early stages of a death spiral and so does Intel the way they're focusing on the fabrication side of their business.

If anything programmers are adopting ARM based computers faster than the rest of the market. As pretty much every developer tool gets ported for Apple silicon every company is going to shrug and go "May as well release an ARM Windows/ARM Linux build as well".
Yup, but you run into the same problem as housing other healthy folk, which is the lack of space for and general resistance to new housing or buildings :-/

It’s one of those things where once you remove it, resets listing it is really difficult and expensive.
> This is the point. Amazon is has too much market share for that to be feasible.

Market share of what ? The internet?

Of course Vendors can become too dependent selling thru Amazon just like they can with any large retailer or on any enterprise client. But that is not the same things as a monopoly.

Even this anti-Amazon parent piece, only makes the claim that 60% of shoppers "start their journey on Amazon", whatever that means. Personally, I might "start my journey" on Amazon but I only try to buy digital goods (AWS, Video) and will actually be fine with paying more through other sites and having to create account and all that headache, because I've had extremely negative experiences with Amazon & don't trust co-mingling.

They can spend lots of money on Google, FB (or even Walmart and Target) adds instead of on Amazon.

> But they can’t sell at a lower margin! They have no margin to spare!

Then they should stop selling through that channel, maybe chartering private jets isn't the best distribution strategy for a lemonade stand... Or they can make changes to their business so that these channels make sense.

>> Amazon remove's the policy, prices go up 20% on Amazon to be at the same margin of their Shopify app
> No, prices stay the same on Amazon to be competitive with other Amazon sellers. Prices lower elsewhere off Amazon

Were both generalizing about fundamental changes to massive/complicated marketplace so who knows both versions could play out to some extent... but like I've said I think the businesses will inflate costs to pass to the consumer, if they are given the opportunity.
‘Many forms of Government have been tried, and will be tried in this world of sin and woe. No one pretends that democracy is perfect or all-wise. Indeed it has been said that democracy is the worst form of Government except for all those other forms that have been tried from time to time.…’

Winston S Churchill, 11 November 1947
Exactly. But surely someone has done this already? What are we missing here?

(I think the data format for one of the early landers, Viking perhaps, was lost, but didn't someone figure it out?)
I completely agree with this. A lot of people use the term "too much abstraction" when they mean "bad" or "ineffectual abstraction." For-loops can be a wonderful abstraction, but they're certainly no basis for all abstractions.
> $20 a month. Enterprise with 1 user.

<blinks>

Holy shit. I didn't know that was an option. I just assumed that there was some minimum number of users (like 10-20) that made it non-viable for personal use-cases.
> I find it fascinating that the news outlets there go out of their way to capitalise all usages of “Black” where it refers to skin colour, and lowercase any mentions of “white” skin colour.

No, they capitalize Black when it refers to a racial identity group (which only very loosely relates to skin color.)
TBH I'd prefer Outlook users top-post, because when I've encountered them trying to inline-post it turns into "replies in red" on a text-only post :(
I think it comes down to there being two kinds of codebases...

In the first kind, all relevant developers have deep expertise in the system, or build towards having deep expertise. There's an expectation that flexible abstractions will be used, not abused, unless it's one of those scenarios where the use outweighs the abuse. The abstractions are tomato cages, and they're there to support the system as it grows, provide some structure, but not to strangle it.

In the second kind, the default expectation is that a developer will have little to no familiarity with the system, they will be isolated from it as much as possible, and they will be given such a tightly constrained sandbox that they can't break anything outside it. You will write your little plugin, or whatever, get in and out, and you're done.

These can both be useful kinds of systems/codebases in orgs of any size. The first kind of codebase can enable an experienced team to move really fast and be extremely productive. The second kind of system can help lots of different teams of different skill levels jump in and leverage your system with little required knowledge, and thus be productive that way. So there's really no way to say one of these patterns is good or bad.

But in general if you churn in and out a bunch of replaceable cog code monkeys, probably low-paid, the second kind of system just ends up working better. Giant "enterprise" software shops like parent poster aluded to typically end up in this kind of high turnover scenario after enough finance/MBA people have been brought in, hence their bad rap.
Why eating a sleigh’s worth of candy canes is a bad idea
Yeah. “Its lit” gets translated into :hand_pointing_right::flashlight: rather than :fire:, which is actually pretty funny, and it translates :fax::person_gesturing_no::printer: to fax no printer, which is technically correct, but it would be way cooler if it translated it to something traditional like “thats a fact!”.

One of the problems with translating emoji is that their are some combinations that are references to memes, it utterly fails at translating :raised hand: :ice cream: :hand pointing right: :broccoli: (giving “hand cream this asparagus”, lol) a combination that would (very) roughly translate to someone not familiar with the drake meme to something along the lines of “I’m not about sweets/junk food, I’m about eating clean”.

Seems like a really good idea, but likely a tough problem especially because I expect emoji usage to continue to evolve rapidly.
I’d assume the same way they fix building foundations: powerful jacks that raise the whole building
Bootstrapping a Forth Interpreter from Handwritten 1KB Binary
Yes, there is concrete evidence--specifically, the Office of Public Safety mentioned by Cyanbird, was an official cover given to CIA personnel to train local and national police forces in puppet countries how to fight a 'countersingurgency'. This included setting up national ID cards to track everyone, NSA style signals intelligence, and extensive use of torture. One of their favorite methods was to use portable US army telephones, as they had a hand crank generator capable of producing enough current/voltage to torture but were unlikely to cause cardiac arrest, they had an obvious non-torture use case so ordering them was not suspicious, and they had very fine wires that could be inserted up the urethra or stuck between teeth to deliver very painful electric shocks to sensitive areas. Dan Mitrione was a USAID OPS guy who was killed in South America in the 70s (Uruguay, i believe) in retaliation for his role in abuse and torture, who was known for adbucting homeless people upon whom his trainees could practice their torture techniques. The 1980 documentary "Inside the Company" about the CIA lays this out very well. It's long but is worth a watch, and I have seen no comparable films exposing this level of CIA activity since. Vietnam and the Phoenix Program is another classic example. John Manopoli was officially working for OPS in USAID, but was in fact CIA, and he first implemented the national ID card program they used to generate the lists of thousands of names of folks to abduct, torture, and either imprison or kill, and he was also instrumental in that part of the plan as well. Almost the only references to John Manopoli are in books about torture in the Phoenix program, or listings in USAID OPS phone books, or a handful of official OPS papers showing he did the same type of work in a handful of other countries.
Vidrio: Screen sharing just went holographic
Open Source Firmware Conference 2021 [video]
> Carmack’s recent “But here we are” speech resonated with me.

Watching this right now and all I can think about is Microsoft Bob.
He does understand. It’s for the people that manage to grow into adulthood without realizing that Ayn Rand was a terrible hack. “Trustless” sounds like a good idea to these most boring of cynics who consider anything but ruthless short-sighted egotism to be weakness or naïveté, all institutions to be corrupt (with the same magnitude of “totally”), and the only debate to be had is if it’s the Wall Street Jews, Hilary Clinton, or all women that are ruining their lives.
Honestly, no. The whole process felt like a scavenger hunt. In theory, it should be simple: 1) Connect a drive containing media to a USB port. 2) Enable DLNA server. 3) Select the server in a DLNA client and play the media. It sounds like something that should be a standard feature in any smart TV or networked media device. It's surprising how many bugs and bad interfaces I encountered along the way.

Once I got it working, I liked the built-in DLNA media server in my particular ASUS router enough that I retired my Jellyfin server.
I still miss my mercury filled thermostat. None of this constant on/off from the digital contraption.
https://archive.md/weUu8
Personally I prefer a bit of garlic powder, say 1tsp, sprinkled over my router before any large downloads.

Although last year when I bought Cyberpunk I found that a bit of curry powder sped up the ~70GB download quite nicely.
It’s a cliché because it’s true. Just pointing out that it has been true for a long time doesn’t change its truth.
Ordinarily I'd agree with you. While I enjoy Rust, rather a lot of projects using it I've seen place the language chosen farther forward in the value proposition than the capabilities or requirements of the project.

But this seems different. The Oxide folks need a tool that does specifically what Rust does in this space, and (at least going from the talk and related announcement blog post) did a substantial amount of research to try to avoid re-inventing the wheel before choosing Rust. Compared to other rewrite-it-in-Rust exercises, this one seems to evince mechanical sympathy with several of Rust's strengths, to the point that I doubt another language/platform would be even in the ballpark of a good fit for Hubris.

And that's true of your other examples as well: sure, a lot of Java evangelism is hot air driven by process-obsessed leadership sold on false promises of model-your-org-chart-in-code interoperability, yielding self-satirizing OO soup. But some projects have the right combination of (for example) non-synchronously-communicating teams, boxes-and-lines design processes, unskilled programmers, and safety requirements. For those projects, Java is the right choice; choosing a tool that doesn't "resonate" with those requirements as well as possible would be unwise.

Similarly, if I needed to work on a data-modeling-intensive project whose requirements were driven by lots of mechanically specified contracts (schemas) and was worked on by non-programmers who were comfortable with data description but not imperative logic, XML might be the right choice. I personally hope that's rarely the case, but the point stands.
> but MPV is like starting a program in your shell with no man files.

I can start virtually any program in a shell if I want to, VLC included. And I can't imagine what you mean by "with no man files" since mpv has a superb manpage.

> I can control through d-bus

Extremely limited. As far as I've been able to tell it doesn't allow you to run arbitrary commands or observe arbitrary properties, making it barely more capable than an old IR remote control. If my VLC lua scripts can send arbitrary messages across that interface, I haven't been able to find it documented anywhere.

> ncurses

I've controlled ncurses interfaces before using Tcl/Expect. It's a world of hurt. Besides, I thought you hated terminal emulators (frankly, I do...)
> The argument in the article is the following: Given some function f, if f(A) = f(B) = f(A ⋂ B) then f is equal to some constant c and f(A ⋃ B) = c.

This is not the argument.

> This argument is valid only if A ⋂ B ≠ ∅.

No, it isn't; it isn't even valid then. Consider a function over sets of real numbers:

f([0,2]) = 5
f([1,3]) = 5
f([1,2]) = 5
f([0,3]) = 6
plus other values...

I've constructed this function so that, obviously, f(A) = f(B) = f(A ⋂ B) = 5, and A ⋂ B = [1,2] ≠ ∅, but f is not a constant function and f(A ⋃ B) is not 5. f is still a function.

We can state the proposition "in a group of N or fewer horses, all of the horses are the same color" like so:

∀G∃c∀x( (|G| ≤ N ∧ x ∈ G) → f(x) = c )

where f is the function that tells you what color a horse is, and N is a free variable.

The proof claims that if this proposition is true for the value N = k, then it is also true for the value N = k+1. This claim is correct for all k > 1, but it is not correct for k=1. The problem is that we only show the truth of the proposition for N=1.

Abstracting a little further, we can view the proposition above as the potential output of a function of N:

p(0) = ∀G∃c∀x( (|G| ≤ 0 ∧ x ∈ G) → f(x) = c )
p(1) = ∀G∃c∀x( (|G| ≤ 1 ∧ x ∈ G) → f(x) = c )
p(2) = ∀G∃c∀x( (|G| ≤ 2 ∧ x ∈ G) → f(x) = c )
p(3) = ∀G∃c∀x( (|G| ≤ 3 ∧ x ∈ G) → f(x) = c )
p(4) = ∀G∃c∀x( (|G| ≤ 4 ∧ x ∈ G) → f(x) = c )

We can now say that the proof is claiming that whenever p(k) is true, p(k+1) is also true, that this claim is correct for all k > 1, and that p(1) has been established. But p(2) has not.
How about abandoning the toxic word all together. It's insane to me that we are so fixated on our identities.
Consider if it were true that, for any set of 3 horses, they were all the same color (within the set of three).

This would mean it would be impossible to have a set of 3 brown horses and a white horse hanging around.

Why? Because if you added the white horse to the group and removed another horse, then you wouldn't have a group of three of the same color. So this would contradict our assumption.

So, if our assumption at top is true, it can only be true if all horses are the same color.

That's all that the original proof is saying, only stated slightly differently. It's saying that the only way the hypothesis could be true for N is if it's also true for N + 1.
Yes, indeed, it is an ad hoc explanation.
I was once an adherent (no pun intended) of this method, but nowadays I saturate my pans with sunflower oil instead.

After every use they get a soapy wipe out, rinse, then a one minute heat with a quarter inch of oil in the pan. The iron just soaks it right up so it’s all ready and greasy for the next fry.

Painting the pans with flaxseed oil leaves an uneven spidery brown pattern. If food sticks to the pan you have to sacrifice some of the coating. It wasn’t a durable solution for me.