skysight-inc/HackerNews huggingface dataset:
Relative to the 0 times I have ever heard his name mentioned vs. the countless times I have read about him on manic midnight wikipedia binges, I think Zuse seems very unsung.
Weird choice of name Anidra in Hindi means sleeplessness. Nidra is sleep, anidra is its opposite.

On second thought, I think they are probably implying their devices (or they themselves) do not sleep.
Agreed, that's why I wrote maybe impractical. I just find it fascinating :)
Actually, this works even better at higher altitudes because orbital velocity is tied to altitude.

It takes less delta-V to put a 1000km-apogee object on a collision course with the atmosphere than it takes to put a 400km-apogee object on a collision course with the atmosphere.
>If it's not as simple as containers, it's not going to replace them.

Nix is more (or less) than a container. It depends, what you are targeting with your nix-project. You can either build a minimal NixOS, that has only a kernel, the minimum required user land and your project and its dependencies.

Or build a stand alone docker (etc.) image and spin it up.

Or you can use the nix shell to replicate just the dependencies of your project in that sub shell for other developers or testing.

I just recently saw a convincing video about nix, comparing it to docker.

https://www.youtube.com/watch?v=pfIDYQ36X0k
the soviets had expert top down control, not worker control. we currently have decentralized (by a bunch of experts who own stuff and pay each other and publish papers and legislate) control

let’s say workers now control Amazon. all of Amazon workers. But it turns out Amazon AWS is a big part of Amazon revenue, the workers know jack about that, they either delegate authority to some aws experts and now as bans the same problem again if they ruin it. And you’re also assuming worker cooperatives wouldn’t follow profit motives - wouldn’t they? Workers want money. You want to abolish profitmotive but won’t do that. Workers could totally abuse monopoly or regulatory capture by vote
Book titles in British English tend to be title case (capitalise most words, apart from "a", "the", etc), but newspaper headlines are usually sentence case apart from tabloid front pages, which are all caps and have their own language ("It's the Sun wot won it", for example).
And? The issue is not what might or might not happen in 2139. Space debris could already potentially be a problem right now and the company this discussion is about has already been founded.
We should also separate cows from sheep and goats. Where I am (prefer not to disclose exactly) sheep only produce milk between January and September and goats between April and November, the periods that coincide with their birth and weaning periods. And there's only few cows here because of the geography and the climate.

I think that in other places sheep can be milked year-round by having them breed twice in a year, but I'd guess that this would tire the animals and reduce the quality of the milk and probably also the quantity (which is already quite low for sheep and goats). I really doubt goats can be convinced to do things the humans' way. I've never heard of anyone industrially breeding them and I can't imagine goats nicely lining up to be milked by a robot!

A lot of the lore that animal rights folks share about how dairy animals are bred and milked seems to be collected from a very particular kind of practice, focused exclusively on dairy cows in the US, and that isn't as widespread as the animal rights people would have you think. For example, I bet everyone has heard by now how cows are cruelly separated from their calves immediately when the calf is born, but I doubt as many people have heard of Salers cows that will simply not produce any milk unless their calf is touching them. Milk from Salers cows is a legal requirement for some PDO cheeses so while their numbers are few compared to Freisians, Jerseys, etc, they are no less cows and no less dairy cows. They're just the inconvenient kind (for milking, as well as for propagandising).
I think this is true of Enigma as of start of WWII. But Enigma was modified many times over the duration of the war, needing not just "number crunching" but genuinely new methods.

So Enigma was genuinely re-broken, a few times, at Bletchley Park, indeed by an all-British team, but yes, easy to forget the little people who did all the initial work.
The Imitation Game was inaccurate and horrible every way you look at it.

https://en.wikipedia.org/wiki/The_Imitation_Game#Historical_...
>Seems very shocking, a recent turn-over of about 100 engineers.

Yes, you know what is more shocking? It is BS.

I mean like for Pete sake, there were more ex Qualcomm / Intel / ARM Engineers ex Apple inside Nuvia. And many from Samsung, AMD, Broadcom, Nvidia.
There are several kinds of questions.

The intonation that people think of as characterizing questions is actually specific to yes/no questions. It can be the only feature that marks the sentence as interrogative: "You know him?" is a valid sentence, and it is distinct from the indicative "You know him."

There are also what I think of as "question word" questions, and you might think of as "fill in the blank" questions: "Why are you here?"

These do not necessarily have the intonation that applies to yes/no questions. Like yes/no questions, they are characterized by subject-auxiliary inversion (the word order constraint you mention), and also like yes/no questions, that inversion is not guaranteed to be present in a question of this type: "Who sent you?"

(Note that inversion is possible for "You know him?" ("Do you know him?") and impossible for "Who sent you?"; these are different phenomena.)

I would argue that the yes/no question is primarily marked by intonation and the question-word question is primarily marked by the presence of a question word. Word order is affected in both cases, but not the primary indicator of what's going on. (Compare "He said what to the king?" - again, inversion is possible here ("What did he say to the king?"), but not required. In this case, the inverted version of the question is unmarked (normal), and the uninverted version suggests that the speaker wishes to place a special emphasis on something.)
Maybe. I honestly don't know and just read about it quite a while ago and can't remember the details.
> There is no reason that there should be two different approaches to punctuation in the English language.

That's the typical answer a programmer would give. A linguist, or really any kind of sociologist, would rather say:

> There is no reason that there should be a single approach to punctuation in the English language.
You don't need to be there yourself.

And, you can build a dozen of them, half-way around the far side, and get a lot more opportunities to point at anything.

Build two close together, and range things hours away.
Agreed. Zuse did a lot of cool stuff.
Politics and the English Language[0] has this covered, though not directly referencing punctuation; "vi. Break any of these rules sooner than say anything outright barbarous".

[0]https://en.wikipedia.org/wiki/Politics_and_the_English_Langu...
While we're at it, speaking of malconstructions and misappropriations, a reminder that the very term "libertarian" used to mean "left anarchist" until the Austrian School hijacked it.

(They used to call themselves "liberal", but when the meaning of that word shifted to describe stuff like New Deal, some decided that a rebranding is in order.)
Also, have our society evolved into one that we actually want? I would expect the answer to vary greatly, depending on whom you ask.
There is no such thing as a file extension name, it's a file name extension. It's called this way because file names could only be 8-byte strings initially and then this was extended with 3 extra byte places.

Neither part of the MIME type format even has to match any existing (commonly used) file name extension anyway. E.g. it can be `text/plain`. Even when it does it is just a coincidence (although very common), it actually references the format name (IIRC `image/jpeg` was used even when almost nobody were using `jpeg` for the extension and the convention was to use `jpg`).
I'm surprised by this, as the Times has a fairly well-followed style book. I'd be curious if this pattern followed in print or if things are just more lax online.

edit: Having just compared, it does look like the content generated online has a looser pattern than the articles generated for this morning's paper.
The vuln is that API calls with no auth headers run as root.
I hear you - "pixel pushing" as it's called.

It helps to think of it as an art.

If you have the time to flesh it out, then enjoy the slow process.

I find the work is more rewarding that way.
It’s 100 times more effort to make butter?
Bare metal ig.
SoftBank makes first Saudi Deal in unifonic for $125M in Series B
All the Java world is still firmly stuck in XML-land. So a better XML editor in Eclipse is right where it is needed.
The problem is quite simple: if it isn't supported by the base installation it might as well not exist. Github/Gitlab is how most companies and people now experience git, and afaik you can't add those custom plug-ins to those platforms easily if at all.
It can never be “proven” because the notion of “any computation” being referred to is informal.

Also, it can’t perform any computation, if we say hypercomputation is a form of computation. Hypercomputation is (as far as we know) physically impossible, but so strictly speaking are Turing machines - a true Turing machine has unlimited storage, and an unlimited amount of time in which to complete its computations - any Turing machine you could physically construct would only be a finite approximation of a real one.
Epic Games Appeals Against Apple Verdict
From my understanding, JSON won over not because it's superior, but it's much easier to build and consume.

To some degree, YAML seems to be liked because of the very same feature of Python: Scoping via indentation. However, I'm not sure about that.

XML is akin to space shuttle. Complicated but, well thought out. Well designed for its mission, robust, but somewhat clunky. However, it's a much more accessible member of "software engineering for the enterprise" era.

These features are not fit for today's "fast" software engineering. Who'll parse that XML, yet alone verify it? Who'll write the callbacks? Or is a DOM parser better? Today people "don't have time for that (TM)".

On the more realistic side, XML is really useful and robust. Yes, it's not as fast to implement, but it's forgettable. Add a DTD verification step, then parse away. After ironing the kinks out, your parser can outlive Voyager probes, maybe even humanity itself. But it's overkill for most "move fast, break things" projects of today.

I for one, will use XML for the foreseeable future for my projects. Won't whine for consuming JSON and writing hard to understand YAML files, but if I'm going to exchange big, important data and store it on disk, it'll be XML.
There is not much ruby magic in that code. This is just a naive use of data from another module.

Somewhere in the Gitlab code base there is a MIME_TYPES map with common extensions as the map key. No idea what it is used for but that module is very likely the target of a recent security issue.

The first fix to combat the "publicly unknown" vulnerability was to prevent usernames ending with any of the keys in the MIME_TYPES map using a simple "ends_with" strings check. Of course the map keys did not have periods so the ends_with would also match "Asimov" with the "mov" suffix.

The second fix in this PR is to extend the ends_with check to add an extra dot.

The actual vulnerability is still unknown but I suspect it's something like an intermediate component that performs special handling based on interpreting URLs and that could bypass security/ACL checks.
"Wouldn't that same reasoning also apply to moderation, i.e. if you think Facebook's moderation is bad, you should just not go there?"

Sure, and I don't! But this thread isn't about my problems or even your problems, it's about Facebook's problems.

"How are they controlling people if you acknowledge that going there is voluntary?"

People go there because they think they are seeing content shared by their friends, by people they follow and so on. In fact they are seeing a heavily filtered version of that designed to manipulate their own opinions. That's the whole point of the filtering: with the exception of where they label articles as 'fact checked', content that is politically unacceptable to them just vanishes and people aren't told it happens, so they can remain unaware of it. Like any system of censorship, right?

"all organizations have to decide at one point what is false and what isn't"

No, they have to decide that for a very narrow range of issues they've chosen to explicitly specialize in, and organizations frequently disagree with each other about what is or is not true despite that. That's the entire point of competition and why competitive economies work better than centrally planned economies: often it's just not clear what is or isn't true, and "trueness" may well be different depending on who is asking, so different firms just have to duke it out in the market. Sometimes an agreement emerges and competitors start copying the leader, sometimes it never does.

Facebook has a disastrously collapsing system here because they are not only trying to decide what's true in the narrow space of social network design, but trying to decide what's true for any possible statement. This is as nonsensical as GOSPLAN was; it can never work. Heck they aren't even a respected authority on the question of what's true in social networking anymore, that's why they had to buy Instagram and WhatsApp. Their competitors beat them. To try and decide what's true for the entire space of arbitrary questions about politics or science is thus arrogance on a galactic scale.
But I'm not interested in video streams. I want computation.
Richard Feynman Technique
The success of SpaceX has nothing to do with Musk and a lot to do with this woman: https://en.m.wikipedia.org/wiki/Gwynne_Shotwell. That even you, who ostensibly cares quite a bit about SpaceX, don’t know this is a testament to how little execution matters.
This is just a theory, but I think this (assigning some major leap of science to few specific persons) is how society remembers things. I.e it is difficult, or even impossible, to go into the intricate histories of how things actually developed in middle or high school (and perhaps even in college), thus the people teaching us simplify it to make it easier to study and remember.

Once you start digging you realize that nothing is as simple. For example for physics, "Physics for Poets" by Robert H. March is an eye opener.
I've been reading all of your comments in this thread and the links provided carefully, thank you for all the great work on Ardour and the degree of forethought that goes into it, it really shows in the final product.
Right, but the existence of edge cases does not mean that the "male" and "female" labels are completely arbitrary.

The words "bed" and "sofa" aren't arbitrary social constructs just because sofabeds exist.
This past week:

I smoked ribs for the first time in my life. Despite having 0 bbq experience and being a relatively new owner of a charcoal grill, I for free and on a whim tapped into the nearly infinite font of human knowledge available at my fingertips to learn about the 3-2-1 method of competition barbecue and made amazing hickory smoked ribs. Without the internet I wouldn't have even bothered, and acquiring that knowledge would have required a trip to a book store or a personal contact with a BBQ expert.

I gave a tour of my newly renovated home to my mother who lives in another state and is in quarantine, having recently tested positive for covid.

I navigated somewhere I've never been easily using a handheld GPS which can navigate any modality (ie, bus directions and train directions for us city folk)

I drove 70 minutes to another state for a small collectors sale in my niche hobby and found something to add to my collection. I wouldn't have known about the sale, or hell even adopted this hobby in the first place, if I didn't have an internet group with dozens of strangers in my city all interested in the same topic.

I made two sales of items in said niche hobby to other hobbyists in my city. Absolute strangers I've never met before. I listed the item in the weekly "deal or no deal" style thread, after striking a deal I sent my address, and when they said they were on the way I left the item on the doorstep for them.

I watched a significant amount of TV without a single commercial break and on my schedule. Not pay per view either.

I left a message for my downstairs neighbor that the contractors are scheduled to show up Monday to replace their basement windows. My neighbors were in another state and got the message anyways.

I continue to work a job with my boss who lives in a other state (and has been for years).

These are all examples of "massive progress and insane improvements to efficiency" In particular with respect to information, hence why this is called the information revolution.
I'm wondering if she's aware of http://skarnet.org/software/s6-networking/ ?
On-Chain Social Capital Is the Killer App
It is not an issue of following orders, it is an issue of hierarchy. When all the workers are below the board in the hierarchy, the board can take all the profits, push the workers super hard, and squeeze out all their benefits. In that scenario a few people get rich off of the work of many, and you develop a society where a small minority of people hold all the power and rule over everyone else.

The board seats are not about "better orders" (tho that may be another benefit) they are about ensuring the needs of the workers are represented in board decisions. For example if the Amazon warehouse workers had representatives on the board, they'd get bathroom breaks and better pay. The only reason I mention workers making more decisions is if you want to eliminate the board entirely.

> what are those principles?

> Not sure black panther community leadership is gonna help

I know most people do not watch the videos I link (obviously), but it sounds like maybe you did not watch the video. If you want to know what principles I think would help, I really recommend the video! It will be better than me trying to tell you from memory (esp because I am sleepy). It's a great piece of history and it shows some ideas that would help make all students better community leaders and cooperative workers.
> the argument for the American style is aesthetics

Absorption of set theory should make one cringe at 'Abc def. Ghi jkl. Mnop "qrs." Tuv...'. The quotation marks are logically included in the section beginning with 'M', then visually escape it.
This site is subject to severe XSS via the post mechanism. Just entering <script>alert(1)</script> works. So be careful when going to links. See https://hacker.thoughts.page for a demo
I think the first Super Mario was unique in that sense (given it came included with most consoles). I specifically remember asking for video games and my dad responding with disbelief that they were fifty bucks. It was a super common price point for NES.

I recall specifically SMB3 retailing at $55 at Walmart.
I can easily name several usecases, when increased code size leads to better performance (compile-time evaluation, architecture-specific optimizations)
Thanks, I do have. Actually, two, an Intel and an Nvidia, and not using either one.
What I find so strange about The Imitation Game that all of this is pretty well-known; anyone who has skimmed the Wikipedia article of Turing and the overview article on breaking Enigma knows that the movie is pretty much complete horseshit. Most of the alterations in the movie removed things that would have made the movie more interesting instead of the utterly bland story they made up.
Just the references here are probably an amazing resource for early computer science, and I'm not going to argue against such a force.

Seems to be a lot of uneasiness, of late, about the way credit is allocated in science. IMO, it's mistaken to point this at the top: nobel laureates, heroic icons like Einstein or Turing. These figures are supposed to be idolized and idealized. Yes, this is "untrue," technically. But, it serves many purposes. A nobel prize win elevates science by singling out scientists for hero status. Achilles elevated Greece by giving Greeks something to collectively aspire to or adulate.

If you're already deeply interested in computer science, of course the detailed narrative recognizing dozens of brilliant early computer scientists is richer. Of course!

Where poor credit allocation matters isn't historical hero narratives, it's at the working scientist level. The grants & positions level. Here, it's important to be accurate, fair, etc. Being inaccurate, unfair or corrupt at this level creates actual deficits.
I find it likely that this is an example of someone using a macbook only for a long time, forming the opinion that the macbook touchpad is the standard and then finding everything flawed by comparison because its not quite the same.

I currently have a mb air m1 and an XPS 9570. If I had to say which is the best touch pad, it's the macbook; larger and more precise. But it beats the XPS by so little that I really don't care. However, I have a textured dbrand skin on the XPS touchpad which improves the surface so much so that I definitely prefer the XPS anyway- but the same would likely be true of the macbook if I had a skin on it.

Neither are as good as the touchpad I had on my first generation Thinkpad Yoga - now those pads have a kind of unsatisfactory tactile click, but on the first generation thinkpad yoga the entire touchpad itself clicked downwards. No dead zones or insensitive edges, literally the entire pad moved, haven't felt anything like it since. In the same manner as (I assume) OP I'm always gonna feel that any touchpad is just nowhere close to as refined as that one example. And likely I'll never see its like again since I assume Lenovo stopped using it for a reason (reliability must have been a concern when you have one massive button in the middle of a slim Chassi) That laptop also had the keyboard where the keys recede into the body and go rigid when you fold the screen to tablet mode, as well as being water sealed and having runoffs out of the keyboard. Truly something else. The keyboard also set my standard for laptop keyboards which means that no other laptop keyboard has come close since except for that of a barely functioning used XPS L321X I got for 50$ when I was "between" laptops.
So based on my very clear bias, most laptops on the market today including macbooks are steps back in keyboard and touch pad compared to my 2014 Thinkpad Yoga.

In the same way people compare macbook build quality to other laptops and always if the person has primarily used macbooks the outcome is given.
Meanwhile I kind of hate how careful I have to be with the screen of my macbook compared to thst of my XPS or the precision M7520 I have for work. But I'm used to laptops that can handle field use and of course the macbook is always going to be flawed by comparison to my ideal.
A few high-quality exceptions will be celebrated, and the rest will congeal into a dated mass of capes, quips and cameos

It already has - I can't be bothered to watch any of the new releases because of their incredibly rude demand on my time. I need to watch every prior installment just to be in loop for the new thing.

It's annoying, and quite frankly I've stopped consuming most new entertainment content because of this. In a way it's probably good, best to focus on more productive activities of creating instead.