skysight-inc/HackerNews huggingface dataset:
The port/protocol originates in Netherlands and is getting widely implemented across the EU. It is really nice that the port provides power (esp. in recent versions) for an ESP, so you don't need to worry about bringing power to where your meter is (which may be outdoors.)
Imagine a smartphone lasting even 12 years
Its a marketplace with strict rate fixing. This is ironic since the libertarians who start these companies are hysterical reactionaries any time the government tries to do the same thing to make prices more fair for the public.

Central planning would be if a committee decided how many rides there would be each year, regardless of demand.
If want to get into ortholinear boards, but also want a keyboard with lots of keys, I recommend the Xbows boards. I got an Xbows lite off Ebay for $60, and it's my current fave.
The author focuses on the state machine and parallel aspect of PBT, but there are other aspects that might have larger effect.

One of these is coverage guided PBT, check eg. Dan Luu's article: https://danluu.com/testing/

Another one, which I'm biased towards, is making shrinking automatic while keeping all the invariants you created while generating the values. I have a talk on this but the TL;DR is that

- derived QuickCheck-like shrinker functions that work on values (shrink : a -> [a]) have issues with the constraints, making people turn off shrinking instead of dealing with the issues

- rose tree "integrated shrinking" (eg. Hedgehog) follows the constraints of the generators, but has issues with monadic bind (using results of generators to dispatch to another generator)

- the only approach that seems to magically "just work" is Hypothesis' "internal shrinking", which uses a layer of indirection to shrink lists of random choices instead of the values themselves. The disadvantage is that the generators are now parsers from the lists of bytes that can fail (introducing some inefficiency) and user can make a crazy generator that the internal shrinker will not be able to shrink perfectly. Nevertheless, it's the best DX of the three approaches, and given it's a small miracle people are testing at all, feels to me like the approach most worth building on as a testing library author.
Noteworthy: this was our first release that used our new Release Candidate (RC) process and automation to facilitate collaboration on the release blog post. Both of which were a great success! The quality bar of the release has been raised significantly: expect fewer bugs and faster 3rd party plugin updates!
Ticket To The Fair (1993) [0] -- a superb read, indeed.

0: https://harpers.org/wp-content/uploads/HarpersMagazine-1994-...
I don't think op was referring in any way to pangermanism.
If you want a real surreal experience, I suggest visiting Carlsbad Caverns, or a similar enormous cave system. I suspect the awe the author felt was the same sensation as being in an enclosure larger than any building. Think about being in an aircraft hanger then multiple the size by ten. There simply aren't any human-built structures as large. The sky becomes rock and it's just different than any place you've ever been.
I have seen this not work most of the time.

Source: am a lawyer.

Extreme privacy is extremely expensive and permanently lifestyle-altering.

Take your strategic and tactical cues from Cold War-era spycraft and from current-day hyperparanoid internet security practices.
For most web apps I like magic link over email with cookie sessions that expire after 30 days. JWT for apis authorised by email magic links. No passwords to be hacked. No third party dependencies.
I hope you don't think I made that website. I'm not sure why you would reply to me with a bug report.
> I don't know why there is so much pushback against it

Not from me. As you can tell I have actually tried it out. Most of what I make is web apps.
> I've gone from professional transcriptions to Descript and then a pass of GPT4 trying to find the right punctation breaks and then me doing a quick read through. I don't think its coming out as high quality as I'd like.

I tried reading the transcript and couldn’t reach the end, it’s a bit hard to read in my opinion. I assumed it was machine generated while reading it, but I can’t say why specifically. Maybe it needs a bit of editing to be easier to read.

Thanks for the effort anyway, it’s still better than no transcript :)
the fast chill button is a thing. it's in both my 8yr old GE and my newer samsung..I never use it though but it's made for putting still warm leftovers in and getting them cold fast
I'd like to see generative AI try to reconstruct the full image
Depends on the application. I tend to have a single binary, you just need a language runtime and/or database, rarely some other software. You can script installation of this. I don't see how the containers add a value when you can do the same directly.

The last time I've tried Docker to run some application it tried to overtake my testing VM and it failed miserably. Apparently it is not compatible with chroot and it doesn't check for it so it fails somewhere in the middle with various processes and stuff left behind. Doesn't give me a good impression of such software, it lacks both an awareness of a standard feature and an inability to handle failed states gracefully.
Why Can't We Build Like It's the 1970s? (2022)
Too bad TALOS II is a $5K motherboard. It actually is open down to the brass firmware tacks!
Advantages of incompetent management
Social Compression and Self-Expression
This sounds pretty cool. I just went through the docs but I can’t tell physically how you install the CTs. Our mains come into the house underground and into the electrical panel and of course the wiring is all in the walls. Are you supposed to open up the walls and attach the CTs to the wiring in the walls? How would this even work for Romex that runs along framing?
Many great products have terrible software behind them.

Please give some examples of great products created by software developers that have terrible software behind them.
Thanks to the whole Bevy team for their hard work on this release!
Which if you go that angle the capex on a heat pump heater regardless if hybrid or pure electric is going to negate any savings, those are typically 2-3x of a higher quality brand traditional water heater.

Which full circle going back to the original discussion of turning off the heater. You probably end up close to no/low savings. I can see an argument of a smart heater being able to slightly adjust load at peak times but I engineering a heater to turn off when you are sleeping and then heating back up before use is probably going to not have much savings. Those heaters are increasingly made to edge out at maintaining the heat and take quite a few hours to heat up.
hesitant to wifi connect my fridge too but my elec provider offers a decent discount for setting it up.
I agree totally, it wasn't my intention to say that there aren't protocols which require non-trivial state machines to implement their behavior.

To be more clear, I'm contesting that the only thing being discussed in the article is this convenience around writing state machines. I think whether or not you have to write non-trivial state machines by hand or have them generated by some convenient syntax is orthogonal to the bigger insight of what Sans-IO is going after.

I think the most important part here is that you write these state machines such that they perform no impure calculation on their own. In other words, you write state machines that must be driven by an event loop which is responsible for interpreting commands from those state machines and that all IO (and more generally, all impure calculation) is performed exclusively by that event loop.

It's much more possible to compose machines like this because they don't make as many assumptions on the runtime. It's not that they're reading from a blocking or non-blocking socket. It's that they process some chunk of bytes and _possibly_ want to send some chunk of bytes back. The event loop, constructed by the user of the state machine, is responsible for deciding how to read/write those bytes.
If you have no computers, getting to kHz is a huge advantage. Eniac ran at 100kHz (I think) and it was revolutionary.
> Any guesses about who gets to go back and enjoy a pristine Earth?

The guy who makes electric cars or the one that runs an online catalogue?
The argument made there isn't about "things like this".

To save everyone a click, here's a summary of that argument: you might want Google Maps to let you ask for the "nicest" rather than the "quickest" route; that would systematically tend to send you through the fancier higher-income parts of town, and in the case of walking directions the effect (which would happen across the entire world) would be to shift foot traffic, and hence e.g. custom for shops, from poorer parts of town to richer parts of town, and that would be bad.

Now, for the avoidance of doubt, I think this is a silly argument for many reasons; here are a few of them. For walking directions through commercial parts of a city, practically everyone is going to choose "quickest" rather than "nicest" and they probably aren't going to stop in the shops along the way; for driving directions, moving traffic from poorer to richer parts is probably a net social-justice improvement; most people asking for "nicer" routes are probably more interested in e.g. avoiding major roads outside cities.

(I do think it's reasonable to ask: what would be the consequences for the world if we offered this feature? and sometimes to conclude that it would make things worse. But I can't say I find it very easy to believe that companies like Google do in fact generally make their decisions on this basis, given what most of those decisions look like.)

But, bad argument or not, and genuinely representative of how Google makes decisions or not, it isn't an argument for not letting people make more specific choices like "avoid this particular road" or "prefer this road when possible", nor for not showing cycle routes and hiking trails, nor for letting you keep the screen on without showing directions. It doesn't have anything to do with any of the things the grandparent comment was complaining that Google Maps doesn't let you do.

I guess it's possible that Kasey in fact argues against all forms of user customization in Google Maps on the grounds that users might customize Maps in ways that are socially harmful. It's even possible that she does so and it makes a difference. But there's nothing in her tweets linked above to suggest that she does, and it doesn't seem plausible to me that considerations like hers have much to do with a broad lack of customizability in Google Maps.
It’s not that surprising to me. For academic publications, it’s generally only the publisher who makes a significant profit — and even then it’s probably negligible in most cases.

I’ve even been personally sent PDFs of books by the author under the condition that I don’t tell anyone.
My house moved to smart meters over a year ago. Still get the one total usage amount per month. Even if I log in online there is no way to see what I use even per day.

I do think we need to have a price that changes during the day but I suspect most people wont tolerate it and the politicians wont allow it.
excalidraw <3
Yeah, part of my point is that every living thing does this. It is a sort of dissonance to accept evolution and to also think you are somehow outside of it.
Ask HN: Elixir or Rust for back end in 2024 or something else?
Looking for a solid solution for a back end for a game and mobile app server. We can't roll the usual Epic/Xbox PaaS as we need to a little more flexibility.

Are Rust or Elixir still the got to's for dependability or should Go get a look in. Bonus points for good web tooling outside of an API back end.
Exactly. Plus the external recruiter is dependent on the hiring performance. At the end of the day, the external recruiter does not have luxury to hire a bad candidate like a internal talent manager, since that can kill contract and possible future recommendations to other clients.
I use it to power CI builds (a lot of them!) and have extremely little issue with it.

Basically I’m just using the API to spin up machines, which do some work and shut down. There’s some extra machines per build job, like database containers or a headless browser for testing. Pretty smooth in my experience.

I think the only occasional issue I hit is the internal DNS being a few seconds behind reality.
I hope this ruling does enough to cast recent decisions of the Supreme Court into doubt, such as the end of Chevron deference. It should have become clear to anyone sufficiently observant that it no longer serves the interests of the people nor their country, but rather those of a single political party.

Until the system can be reformed to deter and slow such radical acts, there would be no hope of stability of the United States.
Lua is not perfect either. Having a specific keyword to make variables local was a mistake. Variables should be local by default. Oh, and 1-indexed arrays are annoying.
Also check https://roadmap.sh/ for, well, (developer) roadmaps.
The concept of extended file attributes has been introduced by HPFS, in OS/2, in 1989.

From HPFS it was taken by SGI XFS (the ancestor of Linux XFS) and MS NTFS, both in 1993.

From there it has spread to various other file systems and specifications.

The concept of resource forks is earlier, but both are examples of using alternate data streams in a file.
Microsoft updates the Linux kernel in WSL after two and a half years
I know the latest UI update/plan is not released yet, but do you feel like you’ve discovered the way forward in that area? Or are there still lots of unknowns?
I do lack familiarity with the European environment, but between geothermal, wind, hydro and natural gas backup, is it really feasible as it is in places where solar gives 0.01 USD kWh prices?
Your fridge doesn't need to know energy prices. Fridges are for cooling, not computing your bills, and giving them access to too much data only encourages the usual IoT vendor abuse patterns. It should be enough for it to get a proxy signal. "Cheap tariff" / "expensive tariff". Or maybe continuous 0-1 control signal. Optimizing energy use for household or building already requires an external decision-making center anyway.
Thanks for the pointer hosh, as a psychonaut, vajrayana practitioner reading books from for example bernardo kastrup, zoe7's void books, robert anton wilson, dean radin and robert bruce I can relate.
I've had various interesting experiences and entertained a variety of 'reality tunnels' and am for sure in favor of 're-enchantment'. Still the comment didn't compute for me, I understand and respect your reluctance!
With antisemitism on the rise, on one hand, and Israel nearly eradicating a population of 2 million people, on the other hand, I would say this remains a massive cause for concern even if people do not interpret statistics as you would prefer.
Even non-tech people had big doubts about Glaze or similar (like nightshade) before the paper and this article were published, I think now only in total denial would you believe the claims of the Glaze team.
if more time makes your work more professional, then take more time. Anyone telling you otherwise is a 100% hack.

It sounds like you're a fan of Total Quality Control, as am I. However, it also sounds like you're susceptible to feature drift and undermining yourself with ideas thought up late in the development cycle, as am I.

I've seen it from both sides. Software people who want to get just one more feature in, or who want to hold up release to fix an inconsequential bug. Similarly, the CEO who ruminates all weekend and decides we have to revamp something for no objective reason and on a ridiculous deadline.
> there is nothing useful about an algorithm that can decide whether one specific Turing machine halts.

Yes there is. If someone gives me a working algorithm (this means one algorithm, not two algorithms either of which may work or not as you've been doing) which can provably decide whether the machine encoding the Goldbach conjecture halts or not, that is a very useful algorithm.

I must insist that giving two algorithms and saying "one of them works" without telling me which one works is is not a valid answer, since that is strictly different from giving a working algorithm which I can run in finite time in order to find out one correct answer.

You said this yourself earlier:

> The Turing machine that encodes the Goldbach conjecture proves the conjecture if it halts, and disproves the conjecture if it doesn't halt. That is an interesting and meaningful property of such a Turing machine.
yeah, it's basically impossible to compare regions right now

they need a table that's a human readable name and an average/range for the cost modifier as compared to the baseline
It sounds like you are writing about Gui Minhai (https://en.wikipedia.org/wiki/Gui_Minhai).
Right, I did the same a while back. Aegis for Android and 2FAS for iOS. Never looked back.

Also, if anyone is going either direction, Android <-> iOS, both of these open source options allow easy export.
Any information you can provide on the automation for the release posting? This seems to be the hardest part for me.
Effectively a dupe - this just got attention 3 months ago (https://news.ycombinator.com/item?id=39672947, https://news.ycombinator.com/item?id=39677009) and 8 months ago (https://news.ycombinator.com/item?id=38144417).

Once a year has been suggested as the typical maximum frequency: https://news.ycombinator.com/item?id=9775868 . Consider reposting in 2025.

Also, coordinating comments and upvotes won’t do you any favors. It’s an easy way to get all submissions banned.
In Finland people have started since 2022 adapting their electricity use to shift their peak demand. But we started installing smart meters almost 20 years ago. I think the key reason to install them was less about consumer demand response, and more about saving physical visits to read the meters.

It takes some time to adapt (and also some quite extreme price fluctuation to motivate). Also good tools to automate demand response based on market prices were needed. Heat-pumps and EV chargers can now be configured to run on the cheapest hours etc.
No need to apologize. We did use Authy for a long time but allowed more general TOTP solutions from 2017 and have really pushed hard for people to use hardware keys.
Note that mechanical computers aren't the only alternative to electric computers, biological computing is another area of active research:

https://en.wikipedia.org/wiki/Biological_computing

Speed and cooling might be less of an issue considering the scale which biological processes operate.

Although biological computing sounds a lot like just doing everything by hand:

https://xkcd.com/2173/
Holy shit. Thanks for that link.
Maybe not cut in stone, but if the data are derived from the workers’ payout receipts, it would seem likely that this was the amount that was paid out by Shipt. Or do you mean that third parties might be skimming something off after the company pays out?
> For Mac OS X we decided to rewrite the Finder from scratch.

I would think that the file manager for an entirely separate operating system being written from scratch would be a foregone conclusion.
> I'm not entirely convinced about the human-like figures, though. Does anyone have more background knowledge on how one can jump to that conclusion?

I think they're basing it off another painting in South Sulawesi where the human forms are a little clearer [1]. It might be some kind of "protostyle" where they draw the animal much bigger than the humans hunting them.

[1] https://ichef.bbci.co.uk/news/1024/branded_news/2473/product...
1. Flash heating plastic yields Hydrogen and Graphene; "Synthesis of Clean Hydrogen Gas from Waste Plastic at Zero Net Cost" (2023) https://onlinelibrary.wiley.com/doi/10.1002/adma.202306763 https://news.ycombinator.com/item?id=37886982

2. This produces microwave (and THz) with Copper as the dielectric; though I don't think they were trying to make a microwave oven; "Pulsed THz radiation under ultrafast optical discharge of vacuum photodiode" https://news.ycombinator.com/item?id=40858955

3. Metasurface arrays could probably also waste less energy on microwaving clothing and textiles in order to recycle.

4. Are SPPs distinct from Cherenkov radiation, and photon-electron-phonon vorticity?

From "Electrons turn piece of wire into laser-like light source"
https://news.ycombinator.com/item?id=33493885 :

Surface plasmon polaritons : https://en.wikipedia.org/wiki/Surface_plasmon_polaritons :

> [...] SPPs enable subwavelength optics in microscopy and photolithography beyond the diffraction limit. SPPs also enable the first steady-state micro-mechanical measurement of a fundamental property of light itself: the momentum of a photon in a dielectric medium. Other applications are photonic data storage, light generation, and bio-photonics.

But that's IR and visible light EM, not microwave EM.
Go Pack!
OAuth with the major options is the way to go. It's my preferred method of logging in because I don't need another set of credentials. Keycloak can be a great way to manage this for many apps that need OAuth.

Magic links, as you have noticed, are not what people want. I walk away from those sites that use them, just give me oauth
Yep. I've done this. Lots of people I know use "burner" phones without cellular for 2FA.
> Maven Central is a vital resource for the Java community, providing a central repository for artifacts and _dependencies_.

Dependees, please. Even the linked definition shows this is incorrect.
If you would like an answer to that, then I would suggest reading the section titled "Being open to individual differences is not enough", and perhaps the quoted passage in the later section "Tasting the water you swim in".

You're probably less "German" than she thinks you are, and more "German" than you think you are, but that's not incompatible with what she says. Don't mistake the blurb for the content. I agree that the blurb is a bit obnoxious, but then, its function is to appeal to (or piss off) someone enough that they'll pause and consider buying the book (maybe if only to prove how wrong it is).

I have not read the book but I have heard the author speak on the topic, and in my opinion she adequately addresses your complaint. I personally still find her message a bit oversimplified, but isn't that what we're talking about? That's what you have to do in order to get your readers/listeners to understand what you're trying to communicate!

Or do you? As in the original article here, there can be benefit to reading things where the author doesn't try to make it easy. Perhaps they put down the messy truth in disconnected fragments, or they pile up lots of examples that don't quite fit any simple orthogonal dimensions of explanation. Such compendiums incorporate deep insight to anyone willing and able to put in the effort to derive it for themselves. Let the reader figure it out by meditating on them, or rereading them 100 times, or trying them out in practice, or whatever.
The REST API is documented. Maybe not completely so, but mostly.

https://learn.microsoft.com/en-us/rest/api/azure/
A scenario where general-purpose "unlocked" computers become extremely rare and nearly every computing device is a non-user-programmable appliance designed not to function without remote servers and regularly cycled cryptographic keys seems possible, though not inevitable. It would be a very stupid kind of apocalypse to live through if a solar storm didn't destroy many actual computers but did enough damage to brick 99.999% of the computers that survived intact, and left civilization with a crippling bootstrapping problem of capital's own design.