skysight-inc/HackerNews huggingface dataset:
> Yet there is no way of "declaring" which version of given package you want to install

But there is? First, by pinning nixpkgs you pin to whatever set of versions was within nixpkgs at the time. Then, if you want to change the version of a package, you can use overlays to poke at what source version is being used to build a package (or what flags it's being built with, etc). There's also nothing preventing your from mixing derivations from multiple nixpkgs pins within a single nixpkgs/nixos fixpoint for your system.

Stuff that in your shell.nix or /etc/nixos/configuration.nix or just nix-build it straight from a small .nix file.
This is one of those things i want to talk about any every time this subject comes up but i just don’t have the energy to sustain it because the arguments always turn into spreadsheet politics. So i 100% agree with you and i think exploring this aspect of the conversation is an essential part of healing it.
You dont have to be a socialist to hate Amazon.
armv8 defines the registers for changing endianness too :) https://developer.arm.com/documentation/den0024/a/ARMv8-Regi... Cortex cores at least do support switching endianness for data in userspace (SCTLR_EL1.E0E)
How do the power levels, wavelengths etc. compare to the body scanners at airports?
You could store decimals (either power 10 or power 2) with a given precision. Essentially, when storing floats as text, you are already doing that.
Animals don't learn anything suffering from mites and other parasites.
Give Thanks
>This is the root problem with Strongtowns and their ilk. They love to navel gaze and contemplate the platonic ideal of how a city should be laid out. But for the most part fail to provide a viable option that people can and will choose.

They fail to provide a viable option because, as they point out, cities are complicated so universal prescriptions will fail. If no one in your place cares enough to come up with a local solution, then any intervention would have failed anyway, as we've seen for decades with aid work throughout the world.

Most of what they do is showing that what we have now is on a predictable, medium-term trajectory to insolvency by its fundamental financial unsound structure. Their 'ilk', so much as they have any, would be Urban3, who do GIS mapping of financial productivity within cities. So, 'navel gazing', I guess.
We aren't needlessly torturing them?

Seriously, you cannot see the difference between a person who delivers a single killing blow and then eats the animal and one who watches it boil to death over 20m or so?

"Getting joy from inflicting pain" is very different to "killing for food".
Actually, DNS SRV entries do support port numbers (and transport layer!) https://en.wikipedia.org/wiki/SRV_record

It is just a matter of specifying the use of such entries in the protocols (HTTP et al). A lot of new protocols already rely on them.

As someone who doesn't do much infra, I've encountered them when setting up the DNS for a Minecraft server. The game checks for the SRV record, or if it is missing, assumes (or reads from the user) a given port.
El Salvador to Build a Bitcoin City
There are certainly limitations to the admin console/module, but it is still rather amazing. The amount of stuff that it will allow you to do is pretty impressive.

Sure, you easily get into a situation where you're out of luck using the admin module, but there are also entire classes of problems that can be solved using only the build in admin functionality.
Netflix Turns Its Attention to Films It Hopes Everyone Wants to See
Whenever I log into my mobile account I get the following texts 2 minutes apart, doesn't matter if I'm doing a SIM swap or just checking the bill.

"SECURITY WARNING The one-time code you requested will arrive shortly. DO NOT give this code to anyone. If someone's calling you and asking for a code, they DO NOT work for O2. Call us on 202 if you suspect fraud so we can protect your account."

"Be alert to fraud NEVER share this code, including with O2 staff. Help us protect your O2 account. To swap your sim, enter code 123456."
Isn't sel4 super fast?
What happens if the devs making a device stop paying? Do the customers' devices stop working?

Also, that seems like an unacceptably steep BOM item for a consumer device. The MCU itself costs less in many cases over reasonable device lifetimes.
I don't know, if you'd never done any Python, and perhaps particularly if you learnt JS in 'callback hell' days, you might not realise what was wrong with:

def doSomething(theArgs, cb):
food, bard = 0, 0
try:
doFoo(theArgs["foo"], lambda: food = 1)
doBar(theArgs["bar"], lambda: bard = 1)
except Exception:
cb(food + bard, "didn't work")
else:
cb(food + bard, None)

or whatever.

I can get by in JS, I use it professionally even now, but it's not good quality; I know that. (Trivial example, I discovered `??` recently. I've definitely written a lot of null/undefined checks without it, or even naive ternaries that assume non-null/undef values aren't falsey (`thing ? thing : 123` vs. `thing ?? 123`) - which is kind of like seeing `dict.get(key, None)` in python.)
I have been nerdsniped!

I actually had a 6s- though I gave it away.

But I still have the box and the iPhone 12 mini _does_ fit into the box, but it's exactly the same width as the 6s and approximately 3mm shorter. So it's still well into "iPhone 6" sizing territory, though it is smaller.

I also have a 5.

So I took some (awful) photos: https://imgur.com/a/wtDEyi8

(I had to use a really old android phone to take the photos, sadly)
As to "home use", personally I'm successfully keeping my dotfiles & $HOME/bin/ scripts managed with Nix + home-manager. Becomes useful when changing jobs, and also makes it easier to share new config tricks between work & home machine. Regardless if Linux or Mac.

edit: in particular, going just Nix (not NixOS) on work machine(s) allows me to fall back to apt-get/brew quickly when a particular tool is not (yet) on Nixpkgs.
> I was shocked how the historical center of London, ON was demolished to the ground and replaced with shacks

Does anyone have more details on this in written form? It's annoyingly difficult to google for because it's the other London.

Various British cities have been guilty of this; Bradford had a "hole" for about a decade due to an unbuilt shopping centre. https://www.bbc.co.uk/bradford/content/articles/2009/08/27/b...
It’s very telling that someone with such a broken ethics system would use the word “Marxist” in a way typical for far right.
It all comes down to energy. Each time energy gets converted as it goes through the food chain, most of it is lost. We simply can't afford to eat things that ate things that ate things that ate things; there's not enough energy left after all that.
on point imo!

does one need to feel pain in the same way for it to be classified as pain. pain is pain. one of the things that unites us as humans is our ability to feel it and empathize with another.

if an animal can feel pain it doesn't matter if it is the same pain. Also I recall that Nirvana once sang "It's ok to eat fish because they don't have any feelings". For generations people thought that is true.

Some in my family call themselves Pescaterean because they for some reason don't want to inflict pain on animals (that look like us).

my point is pain is pain - the rest is just mental gymnastics that allow us to justify our own behavior.
The submission is about the language, which they just open-sourced and thus doesn't cost anything.
And less applied books about the theory behind it?
Plus the Dunkin Donuts was gifted expensive public infrastructure since, in all likelihood, they have a 10 year tax incentive that prevents them from paying almost any property taxes.
> For example I’d choose React + Typescript over Django templates any time of the day.

What's stopping you? I use Django Rest Framework to write views and React + Typescript for the front end. Using templates is often way simpler, though.
P (Pause) and W (Wait) Options in Cell Phone Dialers
After reading the title, what came to my mind was: Either UK is paradise and legislators have the resources to elbow Plato, Kant, Nietzsche and the rest, or the British population is becoming as religious as the vedic hindu population (for whom cows are sacred)

But after the brief surprise, I assume someone is pushing to sell certified lobster stunners, and maybe provide installation and servicing for them. Mandated by law.
Given there are 24 vaccines made by competing businesses authorised by the regulatory bodies of multiple independent nations that don’t all like each other (e.g. America vs. Cuba, North Korea, Afghanistan; or Israel vs. Iran), given that almost no nation has an incentive to plan its own depopulation and in many cases nations are actively trying to boost childbirth rates, given that many other vaccines are already basically universal, given that COVID-19 symptoms include lower fertility, given that nations have not even yet managed to make binding agreements on limiting carbon emissions even though this started to be a big thing 30 years ago and the consequences of failure will affect everyone?

I think the simplest model which fits all that would be to start by demonstrating that I am the star of The Truman Show — there is neither the means, the motive, nor the opportunity for what you suggest in anything resembling the world we actually live in.
>, #2 should work fine for all of those uses.

No, #2-length is a higher-level of abstraction to display for humans. E.g. calculating pixel widths for sizing a column in a GUI table, etc.

I don't think you understood the lower-level of abstraction in the examples that gp (dotancohen) laid out. (Encrypting/compressing/transmitting/etc strings.) In those cases, you have to know exact count of bytes and not the composed graphemes that collapse to a human visible "length".

In other words, the following example code to allocate a text buffer array would be wrong:

char *t = malloc(length_type_2); // buggy code with an undersized buffer
Become a douche in 5 years
One advantage of not exposing microcode is that newer processors can add support for new microcode instructions and map existing X86 instructions to them. In a sense there's a tiny JIT in the CPU that turns X86 into processor-optimized code.

The disadvantage is of course that this is complex to do in silicon, and the CPU might lack some insights that the compiler had. As I understand it Itanium was HP's and Intel's attempt to give a lot more power to the compiler, with an instruction set that better matches what's going on under the hood. But we all know how that ended: performance was lackluster and the Itanic was nothing but a waste of money for everyone involved.

GPUs have successfully moved the microcode translation one layer up, you generally compile to an intermediate ISA (let's call it a bytecode) and when you load the program (or shader) the GPU driver translates it to GPU-specific instructions. But that model doesn't easily translate to CPUs.
José Valim is going to stream Advent of Code again this year https://twitter.com/josevalim/status/1461064540465078273

His 2018 AOC stream https://www.twitch.tv/collections/YDM6eKu6bhV1Nw
I don't personally think that using a subset of an existing language is a pleasant solution for programmers. The language doesn't get a coherent design, and you don't know which parts of the language will be present.

We made lots of small decisions to make Toit useful for IoT. One of the things we optimized for was making the program code ROMable, so you can leave it in Flash. This has subtle effects on the language design but is vital on small devices where flash is often much larger and more power efficient than RAM.

We also just wanted to make a modern language with decisions that are natural in 2021, but weren't well known when Python was invented. Things like nullable types, or a language server that gives you nice autocompletion in VS Code. This also affects language design: collection.size is better than len(collection) because you can type collection.<tab> and the editor will help you.

https://twitter.com/toitlang/status/1395365234664161283

https://docs.toit.io/language
A couple of things I try to remember, when I work on things: (I didn't coin either of these)

"'done' is better than perfect"

It's easy to get caught in a trap of trying to "perfect" something. If it's good enough to call done, you can always improve it later if necessary. You do need to have some clear definitions for what "done" means for you though.

"make it work, make it pretty, make it fast"

This is adjacent to the first saying. I sometimes find myself trying to optimise something prematurely. This is a good reminder to wait until the [unit of work] is "complete" before I try to optimise it.
Designated Initializers in C++20
CAMEL is also a protocol to let enhanced mobile services use SS7 interfaces as specified by 3GPP for Intelligent Networks (IN)
Without a subscription they have no incentive to update the software of already sold or older model ( which they already do). Considering the price and the niche market, they probably can't rely on future sales only to improve the software.
Wow, that's a really weird coincidence, I was literally watching (listening) to this video on youtube when I saw this pop up.

One thing strikes me though: there's network effects to "Stroads"; in the USA if you designed a shopping district or neighbourhood as being "roads to streets" with limited parking (as is suggested) then the people operating businesses or living in that neighbourhood would be worse off... because everyone judges things in ability to get to it by car. It's almost a culture of cars and it's probably impossible to remove, but first movers in this space will be the losers, even if in the long run everyone wins.

It's game theory at a national scale; and we're all losing.
Looked into building a house out of EPS panels, since it (at first look) looks like a splendid material with built in insulation.
However:

1: it loses its integrity around 80-100c causing catastrophic failure on bearing capability

2: it burns literally like any other hydrocarbon, and its foamed construction makes it highly flammable

3: to reduce flammability and adhere to code you need to use EPS with flame retardants - which fuck you up, you're basically building a house out of Frozen gasoline and flame retardants.

so if you want to go this route, take a look at Corkwood instead - comes in large industrial panels and can be used to build houses - been used for 100s of years, doesn't burn - at-all - and contains no nasty shit.

https://eumeps.construction/content/8-downloads/4-documents/...

source of initial inspiration: https://vimeo.com/81180775

cork source: http://www.edisughero.com/en/#prodotti

blocks: https://www.gencork.com/2020/about-us/
It's often done for binning, but you also get working hardware that has been disabled. Many AMD CPUs have been unlockable with a reasonable success rate[1], and IIRC all of certain models of X800 GPUs could be upgraded from 12 to 16 pixel pipelines (which from memory was sold as the X800XL variant).

I can see how in theory it might make sense for market segregation. Say you're designing a 2-core and a 4-core CPU - the design simplifications and manufacturing efficiencies of just making one chip (and partly disabling some of them) _might_ drive the price down for both market segments compared to manufacturing two designs, even if on the surface the 2-core user seems to be buying more hardware than they are given access to.

With that in mind, SDS doesn't seem like such a bad idea. Buying an n-core chip that can later be upgraded to a 2n-core chip without buying a completely new part seems preferable in some ways to buying an n-core that is actually a 2n-core chip that has had half its cores laser-sliced off (and thus can never reasonably be reactivated) to fit a market need.

[1] https://www.cpu-world.com/info/AMD/Unlocking_cores_and_L3.ht...
AWS clockbound client and daemon implemented in Rust
I'm not sure how the hardware can be "right" when it cannot do its most important, touted feature on-device (handwriting recognition), it is basically a one-trick pony according to Wired (who said it only does note-taking well) and almost everything about the device is outclassed by a used iPad new enough to run iOS 14 or better and which supports the Apple Pencil.

For about the same $400 (the device after a year is going to cost you $400 either way; if owned for 3 years it'll have a TCO of nearly $600) you can get a used iPad Air 3 and Pencil and do everything the reMarkable can do, with your choice of screen size...a screen that is color, backlit, higher resolution, full motion. Excellent pressure and angle sensitivity from the stylus. Cellular connectivity, if you want it. Full multimedia capabilities, video conferencing/calling, web browsing, the entire suite of iOS apps. If you have a Mac, all the desktop integration features. Your choice of private or cloud based backup and sync, no device modification needed. And top-notch on-device biometric security.

Oh, and an iPad can do on-device dictation and handwriting recognition/cleanup. The reMarkable cannot do on-device writing recognition - only via their cloud, which costs $8/month. And requires storing your documents with a company that is based in Hong Kong, which means "freely available to CCP intelligence services."

I've used eInk readers for probably close to a decade and a half - I started with the original Sony reader - and sorry, but eInk still has significant limitations for any sort of interactivity. It's better than it was ten years ago, but I think "physical pixels being flipped end-to-end in a viscous media" has an inherent maximum refresh rate that they'll never get past and the technology will never get past static low power displays and e-reader devices. I don't even see it surviving much longer given how far OLED displays are coming; they offer all the same low-power advantages, better contrast ratios, and full color / high refresh rates. Not as good full-sunlight readability, though.
https://www.researchgate.net/publication/24236415_A_Ghost_in... (scroll down - for some reason the author listed above and the authors listed in the doc don't match)
Interesting. I would say that video games aren't more interesting when thirsty. On the other hand, depending on the moment, video games, chocolate, having a good company and social media can all fill a certain void, that I wouldn't encounter if I disconnected from each of the things separately. I think that's what might be meant by dopamine fasting, though the "dopamine" term focuses a bit too much on the supposed origin of the feeling instead of the feeling itself.
> Even as a meat eater I’m pretty shocked that this recognises them as sentient and yet does not ban their slaughter (aside from boiling them alive etc). Maybe I’ve read too much science fiction, but eating sentient beings seems Bad.

Sentient is not the same as sapient. You probably eat a lot of sentient animals, after all.
This is an extraordinary step forward for our industry, and I’m quite certain we will look back five or perhaps 10 years from now at this moment and realize just how pivotal it was.
Not if you need to, and your mind feels bad about it to keep the balance.

But if you do it for fun, I would keep my distance from you and stay close to a pike.
I instinctively went to check http://alwaysssl.com/ which returned just a Microsoft IIS web server error (over HTTP), but it now redirects to a domain selling page (served over HTTPS).
Because having the port change on every run is annoying for developers.
If your software can run on linux it's extremely unlikely to not work on NixOS.

In fact proprietary binaries will be much easier to run since you don't have to do with non-reproducible builds in some source repo/build system.

Have you considered reading the manual? NixOS is not for you if you don't want to spend time learning the basics.

I have run xilinx vivado inside FHS within 15mins. Mostly figuring what libraries are needed for all binaries.

https://nixos.org/manual/nixpkgs/stable/#sec-fhs-environment...
What I love about these things, is that you can SSH into it. There are various mods for it. And you can run your own software on it.
The Unicode character doesn't really have an intrinsic width; the font will define one (and I think a font could define a glyph even for things like zero-width spaces). But as soon as you want to display text you'll get into all sorts of fun problems and string length is most likely never applicable in any way. At that point the Unicode string becomes a sequence of glyphs from a font with their respective placements and there's no guaranteed relationship between the number of glyphs and the original number of code points, anyway.
Uncorp looks interesting: https://gitlab.com/kragen/bubbleos/-/blob/master/uncorp/READ...
20 countries worth of employees striking is huge. If the headline is true will this be one of the largest recent strikes?

Somehow Amazon has shrugged these massive strikes off in the past though
> > In most states, you can claim under almost any circumstances that a person came at you with a weapon (a rock?) and you shot them in self-defense.

A rock to the head can be quite deadly; every situation will have its own important nuances still.
Does this comes with free security updates?
Yes, as a logical first step.

Now we at least have hope this might work for humans.
In the “Immediate plans (say, March 2019)” (yes, most of this project is 2¾ years old, though there have been spasms of activity in some areas from time to time since):

> Leconscrip: a memory-safe low-level statically-typed imperative language without garbage collection and with Lisp syntax, […]

I think producing anything even vaguely useful of this description in under a month was fairly wildly unrealistic. The only path to memory safety without garbage collection (… unless you’re willing to forego references altogether, which would generally disqualify usefulness) is some form of ownership tracking, and that’s a fairly lightly-trodden and lightly-documented path. There are very few examples of such languages even if you skip Lispness—I think Cyclone was the first (a research project spanning 2001–2006; and correct me if there was prior art), and Rust is the only even vaguely mainstream one. Making a language with these features using Lisp syntax (which I presume to include macros, otherwise is it even Lisp syntax?) is even more lightly-trodden and I suspect more difficult on average, though Carp <https://github.com/carp-lang/carp> looks to be having a go at that.

(I’m definitely interested in the concept of a memory-safe, garbage-collection-free language with Lisp syntax. I wish Carp and any other attempts well.)
Yeah, things are perhaps different in the developing countries markets in Asia (maybe even the developed countries).

In India, physical books have always been a lot more popular (and still are) since books are a lot cheaper than in the US (printed on very crappy paper though). But that's also meant that there's a lot more room for ebooks to grow into. The US might be, what, a 30-35% ebooks share at this point? In India, its less than 5% but growing very strongly.

BUT this is not accompanied by ereader sales. Majority of ebooks are read by folks on their phones. (I suspect China has been seeing something similar too with the proliferation of online reading platforms.)
I don’t know. If only because of the erectile dysfunction reports, I think most men would prefer not to get COVID. Probably their partners would appreciate them not getting it as well.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8450276/
I believe that comment to be incorrect. UPnP is using this port, but unofficially. The IANA port registration for 5000 is for commplex whatever it is, and it refers to two ports: 5000 and 5001. UPnP uses 5000 unofficially and does not use 5001.
yes, they are very similar. I'm not sure if Rails has quite the level of auto-generating admin system, though.