skysight-inc/HackerNews huggingface dataset:
It's protection of one's investment. One doesn't just buy a laptop from Apple but one invests in all the devices, apps, ecosystem and brand. It's why past apple users express so much hurt when the company crosses a line. To leave or even to criticise hurts psychologicaly and financially. Thus it is logical to protect ones investment and defend the brand on social media.

This extends to many brands of course for example AWS or anything where time or the person is invested but it's most easily noticeable with Apple on HN.
Lighters with button are piezoelectric as well, I imagine it's similar.
Type theory is like this in particular. My background is mostly in classical math, and I was initially thrown off by the amount of symbols with special meaning used in CS papers. An important realization was that most of the definitions behind these symbols (many I think borrowed from logicians) are actually quite straightforward, and the papers are not necessarily conceptually difficult so much as layered in their use of abstraction.

I'll mention that Nederpelt and Geuvers' Type Theory and Formal Proof: An Introduction was recommended to me for this topic. I haven't had a chance to study it yet, but I'd say it's worth checking out.
A Monorepo of Django, PostgreSQL Traefik, Docker Compose and React Served via S3
Guide on how to build a Monorepo of Django, PostgreSQL Traefik, Docker Compose and React served via S3
RISC-V in TypeScript?
Drones Have Now Been Used to Deliver Lungs for Medical Transplant
Who Bought $1.6B in Bitcoin Wednesday, and Why?
OctopusDeploy selected HCL for its pipeline config as code.

https://octopus.com/blog/state-of-config-file-formats
Currently, Nix way of handling dotfiles is "home-manager". Personally, I'm not convinced to translate all my random dotfiles to the format acceptable by home-manager because I wouldn't be able to use them in a non-nixos distro or a future home-manager replacement itself.
For anyone wondering, RTS3 refers to Age of Mythology from 2002.
Don't you mean USB-A instead of USB-B ? I don't think I've ever seen a laptop with USB-B ports.
Also, the M1X laptops (probably) release Monday and will be even more ridiculous.
Any nice step by step tutorial how to get nomad vault and consul architecture running quickly? I’m especially interested in non container job.
I don't know that one can use crypto without a bank account. Is there a black market where you can buy/sell crypto with/for cash?
> There is an idea of morality in living on unemployment when you're otherwise capable of working a job,

A bullshit idea since conveniently there is no accompanying idea of morality in living on your parents’ money when you are capable of working a near minimum wage job.
> I’m not looking forward to giving up the USB ports, the MagSafe, the hdmi and sdcard ports.

Rumors are that the ones being announced on the 18th will bring back most or all of those, along with getting rid of the Touch Bar.
Unfortunately it also struggles with patching, because due to balance changes the commands don't work anymore as they are supposed to. For example back in the day Starcraft balanced Spawning Pool to cost 200 minerals instead of 150, to delay early zergling rushes by several seconds (which makes a massive difference). But if watching an old replay, it will still try to build the Spawning Pool at 150 minerals and from there everything breaks.
Like so many people, I love the hardware but hate the software. Hoping that once Linux is solid on there, I'll be able to get one.
Mobile App Developer
I can play it on Debian with Firefox, no problems.
AWS has made a one-time payment of $5000.00 USD. thanks AWS
> I read an article not that long ago where a journalist was trying to figure out where Tether kept its money (if there was any).

I think that you might be referring to this one [1] from Bloomberg on Oct 7: Anyone Seen Tether’s Billions?

It generated plenty of discussion on HN [2].

I mention it here because I enjoyed the article and the style in which it was written, if you don't mind a little snide humour in discussing a potentially serious problem. (The article was also archived [3].)

Bloomberg commentator Matt Levine discussed the article in his Money Stuff column of the same day, Looking for Tether's Money [4]; it provides background and explanation of the mechanics of Tether, which I found to be educational. (That column was also archived [5].)

[1] https://www.bloomberg.com/news/features/2021-10-07/crypto-my...

[2] https://news.ycombinator.com/item?id=28784745

[3] https://archive.is/LdRL6

[4] https://www.bloomberg.com/opinion/articles/2021-10-07/matt-l...

[5] https://archive.is/cQVJl
بحث عن عمل في جريدة الوسيط
The ones to really look at will the M1X models that will (probably) be announced on the 18th, which will bump up the screens to 14/16 inch in the same overall form factor (smaller bezels) and have even more absurd performance than the M1 laptops people keep raving about.
Hardware kill switches for camera and microphones, as well as for wireless.

I wonder if one for an internal NIC would be overkill.
yeah, then the ad tech is just moving onto the next best thing. SDR.
https://www.fitzsim.org/screenshots/grub-mezzano-module-1.we...
>Isn't it a bit presumptuous to declare that people who called themselves and were called by everyone else "Romans" for over a thousand years were not really Romans?

Depends. Are we talking about ethnicity? (in which they weren't italic latin-speaking Romans - Greek ethnicity and culture, for example, didn't just vanish when the italic latin-speaking Romans conquered their lands).

Or about "nationality" or statehood and claim to lands, and such? In that, they were romans, since their state was the successor to the roman state (aka the "roman empire"), and a legitimate one at that.

Mind you, they also started calling themselves Greeks later on, and we have tons of references from them (including emperors etc) writing about themselves as that.

>By this definition 4th century emperors like Constantine the Great and Theodosius the Great were not really Romans either, since they spoke Greek and ruled from Constantinople.

They were the Roman emperors during the transfer of power to the Eastern Empire - in the time of Theodosius Rome was still in place too, and East and West where ruled under the Tetrarchy.

Plus, Constantine didn't speak Greek, he spoke Latin (he used an interpreter in some cases to translate to Greek, and he knew a handful as many romans did, but he personally spoke latin). I'm pretty sure that's true for Theodosius too.

>Heck, even in the time of Caesar the Republican elite preferred speaking Greek instead of Latin - hopefully you don't think the Roman Empire fell before it even began...

That's neither here, nor there. One is an example of some elites being pretentious, and the other is a state losing its capital (the one it even took its name from), its ruiling ethnicity, moving to another region with a different cultural background and dominant ethnicities, which eventually in a couple of centruries swallowed the previous dominant language and culture -- all while the original capital and land of origin of the culture and the empire suffered devastating fall under barbarian tribes.
Are usb sticks typically faster and cheaper than SD cards or am I remembering this wrong?
Different formalisms can describe the same concept, but they don’t always make the same analyses easy.

Eg: one of the main things we do with algorithms is analyze their time and space complexity, and it’s often easier to do this in a state machine model
> What is their motivation?

Of the people I know manufacturing firearms, the motivation is gun laws themselves.

California laws are so completely insane [1] that many normal sane gun owners I know have just kinda thrown their hands up in the air and decided if they are going to be criminals anyways, they might as well be criminals with the stuff they want. These are tax paying, law abiding, average joes that have given up on trying to "stay legal" within their hobby.

1. Here is the flow chart to figure out if the rifle you've done target practice with for years and is legal in most of the US will get you thrown in jail: https://www.calguns.net/caawid/flowchart.pdf
Intel 16 inch is NOT good. Runs too hot and throttles.
You are probably thinking of piezoelectric pickups. Same principle but think of grill/gas ignitors: https://en.m.wikipedia.org/wiki/Piezo_ignition
Meaning they plan to provide a `configuration.nix` to be used in any NixOS?
It is Mississippi, the poorest state in the nation. Contrast with WA, where the minimum wage is $14.49, but I doubt a sawmill would find a worker for less than $20 if not $25.
Who cares. Buy shit you don’t need or do buy it we are still going to destroy ourself as a species
Compact is a fine description. If you can pin down exactly what benefit you expect a more compact representation to offer, that might suggest a word that better communicates the intent of the encoding.

One potential benefit is that the number of invalid states that can be represented is reduced or eliminated. If a compact choice of type prevents the representation of invalid states, then that chops away some useless part of the state space you would otherwise need to carefully guard against with validation logic and test cases. Especially useful for structures that can potentially be edited or transformed outside of your control in ways that do not preserve the invariants you have in mind ("a stoplight value is always exactly one of the three colours").

Another potential benefit is that the number of bits needed to encode the values may be reduced. This probably doesn't matter unless you have extreme memory limitations or are writing a game engine and trying to squeeze the most work out of memory bandwidth by avoiding wasting the cache on bytes that don't contain information.

Yet another potential benefit (if no invalid states can be represented) would mean that if the value of two representations are different, then they correspond to two distinct states in your state space.

There are probably some settings where this kind of encoding is counterproductive. E.g. when fitting a linear regression model to predict a response from the input state, if there is no ordering between your states then it might be more natural to model the response variable as a function of n binary indicator variables instead of a single enum variable taking n integer values.
The idea is that the analogue components are saturated already so there's no available margin for the lower frequencies to further actuate the diaphragm or amplifier.
Are there any resources in how something the scale of google/bing works?

not looking to build google, lol, just would like to understand architecture of that sort of search engine.
I don't think crypto will never truly shine. I see two use cases illegal things and remittance/inter-market transfers. Later could be solved, but on other hand demand from regular people is low and existing players like PayPal and credit cards already take care of purchases from commercial entities.

For me it is just bad solution looking for a problem.
A shot in the dark but... are you from France ?
We halved the publish size of modular AWS SDK for JavaScript clients
That’s just a rebranded Xamarin IDE - but for .NET development on Mac, I’ve found JetBrains Rider does most of what the full Visual Studio package does
Spectre effects all cpus, though…
You’re on a ThinkPad, I’d rather not give Lenovo any money until they sort out the slave labour problems.
Anyio is probably a best bet to use TaskGroup IMO. You can use the trio backend if you want, after all.

But it's asyncio compatible, which makes it more future proof.
Lol all crypto is a scam and useful only to cranks and criminals
You can await at the top level of a module since node v14.8.

It has been proposed to Python: https://groups.google.com/g/python-ideas/c/PN1_j7Md4j0/m/0xy...

But I have no more info about it.
Is it okay for someone to be paid even though they do not perform their duties because they are protected by an organisation which has political power? I would say no.
Nop. It's that a better solution would still be using multiple Redis instances on each physical server. Trying to support multi-threads in the storage engine requires complex synchronization implementation. Sharing nothing between each small instance achieves higher performance and is a lot simpler. Also, FULL SYNC between masters and replicas can be uncontrollable. And smaller memory size for each instance alleviates the performance impact from FULL SYNC.
Show HN: Inlets (0.9.1) Adds support for allowed IP ACLs for tunnels
"Poland therefore becomes only the second EU member state included in the report to lose its full democratic status. The other, Hungary, lost its “consolidated democracy” rating five years ago, and has now fallen far enough to no longer be classified as a democracy at all."

https://notesfrompoland.com/2020/05/06/poland-no-longer-rate...
> . Investors can 'demand' whatever they like; there's no guarantee they're going to get it, and most of the time they won't.

And yet it is all hands on deck with both political parties when the stock market does not deliver 10% annual growth. It is pretty clear that the weight of the federal government and the federal reserve is behind making sure VOO keeps consistently going up over the timescale of decades if not a few years.

But when wages for the bottom 80% stagnated for decades, there is debate on whether or not anything needs to be done.
That's intriguing and surprising. I've always thought BNW was kind of a challenging dystopia, but didn't know that bit of background.

I googled around and found a couple of quotes from the book Eugenics, Race and Intelligence in Education:

"Returning to the theme of ‘eugenic utopias’, and moving on to the work of Aldous Huxley (1894–1963), it might at first seem that Huxley’s Brave New World does not really belong in this section, since it has become, together with George Orwell’s 1949 classic Nineteen Eighty-Four, one of the twin pillars of the anti-utopian tradition in English Literature and a ‘byword’ for all that is most repellent and ‘nightmarish’ in the world of the future. Yet it is not clear that Huxley himself viewed his vision of the world to come in quite that way." p 55

"In January 1932, shortly before the publication of Brave New World, Huxley gave a talk on BBC Radio in which he discussed the beneficial potential of eugenics as an instrument of political control, and expressed a readiness to sanction eugenic measures as a means of arresting ‘the rapid deterioration of the whole West European stock’. Yet in his 1946 Foreword to Brave New World, Huxley made no reference to the appeal which eugenics had held for him in the early 1930s." p 56

It sounds like he had a chequered relationship with the idea. He certainly thought it had dangerous potential if BNW is anything to go by.
A slim design, good screen and doesn't sound like a jet engine when under a heavy load are my main factors. Battery isn't as much of a concern to me, 99% of the time I work with my laptop at a desk connected to power and a monitor etc.

Repairability and customisability are also usually on my mind so anything Apple is completely out of the question despite their machines ticking most of my boxes.

Maybe that will change if right to repair laws in the EU improve but that's not a something I'm expecting to happen anytime soon.
I have a dirt cheap Chinese laptop. It's branded as an Infinity o5. It's a Ryzen with no flashy features, the simplest bios I've ever seen. I love it. I'd recommend it to anyone.
I’m going to go with 12” here as my preferred size.

And yes, I miss the original MacBook “one”. 13” is the absolute maximum for portability if you have to carry your machine around on a daily/hourly basis, and smaller is better for me, so I really hope the 14” has the same effective footprint as the 13” model…
> I check in on it every l every 6 months or so, update my pinephone and give it a few days.

Why did you buy the phone? They pretty much shout that they are only targeting developers who can bring about your dream. They never promised what you're expecting of them.

> if they corralled all of the effort and enthusiasm currently scattered amongst a dozen (!) different OSes and communities, they could establish a high quality functional baseline.

If Apple and Microsoft combined efforts on Mac OS/Windows, they'd do amazing things too - but that's not going to happen either: once formed, organizations expend significant energy in self-perpertuating. Perhaps you could pick a promising project (or a couple of complementary ones), and support them technically or financially.
They literally let a satellite crash to earth without knowing where it will land, worldwide.

So yeah, their risk tolerance is probably higher :)
I see. So there's a solution for dot files, if a bit too involved. Currently for a low effort approach when backing up something that I know requires a bit of reparse, I use ansible templates, which basically replaces 1 string with another in a file. So far this always worked.

What about application files? I.e. backing-up/restoring firefox. In it's simplest form it's copying ~/.mozilla which I appreciate is no different than copying a dot file. Does nix have a way to restore app artifacts?
> Otherwise these co-marketing activities would already exist since there is no inherent need for a blockchain to implement them.

One of the big changes in the way I've viewed this is because the blockchain we're talking about already exists. A lot of the technology is already there so over time the idea of creating a new shared database and managing it becomes more work than just using some libraries and an existing shared database - even with limitations.

> A value add model like the Amiibo would work better but again is predicated on developers actually capturing some revenue from supporting it.

Selling the game, surely.
Self-driving Waymo cars clog up dead-end San Francisco street
> There’s no way the NRA would let this loophole get closed

The NRA is busy trying not to be dissolved.
Aren't they simply legally bound? If they can do it (technically), and they are to do it (legally), how can they oppose doing it.

In fact, I have never understood the concept of "informational activity in the territory": I could not conceive that a server in Morocco, accessible to those in Nauru, should obey the legislation of Nauru. If two people on the Indian-Pakistani border shout at each other, the legislation of what is said from the left side should be that of the left side, where the actor (more accurately 'reactor') is - I would say.

If an entity is subject to the legislation of some country it must be because the entity must have a presence in that country that makes it a legal subject, probably a distinct branch.
I wish. Mine instrumented the source code, not the executable.
Just a portable (13—14 inch) device that has a powerful, but efficient CPU, supports Linux and has a dedicated GPU for occasional gaming / video editing.

I bought the Asus G14 over a year ago and this model fits my needs most - at least back then, things have probably changed until now...
Oh, you meant like, why don't Python didn't reimplement the whole interpreter around concurrency instead of using the tools it already had to find solutions to problems?

Well, that question is as old as engineering itself, and it's always a matter of resources, cost, history and knowledge.
Steam is pretty DRM free. Games have Steam integration which checks if your account owns the game, but they don't attempt to prevent tampering like true DRM does. If Steam were to disappear you could easily un-steam your games.

GOG also bans third party DRM software. It's great, but big publishers don't like that which is why GOG is mostly indie.
"Energy constrained" doesn't mean he lacks sugar, it means his brain isn't letting him do the work anymore because it is in the process of burning out.
1. home-manager is perfectly usable on any linux distro, that's in fact how the eventual transition to nixos started for me -- by porting my home config (on ubuntu, at the time) to home-manager. in fact I still keep my os-config and home-config repos separate, so my home config should still on non-nixos if the need arises

2. you don't need to "translate" any existing config files, it's perfectly fine to use them as-is.
Obligatory reference to Boost's Program_options , which is as close to a standard way to handle command line options in C++ there is.

https://www.boost.org/doc/libs/1_77_0/doc/html/program_optio...
Only because there is insufficient wealth transfer from the top deciles and quintiles to the bottom ones. Obviously, if society retains the same conditions that allow increasing income/wealth gaps, then higher wages will not help the poorest.
I've found it's true that the point/meaning of life is to find happiness. The trouble is, most of us (including me up until recently) seem to have the wrong idea of what happiness truly is. I've learned (the hard way) that, for me at least, it's less about chasing material success or desires that I can never fully satisfy and more about taking the time to understand all the stuff going on inside my head and figuring out how to wake up every day with peace of mind and giving myself permission to focus on the things I love doing.

One of the things I love doing is making video games (with a lot of help from my son!). But my goal when deciding what game to make isn't to be "successful" by making a lot of money or using it as a springboard to start a business or whatever. If that were the goal I would end up with a completely different game that I probably wouldn’t enjoy making as I would always be consumed by the fear of making something that appeals to as many people as possible in order to maximise profit. It's not about making something I can sell. It's about sharing something I loved making.

I've recently just finished my first original game and it genuinely won't matter to me one bit if no one plays it except me and my son (and hopefully the rest of my family!). I had so much fun making it that I’m actually a bit sad that it’s over! That is the definition of success for me - finding a project that I truly enjoyed working on every day for a year and a half for no other reason that I wanted (needed?) it to exist. That doesn't mean I don't want to make money from the game though if possible! That would be great! But the happiness I get from trying to sell it is completely different from the happiness I got from making it. I'm in the process of trying to market the game now and trying to dive deep into it, looking for ways to enjoy each part of the process. But if I try for a while and can’t find a way to enjoy it, I will just stop and move onto the next game.

So in a nutshell, if I genuinely try to focus on doing the things I love every day (and I have many, many things to choose from - video games is just one example), then I am happy and if indeed there is a point to life, I think being happy every day (in the true sense of the word) is it.
Apple fires employee Janneke Parrish, leader of AppleToo movement
I have 2 questions about this.
Is it ever legal for a company to hold assets in a personal account of an owner/employee?
Karpeles did the same, didn't he?
And if it's legal, how does the bank do due diligence on the source of wealth?

The other thing is, people say Mt gox collapsed, but it recovered. True, however the recovery was very slow and many people took a large hit. I understand if the Mt gox btc are still there, most can be made whole.
Now people say btc can collapse just like Mt gox, but Mt gox collapsed because it was hacked, the btc themselves have been stolen.
How would btc collapse if tether is stopped being used by exchanges?
The people holding tether would simply not be paid whatever cryptocurrencies they bought with tether?
I understand people just use it as a gateway and hold only for few seconds, right?
xps13