skysight-inc/HackerNews huggingface dataset:
There should be a stable kernel interface for drivers. The developers of Linux have always been against the idea.
Software Developers in the Media
Maybe I'm not interpreting this correctly, but isn't that quite similar to Windows Embedded?
Add CRM and ERP Systems as well, Dynamcis365 grants incredible bang for buck.
I have never heard of verified compiler before. Not entirely sure if I understand everything from their docs either. But here are my thoughts.

Even though you cannot unit test everything. I would still prefer it, then to have another compiler pass to ensure C semantics are the same as the compiled code. Even though compiled code is the same as C. C code can be buggy from the start.

I don't understand the use of "mathematically proven" in this context as well. Proving that x86 add instruction or a set of x86 instruction has the same as the semantics of the C code, is just pure computer science problem, not mathematic?
Its just a built in VM with (hopefully) better perf and some nice file system interop. Where's the mess?
Hence ... brands, and other forms of reputation generation and management. Sure, these things are never a guarantee of quality, but the brand owners want you to feel that they are.

Sometimes, too, they do turn out to be!
Wow, someone still linking to ZeroHedge is kinda more exciting than the content here.
Half of HN thinks anything crypto-related is automatically a scam.
Or they are worried losing sponsorships. Every company seems to be moving towards walled garden rent seeking data harvesting business model, so if they start asking question, they may start hitting the bottom line of many businesses.
Indeed. Regular people I get but developers voluntarily using it make no sense. But UI, but telemetry, but appl... As if there are no viable options out there
This thread is making the point that the issue isn’t the character set, but rather the keyboards. We’re probably locked in, there is so much inertia around the standard QWERTY with a few arrows and Esc. Maybe an integrated system builder with large scale like Apple could shift things slightly.
Perhaps the CPU is rotating too? Wait, perhaps I should patent this idea first.
Soap does not harm a properly seasoned cast iron pan.

https://www.seriouseats.com/how-to-buy-season-clean-maintain...
And the far east is also full of knock-off products, what's your point?

Nobody is stopping Moldovan alcohol producers from making sparkling or fortified wines, they just can't pretend its something else in the hopes of conning the consumer.
https://www.seriouseats.com/how-to-caramelize-onions-classic

These guys say baking soda turns it into sludge.
Right. High thermal gradients through ball bearings or roller bearings are tricky, and you don't get much contact area for thermal conduction in the bearing (meaning most bearing applications need to be mindful of cooling). (Pro tip from MIT 2.72: make sure to position bearings such that thermal stress from the shaft undergoing more thermal expansion than the rest of the machine doesn't jam the bearings.)

I guess you'd want a bearing with sodium-potassium alloy (hazmat!) or mercury (hazmat!) or something. Or... make the casing for the shaft into a heat pipe with ammonia or alcohol vapor.
> and has been collecting troves of personal data through Windows 10

How much PII is really collected via W10 telemetry? Or is the amount of times you click the start menu, accidentally search for something via Bing, then close that window now considered personal information?
>The thing about the "Great Filter" is that it is great. If you can even imagine an exception for your candidate filter, then it's not great enough.

I don't mean this as a personal attack, but that gets the idea dangerously close to the theory of unfalsifiability.

Personally I am more inclined to the believe that we haven't heard any radio signals from space because you don't run a multi-galaxy civilisation on light-limited transmissions.

Invent the ansible and then maybe we will find the galaxy theming with life.
I don't think it's a buzzword, or overused at all. A YouTube addiction is not as equally crippling as alcohol abuse, but it certainly is an addiction that I am currently fighting.
This. Learn your ide shortcuts, it crazy how fast you can do things with keys o ly
This makes a lot of sense and goes a long way to explain the time discrepancies. It's sad that I had to scroll down the page and find these comments buried at the bottom when they should be at the top.
I'm glad the standard we hold ourselves to is to just not use shitty products that spy on their users instead of expecting/requiring them to be better
> The "A" in ASCII stands for American.

Just call it ISO 646-IRV instead. ;)
Yes, I wanted to build something that my students using Windows or Mac OS also could easily use. And I wanted to build a web extension for Firefox and Chrome using the same format. And maybe integrate it in some other tools we're using here as well. Of course, that was too ambitious and the only thing I ended up with was an integration in vim. And that could have been done easier, as your sibling posters have pointed out.

Anyway, it was fun to build and very useful the past year.
Perhaps somewhat paradoxically, much fewer than usual. Partly because some that might have, in stead died from Covid-19, and partly because the countermeasures against SARS-CoV are also very effective against a lot of other diseases like the flu.

Why; does that have anything to do with anything? Naah, thought not.
journactl makes it _possible_ to read the log TFTFY.
It's interesting because any time you see Part 1 within a video, that's a significant sign that it's a low quality video that is just stringing it out for viewtime and you should skip it.

But of course there is quality content that lasts more than a minute. The work-around for the 1 minute limit that the community has built around is that the top up-voted comment is a link to the next part.
I have my crypto in Binance, any tips on how to move it away from there?
> Well, one of the underlying reasons for the lack of imagination might be... keyboards.

That and the fact that it would probably take me longer to search for whatever obscure mathematical symbol is supposed to represent <whatever> than it would take to just type out its name.

And ASCII is just easier to deal with.
I'm sorry to disappoint you, but there's a repository of FOSS called F-Droid which has no ties to Google.
Israel currently will use that as a public excuse, but Israel will clamp down on non-violent protect and violent protest fairly equally. There is always an excuse for why Israel has to take land and also why it has to have racist laws.

The problem is that if you look into it, it is a demographic battle to ensure that Israel keeps the West Bank and also that there is a Jewish majority in that region at whatever cost.

For example, here is a law that prevents family reunifications but only affecting non-Jews: https://www.adalah.org/en/law/view/511

And here is an Israeli ambassador making the case that Jews are reproducing more than Arabs and that is a great thing (although he excludes Gaza, which Israel hopes that Egypt takes over): https://www.jns.org/opinion/blinken-is-wrong-on-israels-demo...

Israel is a really strange nation these days. It is very racist and openly so.
This is old news, lumber futures are around 800 dollars now.
>"The Old World supplied the immigrants. It seems to be very weird that you’re saying that people can’t take culture with them,"

You can take the culture, not the terroir, that's the point. Actual buffalo mozzarella from Campania, to take something that would be familiar to an English-speaking audience, just tastes different. Using the same process isn't enough. And that's assuming the culture survives untouched, which it never does.
It is amazing that no one has pointed out JavaScript in this thread. The vast number of people who can come into programming by way of a free web browser with a built-in debugger is astonishing. It is incredible to think of the zero-cost (!) development environment that is Microsoft Visual Studio Code plus Google Chrome or Mozilla Firefox (run+debug). I could have never imagined it twenty years ago, and I am not a JavaScript fan-gurl/-boi.

And what about coding boot camps? Again, they have put umpteen more people to work as programmers. (Are they more than universities yet?) Again, you don't have to love them, but they are lowering the bar and helping more people gain access to the programmers market.
Interesting topic - but the synopsis leads to the assumption that the "divide by zero" problem in computer science is the only actual example of an "dangerous idea" related to zero explored in this long book - so I reckon there will be a lot of fluff...
Also I think it hugely depends on your equipment.

I have an induction stove and pans heat up almost instantly. I can easily get onions browned to the effect of the picture within 10 minutes on high heat.

Here's the thing -- onions won't brown until a certain amount of their water content is evaporated. And what matters to evaporate water content is the amount of actual heat energy going into the food. Induction stoves are particularly excellent at shoving watts straight into your pan.

I imagine many of the pros writing these recipes are using either a professional gas stoves (which are inefficient, but also very powerful) OR induction.

If you use a household gas or electric stove, it's going to be a LOT slower, these just can't get that many watts into your pan.
That doesn't seem to be an issue now, tried it with Grapejuice and didn't get banned. From the Grapejuice Discord, this also seems to be the case for other Roblox on Linux users.
Was just about to ask this.

Another question is, how does Amazon solve the GMS problem? Do they provide their own shim library, modify the apps somehow, or something else? Could the whole Windows 11 thing pressure developers not to rely on Google APIs now that there's more competition in the space?
I agree. It puts the system administrator in control of a lot of these things. Sometimes that can be annoying (the developer knows that systems calls they need) but often it is a huge benefit. I think socket-passing especially is a huge win, it shifts a huge amount of complexity out of each application and gives huge benefits as the administrator can configure the sockets however they want without needing each application to support each feature independently. Furthermore it removes one of the most common reasons why applications need to be started as root.

I wrote about this previously here: https://kevincox.ca/2021/04/15/my-ideal-service/#socket-pass...
In the 1982 second printing of Madhjur Jaffrey's "Indian Cooking":

On page 28 she addresses the length of time it takes to brown onions and how people give up because patience is required.

On page 51 (Rogan Josh), "Put the onions (minced) and garlic (minced) in to the same put and turn the heat down to medium. Stir and fry the onion-garlic mixture for about 10 mintues until it has browned." Clearly not 5 minutes as claimed.

If you actually read the BOOK and not the RECIPE, she explains that Indian techniques take a very long time by Western standards.

I think the problem is people thinking a recipe tells you everything. It doesn't. You need to read the book part of the cookbook as well to understand the context that the chef is expecting you to inhabit.

Read Alma Lach's the Art of French Cooking, or Marcela Hazans Italian cookbook. Both of those books have very lengthy sections on techniques, which often differ from what you see on the Food Network or shows sped up to fit in 7 minute recipe segments.
To not invent new ambiguities I would phrase this succinctly as the solution having intrinsic complexity vs extrinsic complexity.
I've been using Windows 10 since it's initial release and have never had telemetry automatically re enabled. I check the relevant settings regularly (every few months). I have no idea what all people on HN are doing that causes this to happen so frequently to them but it's never been a real problem. I wish I knew what I was doing differently so I could make a blog post about it haha.
So many has ( and hasn't changed ) in the past 50 years of computing. I mean look at C++ today, and pick any programming language in the 70s.

Another point is, are we really taking about programming language on the surface, its syntax? Or programming language as its whole ecosystem with library, tools, edge case and best practice. The former, arguably is very very easy. The latter is very very hard.
What would make that a tragedy? If the production of Parmesan in Italy is an important cultural phenomenon, then it can be preserved using other means, even non-economical ones.
This false trust regarding stores is a real issue.
Proposal for adding generic lambdas to C Standard [pdf]
It was clearly a sawmill issue. Lumber was expensive but timber was cheap.

I don't know how to calculate if more sawmills are needed (permanent backlog) or if it's a temporary backlog. I figure that speculation is for the commodity traders and maybe some stock / sawmill speculators.

In practice, guess and check may scale better? But I've also been to towns where the sawmill shut down and destroyed the local economy, so guess and check may be immoral (even if it's somewhat profitable)
You get ads on Windows 10? I've never seen a third party ad. They have had an ad for Office which was a live tile (which I have disabled because I do not find them useful.
The US argument against it, based on immigrants, is rather convoluted ­— and quite idiotic. How many poor Champagne producers do you think emigrated to the US? Not one, considering how it's always been a luxury product and it's not that ancient. Do they deserve protection? Well Coca Cola sure does, why not them?
Exactly—also given that side loading was, for a brief moment, a Windows Enterprise-only feature, if only for Metro apps.
Curious Alaska: The state used to span 4 time zones. What happened?
I feel like you linked me to something that proved my point. This seems like politics without evidence of some interesting new phenomenon. How much time has been spent moderating around this? Was it worth it?

Anyways i hope rick and morty succeed in their mission tonight.
Which is why the Nike brand shouldn't be on them. As a consumer I want to know who made it.

By all means sell the same shoes and call them "Victoria" or "Kratos" or something, and I might even buy them if I felt they were an appropriate value.
It's like Huawei's HMS: it's not a drop-in solution, which means that you can't just upload the APK to the Amazon app store without changes.
"in the US"...

This habit if speaking as if one is the center of the universe is a bit tiring
Yes it has fallen a lot (nearly 50%) from the May peak:

https://www.google.com/amp/s/www.businessinsider.com/lumber-...
Note for people who want to put a third party slidable webcam covers: make sure that the tolerances of your Laptop or other device will allow you to put the webcam cover without damaging your screen or other components. Instead as directed above use a Post it note. Another strategy would be to compartmentalize your activities using separate computers but this is a much higher cost (get a separate laptop for home use).
This proposal is moving through the C standards process and I was curious about whether people think it is a good idea. It appears to have a lot of backing in the Committee ( I am dubious, but I think I am in the minority).

If there is interest, I will also publish links to other proposals that are moving forward in the C23 process.
Sure, it's also their choice. I wouldn't buy Nike trainers or Levi jeans, but I'm sure some people do, and by taking away that choice you are stealing from them.
> When the phone rang, the DSL would stop working. When I ended calls, the DSL would stop working.

In Russia such issues were just solved by adding some passive "splitter" device that supposedly filtered some of voice call from DSL data transfer. Every DSL ISP did it.
Microsoft Confirms It Signed Malicious ‘Netfilter’ Drivers
> You become like the lab rat hitting the lever over and over again to get a pleasure spike from the electrode wired to its brain.

Incidentally, this is what HN upvotes on my comments are for me. I tried to abandon the use of smartphones entirely, but HN is the one addiction that I can't seem to kick. Even YouTube was easier to kick, and that one wasted a lot more of my time.
Non-ASCII characters make sense in national application domains, e.g. tax software, where you don’t want be forced to transliterate (or worse: try to translate) the non-English terminology.
I am, for one.
A linked video claims that the commercial version attempts to transfer heat from one rotating metal surface to another (the the part that connects to the CPU and the bottom of the spinning thingy) separated by an extremely thin layer of air. This is "supposed to" transfer heat as if the metal is touching but "doesn't see to work very well in practice"
thanks for that heads-up !
What startup leaders should do is to stop to externalize their costs. I have seen again and again (Uber, Uber Eats, AirBnb, ...) startups pay less than minimum wage, label employees as "self employed", treat residential neighbors as hotels. This startups rip the profits while other people pays the cost. I live in Stockholm and I am tired of seeing electric scooters blocking paths and bicycle lanes.

If all the innovation of an startup is to externalize its costs, and do what the real industry does (Hotels, cabs, ...) but breaking all the laws then it is time to stop startups.

I know that this message is probably not welcome here, but someone needs to say that many people is getting tired about the entitlement of all this founders that want to "revolutionize" the world by pocketing the money meanwhile they make the life of citizens in the neighbors that they operate worse off.

Startups are a systemic risk because many of them are created just to leech society with disregard of their impact. Startups are no ready for crisis because they just do not care about consequences. Everybody wants to be the next billionaire, no matter the cost.
But python programs are much more complex than init scripts systemd replace. It is more like people hate change and are lazy to learn a new thing.
> Trying to catch up with iOS on Mac

Maybe, and barely. You've only been able to do this since November, and only on new Macs. When Windows 11 ships, assuming the TPM requirement isn't an issue, a bigger share of Windows users will almost immediately have this feature, rather than having to buy new hardware.
Don't even hate on my dollar stores (coworker made a mint on the Dollar Tree IPO... Grr!;)

Okay, good.

There have been numerous agenda (economic? class superiority?) articles about "dollars stores: bad." Somehow that they're racist or responsible for food deserts, poverty, crime, and your grandma yelling at the cleaning lady.
Fans do wind up on heavy CPU/GPU load. The HP laptop cooler is quite a bit better than many I've had before, and the fan winds down about as quickly.

I've brought this laptop to outdoor (!) karate class when we had some zoom students on. I manually adjusted the brightness, but it was fine.

By default, mint installs the AMD driver, and nouveau. I wrote a simple switcher a few months ago, so I can toggle between AMD and NVidia. Next gen mint (due in a few weeks) apparently has the AMD/Nvidia optimus like switcher built in.

For this laptop, one downside is that I could not get the AMD to drive the external displays as well as the laptop display. Nvidia can drive both. It looks like this is a switcher config, that xrandr can't handle (at least the versions I have on there). If this is fixed in the next version, I'll happily use AMD for most display and NVidia for my GPU work (computing).
And what is wrong with Excel -- functional programming by formulas, and procedural programming by VBA? Until mid 2000s, many Wall Street Investment banks were still running trading desks making 100M+ USD per year profits (each!) using only Excel for quoting and trading. I assume Biotech and Big Oil still use lots of Excel.
This blog is 8 days old how is this relevant now?

Also you can "deploy" window 11 on any SSD as windows2go and boot from it directly if you just want to test it out on real hardware. All checks are skipped this way and you can put the SSD in any toaster as long as it has a 64-bit CPU it will most likely run.
>figure out how internal ML library A and dependent CLI tools package B can express their dependencies in ways that they can be installed as regular pip packages from where they live in our private GitHub repos.

Does this mean that you are keeping forks of the projects in your repo?

What I've been using but is probably not best practice is:
- A private PyPi instance (Nexus) for caching external packages
- All our projects, services, everything live in a monorepo
- All our code is developed as packages with a setup.py that lists the minimal required dependencies for each project
- "builds" of services are docker images that copy the necessary sources and do a `pip install -e <package for our service>`

The downside of this is if requirements are changed, updating your personal development environment means trashing and remaking the environment (relatively quick) or rerunning `pip install -e` for the given project.

I would only recommend using conda if you are developing on Windows. Even today there's still packages missing binary wheels and compiling other people's code on Windows to build/install a package sucks.

At another company I've seen:
- Each service and internally developed package had its own git repository
- Projects used dependency links[1] to get the packages from the git

I didn't like this approach because it split up tasks and created a lot of PRs. In the first setup with a monorepo you could see all the changes in one PR.

[1]https://stackoverflow.com/questions/36544700/how-to-pip-inst...
If I'm Frontier, why spend on infra to provide a better product to people in areas with no competitors? That's just money spent with no change in revenue.

Now if there's a viable competitor, it's a choice between spending the money to keep customers or not spending the money and losing the customers over time. Terrestrial networking can easily beat Starlink on bandwidth, availability, latency, jitter, etc, all the quality metrics (except portability), but only if the terrestrial network makes the effort.

Telcos have the ability to quickly roll out new networks when they're inspired. AT&T ran fiber to the home (GPON) in several markets within about 18 months when Google Fiber announced they were entering those markets (which they then decided not to). Telcos have an army of people (many consultants) who can run outdoor wiring and do home installation, they have easy access to poles, and (mostly) a decent database of addresses and line lengths to get multifiber lines factory manufactured to roll out with minimal field splicing.

And that's the hard way; things like better remote terminal equipment and/or backhaul don't require a lot of capital or labor individually (but may in aggregate), or just more adaptive DSL speed profiles just developer labor and configuration pushes. I could probably get 50% more downstream speed and 2-3x my upstream speed, but my ISP has inflexible speed profiles; that's probably not the issue for people on 1.5 M dsl, but it's got to be an issue for some.
Trying to avoid complexity by being dependent on something horribly complex is not going to work.
Yes, but certain things are no more owned by one country or region than the world due to the dispersive nature of culture. If a Greek moves to the US and starts making feta there (say, even with the same milk fermenting bacteria), it's still feta, unless it's truly believed that national character imparts flavor. What then becomes the difference if a Greek teaches another how to make feta and they do it elsewhere? Or if someone replicates it on their own? A chef's national identity does not a good dish make