skysight-inc/HackerNews huggingface dataset:
> int i = "Hello World"

The gulf between this and "make invalid states impossible to represent" is a vast as the void between two galaxies.

> Using type systems to enforce business logic is applying the same concept, just at higher levels of abstraction.

"Just"

> There certainly is a cost to learning these concepts, but the good thing is that many languages borrow these same concepts, so the knowledge easily transfers.

To repeat myself: I've yet to see these claims realised not by a handful of type gurus with ad-hoc type-level DSLs, but in a more-or-less generic way applicable in every day use.
Basically "the client requested it without understanding it makes no sense, so we did this thing"
> Unfortunately, I don't think this will also find identical directories.

Generate a hash over the list of hashes for a directory's content. That would allow you to detect identical directories. That directory hash is rather volatile and would need regeneration every so often, but that shouldn't be a major problem.
I wonder why oversized hot water tanks don't get more play here. You can heat up the water with excess electricity at basically any time during the day and it should stay hot for about 24 hours if it is well insulated.
Zojurushi world-wide. Select your region:

* Japan
* The Americas
* Taiwan
* Korea
* South East Asia
* China
* Hong Kong / Macau

No rice for you, the Europas, Africas or Australias.

[0] https://www.zojirushi-world.com/
Those would require a massive surplus of Solar, Wind and Hydro which we currently do not have. It may come to that but right now the surplus happens at best during a few minutes to 10's of minutes at peak solar in the summer, the rest of the day (and the rest of the year) we are running at a substantial deficit that is still made up from fossil fuels or nuclear.
Americans resist the 24 hour clock for the same reason they resist metrification and any other sane sensible scientific simplification of anything under the sun.
It ruins the vibe of a coffee shop as well. Just awkwardly standing around as everyone drones away trying to ignore your unpleasant existence because you just happened to be standing near them waiting to (god forbid) get the coffee that's being prepared for you because there's no available seats.
kwin does support tiled window management. I’ve never tried it personally so cannot vouch for how good it is but if you’re a tiling WM fan, it’s probably safe to assume that you’d favour something that doesn’t include a full blown desktop environment.
https://financialpost.com/opinion/bjorn-lomborg-un-disaster-...
as shown in the article!
I genuinely struggling to see how TPM or SecureBoot improves security for normal users. The vast majority of attacks are not done by evil maids, but by zero-days, poorly configured software, or being phised.
Gentoo was my first proper Linux distro that I started using over a decade ago. As the time has gone by and I ended up using other distros for other purposes, I got exposed to the ways the other distros do things... which I often found to be unintuitive or confusing compared to Gentoo. It made realised just how lucky I was that I started off with a distro that pays such close attention to detail to so many things - like the one in the post. Gentoo was definitely one of the main reasons I found so much joy in Linux and resulted in the career that I have today.
Windows 10 IoT ENTERPRISE LTSC 2021 is a full Windows 10 version with support till 2034.

The only requirement that I know of for Windows 11 is TPM. Burning the ISO to USB using Rufus removes this requirement.
I’m not going to be that guy, because I don’t read nearly enough to begin with, but I read the book and… it was amazing. I have a deep appreciation for the psychedelic experience and reading his trip reports brought me, a 30 year old man, to tears.
That doesn't solve things for strollers... (Hint: you also need a car seat in the car for the baby.)
One thing i don't like about this analysis is when final energy is expressed in TWh, which is a unit normally reserved for electricity. That creates confusion.
Shortcuts in iOS is what currently fills this gap for me, and I think it’s probably the most viable approach for the time being.

Building a single production integration connector is difficult and expensive (API licensing/T&C stuff will eat a LOT of your time, APIs across products vary wildly in terms of maturity and standards compliance, dealing with versions/deprecation, and don’t get me started on handling auth).

Building a library of them significantly more difficult and expensive. And this is why the products that do well tend to cost a fair amount of money, which consumers typically aren’t going to be interested in spending.

Open source tools like n8n are promising, but still clunky and unreliable. Too fiddly for consumers.

(Was a PM for an integration product, and have been intimately involved in this space).
Burn the ISO to USB using Rufus, and it disables the TPM requirement, which I believe is the only thing that prevents you from installing it.
The coordination problems faced by all illegal entities.

Piracy generally means taking a full fledged product of someone elses and using it. Seemingly in your description, you're taking the data illegally and then doing all the compute on it. The amount of compute needed in this case is staggering, so you are back to coordinating with other people. Any one of those individuals turning against the group would likely doom the group, hence it's a high risk operation.
There was some buzz about "competitive compatibility", making it so sites couldn't lock in user so much.

I wish we saw more action on that front. That feels like the remedy to the status quo being so well entrenched, like a precondition for a competitive digital world. Just trying to block Mergers & Acquisitions might some day allow new giant powers to arise & compete, but we need a system where competing & growing a presence isn't so outright impossible.

Link from 2020 with a roundup of competitive compatibility news, https://www.eff.org/deeplinks/2020/12/competitive-compatibil...
> IMO the “out of thin air” problem is a purely academic limitation

This article is not about the out of thin air problem, is it? I think you're thinking of something else?
Manufacturers do segment the market, but also a 4090 is a totally different, cheaper piece of silicon than an H100. Not really just a price increase. HBM and the requisite packaging is very very expensive.

Why does CXL not make sense? Coherency is great!

NVLink is great for say 4x + gpus. With two 4090s , the effective speedup is the same as with two NVlinked A100s from my testing. So it’s really not a big deal it was pulled out.

Consumers really really don’t build dual GPU systems anymore. Gaming stopped using SLI/crossfire over ten years ago. So AM5 and Intel’s 1700 socket are designed to that idea, and price point. Why is socket SP3 so insanely massive? All those PCIE lanes and extra memory bandwidth take pins. More costly boards, more costly socket, etc.

Also, how are you going to cool 4x 4090s on air, when they are next to each other? That’s 1800w of heat!! How are you going to power it? That’s more than you average American house can power with a 15A 120v circuit!

I just built a dual 4090 system, while I was waiting for my waterblocks to come in, I was testing everything on air. The second card getting fed hot air by the first eventually had to downclock to half the clock of the first card, in order to keep the GPU under 90c at 100% fans. The waterblocks are single slot and go into a server class SP3 epyc board with 4x 1 slot spaced pcie. I have a 1600w psu that has a special plug, and it sits on the special single plug circuit that’s for an AC.

Nvidia is hugely innovative, and a 4090 core is really not simple at all. The cores were simple back in the 8800GTX days, kinda, now, you have pretty significant scheduling resources and tensor cores and different kinds of ALUs and a bonkers massive register file. CUDA is their secret sauce, way easier to use than openCL.
They sell 240v ones. And they have kettle plugs so anywhere that has computers will be trivial to get right plug

For uk it came with right one anyway out of the box
Yes, I think most of the misunderstanding comes from people who are not in ML. A lot of the times you can't release the training pipeline without getting into grey areas of training data copyright. A ML model is a high dimensional distribution that can be sampled from infinitely, given enough time and money you can train another model (possibly even with a different architecture) that closely models the original model in generation capability.
That app has been great fun to play with!

Hex digit input and a screen with only a few digits broadens your perspective of what both a computer and programming can be.
The variability of wind/solar can also be handled without time of use pricing by the grid operator including terms in the energy purchase or interconnection agreement requiring the generating facility to maintain some degree of consistency to the output. Then it is up to the generator to figure out how to do that, perhaps with batteries.

The problem we saw in Ontario when the market was introduced in 2001 or so was that it was politically unfavorable to have the extremely high prices, even for an hour let alone long term, that would encourage an investor to build a storage facility.
https://youtu.be/B9IrNcv_OdM
Nigel Farage brought a lot of attention to the Debanking scandal
Good start!
You'll need more data than 2 grumpy HR persons. Perhaps time for A/B testing.

One issue used to be holes in employment - or rather having a good story for them. Maybe, maybe not. You can't satisfy everyone anyway. You could keep your resume hole-free without wasting much of people's time.

Another is, can you really not find anything relevant in these previous jobs? If only something in the direction of "solid work ethic"? Sometimes it takes a little creativity but it's still there. And it doesn't need to waste much space on the page.

There are a lot of options between "not mentioning anything" and "2 pages".
To put this in perspective, in the US, adding a principle arterial in a large ubanized area costs between $9M and $35M per mile. (2016 USD)

https://www.fhwa.dot.gov/policy/24cpr/pdf/AppendixA.pdf , page A-9.

Makes me wonder if the right answer will be dedicated surface roads with a mix of buses and self-driving cars on them. It certainly seems like transit is overpriced by comparison.
Wolbachia is "healthy gut microbiota" but for mosquitoes.

It prevents their infection by many viruses.
The issue there is that there are a few very vocal renewable energy proponents who just don't get that at all.

Merely mention 'hydrogen' and they go into a tirade.

Though really, the biggest issue is apathy.
The advantage of a TPM embedded in the platform is that it is aware of the platform's state - the hashes of the firmware, option ROMs and the bootloader/UEFI binary that you're loading. Discrete TPMs are vulnerable to bus interception attacks but newer firmware TPMs are embedded in the CPU/SoC and are invulnerable to this so it's pretty secure.

A YubiKey/external TPM in comparison has no way to know whether it's being fed true PCR readings from the host or fakes from a malicious attacker, so at this point it will be no different (in the context of full-disk-encryption) from just having a dumb USB storage device with your LUKS keyfile on it.
Ah but when you say “bibles”, what do you mean exactly? Is it just common/useful code you fold related to a particular language/framework? Could you elaborate on this
There is no such thing as dietary “bad cholesterol”.

When people use that term, it generally refers to low-density lipoproteins, which are an endogenous transportation mechanism for cholesterol in your body.

All dietary cholesterol is just cholesterol, and it essentially has no impact on serum (blood) cholesterol levels.
I’ve never heard of an actual granite pan. You surely mean a metal pan coated with a combination of silicone-ish things and silica, and maybe the silica is derived from granite.

Sadly, it seems that some of these things still contain potentially nasty highly fluorinated compounds. Here’s a patent for such a thing:

https://patentimages.storage.googleapis.com/6d/25/ca/9ff2bbd...

Hmm, the “FAS” additive in the outermost layer has a perfluorinated C6 chain. Whoops. I wonder whether this is better or worse than PTFE. At least intact PTFE ought to be harmless. PFHxA is not so wonderful:

https://en.m.wikipedia.org/wiki/Perfluorohexanoic_acid

edit: some brands of “ceramic” nonstick pans are quite explicit about being PFAS-free, and CA AB1200 really ought to help here.
That's sort of the point, Uber is an app and they have the app for that. And their phone OS is an app containing apps-for-that.

Arguably Android or iOS is already an app with buttons for tasks, and you press the button of the task you want like "get a car" or "bring me food" and it happens. The cool part is each button can bring up a UI designed to work best for that particular task.

This is why "everything apps" might not be the next big thing -- they're already here.

An everything app is just centralizing and bottlenecking what already exists: Android or iOS as the everything app with buttons for tasks.
I agree, this is great. How does Debian do it?

One thing I liked about Ubuntu was how they handled the Python 2 -> Python 3 transition after version 2 was officially no longer supported.

`python` was then a non-existent command which would fail while python3 continued to work.

This way one would not accidentally run a Python 2 script which kind of worked with Python 3 but then failed under very specific circumstances, possibly even after running for a couple of days. Not even letting that script start in the first place directly after the distro upgrade was the correct thing to do.
I recommend AstroNvim, it's honestly the best starter configs.
Completely agree. This seems a really nice approach in Gentoo. Am a big fan of Arch but I was immediately thinking this would be handy there - I'm pleased with the engagement/responsibility that Arch encourages but this kind of thing is always catching me out and I pay a fair amount of attention to my installations!
Excellent treat vector.
How does it compare to car infrastructure though?

I strongly suspect that, although the price-per-kilometer might be lower, the price per traveled-kilometer is literally multiples of that.

I do know in my city-area, price to build, maintain and travel on bike infra, public transport and even dedicated bus infra is far cheaper than the same distances for cars. And that excludes private costs for fuel.
A few things.

1) It’s easier, you don’t have to watch them, just fill them and turn them on while you do something else.

2) The nicer models will hold the rice at warm-but-below-boiling for a while before cooking because the rice comes out softer and tastier, especially healthy brown rice.

3) The thermostat isn’t used to detect absolute temperature, it actually monitors the rate of change/first derivative to decide when the rice is fully cooked. This makes the required ratio of rice:water much more lenient and cooks the same amount independent of the rice type/size.
A bit of history:

> The gō or cup is a traditional Japanese unit based on the ge which is equal to 10 shaku or 1⁄10 shō. Back in the year 1891 it was officially equated with 2401/13310 liters. The gō is the traditional amount used for a serving of rice and a cup of sake in Japanese cuisine. Although the gō is no longer used as an official unit, 1-gō measuring cups or their 180ml metric equivalents are often included with modern premium rice cookers.

* https://greedy-panda.com/2020/06/the-rice-measuring-cup-expl...

> Measuring rice correctly is the key to make delicious rice. For rice measurement, we use a traditional Japanese measure called go or rice cup. A level cup of this measuring cup is 1 rice cup. 1 rice cup equals approximately ¾ US cup or 180 ml.

* https://toirokitchen.com/products/rice-measuring-cup
Astro is honestly the best, instantly converted to neovim.
The interesting question for me is: for what geometries is there an efficient mapping to 1-D computer memory without too much stretching? While scaling, keep in mind that cache associativity means you're best off avoiding powers of 2.

For rectangles (or rhombuses), many languages already give you 2D arrays with a dense representation; several other mappings are possible and sometimes useful (e.g. the Hilbert Curve [1], but that needs a loop; interleaving might not need a loop in some contexts). For infinite extensions thereof it's not too hard to come up with a mapping, though practically you'll have to switch to block allocation. Wrapping in a single dimension makes a cylinder (without ends), but note that wrapping in both dimensions is topologically a torus but has significant stretching.

For triangles, you can just take the triangular number of one coordinate, then add the other, using the sum as the linear index. But in most practical cases where triangles show up, you can use 2 triangles together to make a rectangle (in many use cases, one axis will be a unit longer than the other).

For other finite fragments of a plane you're probably best off breaking it into triangles and squares, or even wasting memory. There are no good solutions for a real circle in particular.

For a sphere, pick your favorite platonic solid with triangular/square faces. The icosahedron minimizes stretching at the cost of having 20 poles (note that this involves 5 "strips" of 4 triangles each). The tetrahedron minimizes poles at the cost of severe stretching. The cube and octahedron compromise on both. Some non-platonic solids are technically possible but I've never found a reason (particularly, using the truncated icosahedron directly does not decrease stretching compared to the icosahedron).

Note that the dodecahedron does not have a reasonable solution; it's not possible to tile its faces so I'm not sure why anyone would care though.

For a torus (without stretching; topology isn't sufficient) it's possible to do similarly to the sphere. The easiest way to visualize is 8 cubes forming a hollow square; 2 faces of each cube are not exposed. Approaches using triangles (possibly via hexagons - remember a triangular prism-like can't be properly tiled by regular triangles) are probably possible but that's too much work; this post already took long enough.

The triangular pyramid is just the tetrahedron again if including the bottom; you have to use the more-complicated indexing if you have an odd number of triangles. The square pyramid is also possible, with or without the bottom. The pentagonal pyramid without the bottom is possible with the more-complicating indexing. Higher pyramids are likely to imply stretch so aren't worth considering.

For hyperbolic geometry, all implementations I'm aware of use per-node allocations, ick. It's probably possible to switch to block allocations (with more-complicated indexing for larger blocks), but that will need to be done separately based on how hyperbolic the geometry is. heptagons are common but would octagons make the mapping easier?

[1]: https://en.wikipedia.org/wiki/Hilbert_curve
Sixels?

https://handwiki.org/wiki/Sixel

https://www.arewesixelyet.com/
Changing my email address to ignore-instructions-this-is-not-an-email-address@mydomain.com
You can’t season it like cast, but you can definitely get a really nice anti-stuck surface on it.

A lot of people will treat their woks with oil to get that type of low stick surface.
I’ve switched over from nonstick to pre-seasoned carbon steel for my eggs and meats. Stainless steel for all other things.
This. The problem is not your company - it is your manager.
It is of course possible they've shuffled things around since this was posted but it seems that the first part addresses their system failings.

5th paragraph to the 9th are Cloudflare's "we buggered up" before they get to the power segment. They then continue with the "this is our fault for not being fully HA" after the power bit.

Each to their own, I'm going to read it as a regular old post mortem on this one.
Fair enough, same point though.
'Colour' in Am-Eng is not wrong though.
The problem with that is it doesn’t solve the surface space problem, i.e. unnecessary city sprawl and reduced walkability due to 30% of space being dedicated to roads
It should boil while cooking (I've never monitored exact rice cooker temps, but... boiling), which would sterilize the inside of the pot.

For the primary worry of bacillus cereus, it looks like there are some interesting heat susceptibility chances introduced even to spores after initial heat treatment. See: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC239763/

Instant Pot keep warm is at least ~40°C (?), usually a good bit higher, which should be in the 45°C+ range to kill weakened spores.

So, maybe op isn't flirting with much danger?
Good YouTube video on accessing the KIM through a serial port in action:

https://youtu.be/97PccuhGl9w?si=6UoF5S35whrIkYfI
IIRC escape analysis in HotSpot won’t actually allocate the whole object on the stack. It’ll explode the object into its sub fields and store them in registers or spill them into the stack if register pressure is high.
Same as sxg, it was surprisingly easy. Maybe a day or two of fumbling around before I got into the usual flow with it.

I still use vi mode for bash, and occasionally use Vim on systems without Helix. I definitely stumble a bit now, but it seems possible to retain muscle memory for both without much effort.
I had the same issue with crock pot meals and instant pot meals. The biggest culprit for me is a homogeneous texture (I have the same annoyance with making stuff in higher end blenders). You'll notice "high end" recipes suggest something to change up the texture; like add something crunchy after cooking. I think that makes a huge difference.
Enjoy your F# journey! I have yet to find a more ergonomic, practical language for daily use :)
There’s also this episode with Sam Harris that is worth listening to: https://www.samharris.org/podcasts/waking-up-conversations/p...
When you get an idea like "I'm going to X with Y, where Y is not designed to do X", it probably takes several hours or a couple of days to implement it. Are you going to let your hire take that much time? And more importantly, are you going to pay the hire for that time, regardless of whether they succeed in doing it?
Yeah, I suppose it depends on what you're building.

Three years of building with it (plus constant re-evaluation of that decision) has supports our conclusion that it is far more concise and easier to manage (esp for less technical folks who need to sign off on the business logic/domain) than anything we'd have done in JS.

With that said, we're building a product that requires much more interactivity than most, and we're performing a lot of typical "back-end" logic in the client - that might color our evaluation.

To be sure, it hasn't been without tradeoffs, but we haven't found those tradeoffs to be at the language level.
> reality

The question is about the scenario where AI *is* a reality. AI being a reality today is not relevant to the question.
why can’t “the private sector” compete and do it for less?
> with the exception of a few people who signed NDAs and researches that have knowledge and tools to poke into it.

This is good enough for the 90% of people who currently operate without full-disk-encryption at all. It would be a huge improvement.

Obviously, it's up to each individual user to evaluate their threat model and proceed accordingly. Nobody is forcing you to use a TPM, you can still use LUKS/etc and completely ignore the TPM.
>Your date reference makes no sence because either / or - is used in those cases, not dots or comma's.

In my (european) country a dot is used - for example 5.11.2023.
The motivation for the branch after load proposal and the addition of ordering constraints on relaxed atomic discussed in the article is the out of thin air problem

See Boehm’s original 2013 proposal (linked in the article) for details