skysight-inc/HackerNews huggingface dataset:
No matter any given SBC's hardware platform's apparent attractiveness: Give me mainline Linux support for all included devices/features, or give me (this particular product's eventual) death.

Is there any info on how this make and model fares? The spec sheet speaks of "Debian / OpenWRT / Andriod" (sic!), but two misspellings in three names don't exactly inspire confidence... If I can only ever hope to install some manufacturer-bastardized spin of Ubuntu 14.04 with a heap of custom patches on top, I'll have to forever stick to Raspberry Pis instead, unfortunately.
A number can have more than one name of course. In fact every number usually has an infinite number of names (just add some meaningless junk to the name).
The document says it’s about education, not policing. Insofar you can consider it to police anything, it would apply to the Stanford IT department, not Stanford students or faculty. All departments that communicate with the outside world police their language, whether explicitly or implicitly. That a department has a list of words they don’t want to use in their communications is not surprising or interesting.
> https://www.youtube.com/watch?v=aVQEbD3NyDw

Hah, this sounds like it fits in the Nerdcore genre. Might need to go and listen to something by MC Frontalot because of nostalgia now. I've also heard some humorous tech songs by Dylan Beattie in the past (though his conference talks are even better).

Edit: As for the languages, it seems like there's still a lot of elitism, gatekeeping and bikeshedding going on, which was something that was spoken of in DevTernity 2022 as well (in addition to coupling in codebases and architecture being a big theme this year). Sure, sometimes one language might be superior to another, but for most purposes many of the popular (or even niche) languages can be good investments and just generally good enough.
We will fix it. Day 1 for us.
‘Bad’ doesn’t even come close to describing it imo.
Moon (2009) escaped many people's notice and was really good.

Don't read too much about it, there's a component of mystery that's better if it's not spoiled.
>but the publisher pulled out

Can you share why? Did they think the topic was niche?
> - ChatGPT will get more popular, even among non techies, until OpenAI asks for payment.

This will certainly happen and most companies built on top of ChatGPT will not survive.
If the chip or antenna broke as phillipseamore suggested you would need your company to just issue you a replacement. Most companies will not make you pay for it unless you are always breaking/losing it. The cards are about $3 depending on the bulk discounts your company gets, in case anyone were to make a big deal about it.

To answer your question though, if the card was still working even a little bit, one could read and clone it with one of the card cloning devices. They can be found on Alibaba, e-bay and sometimes Amazon. One should look up the number on the card to ensure it is compatible with the cloning devices. Doing this is likely a violation of your companies security policy and would be akin to copying a physical key in the eyes of the law. Some security systems can detect or at very least log if a cloned card was used.
I would suggest reading the link I gave you previously, which covers the evolution in detail.
Also, since humans aren’t slaves, they do their own maintenance. And they don’t do exactly what you ask, which is good (when they do it’s called “working to rule” and is a kind of strike).

It’s very rare for automation to cause unemployment to the point it possibly never happened.
True enough on Fortran. I like Zig but not sure what it will stabilise on yet so will hold off.
P.S.

Come to think of it, there's another aspect I don't understand. The validity of a theorem depends only on the assumptions used in the proof (so, for example, if I have a formal set theory proof that depends only on group axioms, then it applies to all groups). That is not a property that is usually expressible in the the logic -- it's a property of the proof theory of the logic -- but it is nevertheless true. Not being a logician, I'm not interested in writing proofs about my logic's proof theory, I don't need to define new proof rules as I don't develop new logics, and my logic's proof assistant is free to rely on theorems about the logic's proof theory. What do I, as a practitioner, gain by making the proof theory part of the logic?
What GPU is it built with? PowerVR?
Oh well better get out the old credit card.

So this isn't the same RISC-V CPU as from VisionFive2 and Pine64. It's an Alibaba core I believe[0].

Hopefully this doesn't cause worse fragmentation and slow much needed software and distro support.

My worries previously on HN[1].

[0] https://www.cnx-software.com/2022/10/04/alibaba-t-head-th152...

[1] https://news.ycombinator.com/item?id=34105528#34106450
Bees dying after stinging really highlights the question of what an organism is to me. It seems similar to routine cell death; the organism (hive) keeps thriving. In the grand scheme of things, the individual doesn't matter
>Has everyone forgotten that America used to do things like imprison anti-war protestors?

Basically yes. The left has now become the war party, it’s the right that has more anti-war protestors so it’s totally cool to censor them now.
> Their outcomes indicate otherwise.

This is assuming the consequent.

There are two possible explanations being proposed for the observed outcome "Congresspeople do better than average at the stock market."

I am proposing the explanation "they are engaging in insider trading," and proposing evidence to support that.

You are proposing the explanation "they're just better at it", and giving as evidence solely the outcome we are attempting to explain. It's circular.
The problem is that being justifiably critical of laws and policies that eradicate female-only spaces is now being framed as a bigoted and intolerant anti-trans viewpoint, and this reframing is being used to suppress such critical speech.
This has not answered either of my questions.
It should be noted that the Dreamcast doesn't have any built in OS. Windows CE libraries were booted of the GD-Rom discs.
From the site:

> Climate science should be less political, while climate policies should be more scientific. In particular, scientists should emphasize that their modeling output is not the result of magic: computer models are human-made. What comes out is fully dependent on what theoreticians and programmers have put in: hypotheses, assumptions, relationships, parameterizations, stability constraints, etc. Unfortunately, in mainstream climate science most of this input is undeclared.

> To believe the outcome of a climate model is to believe what the model makers have put in. This is precisely the problem of today’s climate discussion to which climate models are central. Climate science has degenerated into a discussion based on beliefs, not on sound self-critical science. We should free ourselves from the naïve belief in immature climate models. In future, climate research must give significantly more emphasis to empirical science.
Biological altruism refers to an individual giving up some of their reproductive fitness to help another individual reproduce.

These altruistic acts are typically not done consciously, they have simple been formed by natural selection to act in this way.
Define economic gravity.
> I have posited that bees have evolved to die after stinging because the act of stinging can cause pathogens from the creature being stung to adhere to the stinging bee.

OK.

But why do bees die after stinging, but wasps don't.
The set of real numbers with finite names is countable.
I found it rather enjoyable, but a click bait title will definitely get you further in this age of the internet
Finally I found the answer to my dropped wifi connection
Of course... I'm using a japanese Happy Hacking Keyboard Pro JP (HHKB Pro JP). The HHKB is kinda famous for its Topre switches: I'm just using the japanese variant. They're kinda pricey as far as keyboards but the price is okay'ish if you buy them directly in Japan.

Before using a japanese HHKB Pro JP I was using a reqular US QWERTY HHKB Pro 2. But then I figured out a narrower spacebar and more modifiers would suit me best. The big enter key on the HHKB Pro JP may not be for everyone that said.

As for the setup, I don't have a public Github page with my config (I use Git but with bare git repos on my own servers) and it's actually going to depend on how you did configure the DIP switches on the HHKB Pro JP (it's got 6 dip switches IIRC) but it's nothing out of the ordinary.

I'll just throw random infos that may get you started if you go this route...

I'm on Linux so it's just one .xkb file which is mostly a modified QWERTY layout to add Hyper and Super modifiers. I had to mess up a bit with the japanese Henkan and Muhenkan modifiers keycodes IIRC.

As a sidenote I'll say that you probably can do everything from the .xkb file but xkb and xmodmap (to set up modifiers) aren't mutually exclusive.

In the .xbk file a "regular" key like, say, 'x' stays of the type ALPHABETIC but I modified i j k and l to be FOUR_ALPHA and they're then (example for 'i'):

key <AD08> { type= "FOUR_ALPHA", symbols[Group1]= [ i, I, osfUp, osfUp ] };

where FOUR_ALPHA has "Hyper" in its short modifiers list.

I use Hyper for a lot of shortcuts (I configured Hyper to be the key at the left of the spacebar) but not for ijkl: Hyper+ijkl is used to send arrow keys code, always.

As for Super I use it only for my WM: so I configured one key to be Super in .xkb and then my WM (Awesome WM) only requires one line to be modified to tell it which modifier you want to use for shortcuts.

It's not complicated but it took me some time to set up everything: mostly because I had no idea how the .xkb file format was working and it certainly looks a bit alien.

I versioned my .xkb keymap files in Git and I experimented. I'm still under X so an xev window open to see the event (not sure how that works under Wayland) / keycodes sent, an editor to edit the .xkb file, commit changes as soon as good progress were made:

xkbcomp mykeymappings.xkb $DISPLAY

To test the new settings. Rinse and repeat.

Once it's set up, it's set up for good.
> Rich parents started balking at sending their kids to them, so enrollment (and thus vast sums of tuition money) declined

This is almost certainly not correct. Top schools get far more applications than they have seats, and so can choose their enrollment. If some rich people don’t want to send their kid to school, there are other rich people to take their place. There’s really no shortage of them.
That retort does not work when the suggested policies work every single time as promised when they have been implemented and their primary reason for failure is that they have been made illegal and brought to court.

Also, the refutals that supposedly make them unpopular seemingly have no impact in reality. That kind of suggests that either the models used for refutal are grossly incomplete or big errors have been made due to political reasoning.
Ask HN: Do others with young kids prefer work to holidays?
My wife and I both work full time in technical/scientific jobs that we both trained a long time for. We like our work, generally speaking. We also have a history of liking to take time off to travel, etc.

However, since having a kid four years ago at ca. 40yo, we no longer enjoy extended time off when there is no childcare. It’s not that we don’t enjoy spending time with our kiddo, but it’s a lot more work, without any of the benefits of time off (sleeping in, taking naps, staying up late to do hobbies). Simply put, we get our
asses handed to us every day.

At best we are ambivalent about holidays and even vacations. At worst, we dread extending periods of time off without childcare. I know we are very fortunate to have good-paying jobs with generous (by US standards) time off, so this is definitely a problem of privilege.

I wonder if anyone else feels similarly?
You were making sense until your Musk hatred came out. Name someone who is doing more for free speech right now than Musk?
Tech stock prices are based on extreme growth numbers. the problem is the denominator, it's so big for most tech companies they can't continue to grow at 20-50% a year. so if your P/E goes from 30+ to 10 or worse 3-5even if your E is still strong but flat alot of wealth disappears. if people feel broke they don't spend money on things. the new phone isn't as important as say eating. also alot of tech didn't have to compete and could still grow wildly. name a non-competitive area of tech these days? a blue sky opportunity. that doesn't entail hard engineering. autonomous cars, fusion, solar all require massive amounts of slog it out engineering.
You could do that, but HN guidelines ask us to assume, and post in, good faith.

Blindly assuming/implying someone didn't get their source from some kind of trustworthy place and then giving them grief for it is not a good faith comment. And it discourages people from asking questions in the future.

OP seems genuinely curious and open to whatever answers they might get. Why be a dick to them?
Yes, mouse navigation of deeply nested menus has that exact problem. It's like playing that old Flash jump-scare maze game where you had to be very precise with the mouse.

Keyboard navigation of menus does not have that problem.

In Windows Vista/7/later versions of 10 the solution Microsoft used was to make the tree clickable like the tree in Explorer.

In 8/early 10/11 the solution used is to forbid nesting.
You're noticing the algebraic numbers + all the transcendentals that you happen to need throughout your life (\pi, e, etc.) are countable.

Sounds kind of deep, but plenty of proofs apply to uncountable sets. We finite little humans just live, necessarily, in a countable world.
Since the big thing is mostly made of small things, neglecting small things systematically is probably not a good idea.
Doesn't fit with the Typescript philosophy though: It should be possible to gradually add Typecript annotations to existing JavaScript code. It wouldn't work with 3rd party libraries either.

If you want something like this you might as well use a completely different language.
Cyber attacks set to become ‘uninsurable’, says Zurich chief
https://archive.vn/PHLQa
Love this movie so much, especially the music.
Reuse: Making Licensing Easier
Benchmarking Ruby 2.6 to 3.2
They don't need to distance from anything, as noted, it was never part of any policy, it was a discussion-piece / list of suggestions within a single department

To disavow such discussions would be to disavow free speech and expression.

And even if it was a suggested form of "policing", Free speech does not become stronger by obsessing about shaming and ostracizing those who disagree with its concepts.
Musk's free speech crusade is in the process of being ambushed by reality.
I think this feels grammatical to native speakers because "my two front teeth" is interpreted as a single item or gift. There's kind of an elided "to have" there: "all I want for Christmas is to have my two front teeth". "these seven TypeScript improvements" don't form a coherent whole in the same way, so it feels ungrammatical.
$900 on sale for m1 laptop. $600 for used. This is less than a day's labor for this crowd.
Academic community is in wide discussion about this story (it is juicy) and the response is uniform shock and horror. She’s absolutely not going to have a career in the very very near future.

It appears that the entire journal is fraudulent (stock photos for people who apparently work there).
That entirely depends on the case. There are class actions that are life changing then there are those where your damages are only $5.
I read it as the interest rates being artificially low...
I'll just chime in to say I liked it. I see the author's point about a somewhat lazy plot device, but I didn't really think about that until now. Maybe I'm lacking context - to me it's a Netflix movie and in the top 5% easily of what's on there. It was an entertaining movie that had lots of funny parts. What else do you want? The critics long winded explanations, often requiring analogies, of what was inconsistent, seem like he had to think too hard to find something to criticize
Because giving people useful things generally does them good rather than harm, and doing people good isn't unethical just because you could have done them more good at greater cost?

Because if you are poor then buying more of something cheaper, rather than less of something more expensive, isn't unethical?

Poorer countries tend to have worse everything. Smaller houses. Less robust cars. Fewer doctors. Bumpier roads. Worse internet access. Worse schools. That's what being poorer means. It seems to me that whatever ethical problems there are here aren't in the fact that poorer countries are using a cheaper and probably less effective COVID-19 vaccine, but in the fact that some countries are much poorer than others in the first place.
The gc is very simple to use, that's the whole point of it.
Quick shout out to dual function keys on the home row via QMK or other. The concept changed my life. Modifier on hold, letter on tap. 3-modifier strokes are trivial, and this takes Emacs in a friendly direction.
Came for Hypercard and was treated to a surprisingly cogent argument against existential nihilism in the first few paragraphs.

Nihilism posits that our lives are intrinsically meaningless, because on a cosmic scale there is no such thing as meaning; it's a human construction, local to us, just something we made up.

To my knowledge, few or none of the major philosophers ever really attacked the nihilist insight directly, they mostly accepted it and talked about different ways to cope.

Bill Atkinson (while tripping on acid) posits that if life and consciousness are recurrent phenomena throughout the universe, our lives are quite meaningful in the sense that we are part of the progressive ordering of the universe (the apex of it based on our current understanding, in fact). Stars are a more ordered form of matter than the plasma which came into existence at the big bang, they give rise to solar systems, planets give rise to biospheres, biospheres give rise to consciousness, and consciousness gives rise to further forms of order...

And if you believe in aliens :) it's all happening on a cosmic scale.

It is an unfathomably large anti-entropic drama playing out across all of existence. Bit players we may be, but we are most certainly players who spend our lives either adding or removing order from the cosmos.

If that's all true I find the nihilist insight far less believable. It would mean we are participating in the main thing the universe has been busying itself with since the start, which appears to be some kind of ordering and complexifying of itself...
Oh many of us are pretty good at assessing risk. Specially being observant of the security theater that has been so heavily increased since Sept 11 2001 but what happened in relation to covid and communications since 2020 was pretty much an extremely effective suppression of any dissenting view to the local authority forces/government pushed narrative.

It was not about science or credentials. Wrongthink was not allowed and people were made believe they were fringe minorities by simply turning up censoring to very high levels.
If there's a post about holograms, at least one reply is required to say it's not a true hologram.
Imagination something, and it's supposedly 4 times as fast as the one in the Raspberry Pi 4.
I came across a rumor that the design of some hand-held technology and user interfaces may have been influenced by a small device that was reportedly discovered on a crashed extraterrestrial spacecraft. This coke-can-sized device was given to Steve Jobs to play with. It is said to have the ability to project a holographic interface directly through a person's neurology when touched.

It is worth noting that this alleged "smart can" is not to be confused with the rumored "Yellow Book," which is said to be a holographic "smart glass" pad containing a comprehensive history of the universe and requiring a lifetime of reading and understanding to fully comprehend via a neurointerface.
I’ll admit I was sticking to Pis because of the community and support, but is mainline support on the Raspberry Pi looking better these days?

The Pi4 has been out a while now, and Fedora just added “support”

Its in quotes because theres no WiFi, no Bluetooth, and I cannot get it to boot to desktop using their image.

Arch Linux ARM has been pushing images that don’t boot on the 400 for over a year now, but if I install the Raspberry Pi kernel in a chroot before first boot it even works.

What I’ve found is that if you want it to work you’re stuck on Raspberry Pi OS, a bastardized Debian distro, anyway.

Is your experience different? There was a time there was choice and they just worked. Somehow it feels as though it has gone backward and I’m tinkering with some no-name made in China SBC again.
Looks like it.

From htmx’s twitter:

> the book was initially in contract w/ a tech publisher, but was dropped because they didn't feel there was a big enough market
Exactly. I’d rewrite that last paragraph as: You are neither obligated to hand anyone a megaphone, nor [delete: obligated] permitted to confiscate theirs.
This is where developers will end too, if Apple gets its way.

Because really, why wouldn't managers pursue this? They don't have dreams of making great hardware because they are not engineers. Their dreams are in the realm of squeezing money from people.
The right does not want to make the picking of pronouns illegal. Where did you get that? Nobody cares what annyone identifies as.

The right’s position is that you are free to identify however you wish, but you still have to abide by certain things based on your biological birth when it directly affects other people.

Right or wrong, don’t create a straw man.
Reflection could even be the answer. The eye is a lense
could you give me an example of him "taking the side" of trump? all I remember is him trying to not be fast and loose with the facts to beat the dead horse the entire media was already doing, themselves unconcerned with the truth and more concerned with their soapbox to repeat what the previous 20 journalists already said. Unless bringing up pretty valid skepticism is now being a hipster journalist.

What was the second outlet he was ousted from? I know of the intercept sure, and he was ousted because he wanted to cover the biden laptop, they kept claiming he couldn't(not only in the intercept itself but anywhere else) because it wasn't really true and now...well we all know how that turned out.

Calling him a hipster journalist unconcerned with the truth is just a flat out lie, especially if you conveniently ignore all his ongoing work in brazil. He was one of the main reasons the current president is not in jail and defeated bolsonaro in the elections, something which bolsonaro attempted to prosecute him for, and now with lula in power he an extreme critic of the censorship the supreme court is using to silence people, the same people that absolutely hate him for getting lula out and ousting bolsonaro.

He is an example of being steadfast in his beliefs against censorship and surveillance state, just because the vast majority of journalists are actually reporters parroting whatever party line the newsroom toes at the time doesn't mean someone who actually sticks to his ideals is a hipster.
Meanwhile, experiencing communism makes one the most rabid form of anti-communist

See also: https://old.reddit.com/r/MapPorn/comments/zsmr6c/the_countri...