skysight-inc/HackerNews huggingface dataset:
I like these ideas, and practice many of them regularly. Unfortunately one gets the feeling that they're swimming upstream a bit of the time.

For instance: data classes instead of tuples or dicts. Great, love it.

Now add immutability (frozen=true isn't enough so you're probably going to need pyrsistent) and serialization (dataclasses_json works reasonably well for this), and precommit hooks with pyright or mypy... And you've got yourself a reasonable system for leaning on the type checker.

Except you've been at it all day and you still haven't gotten any "work" done, and you've got all of these weird constructions that aren't complex themselves but they'll make a newcomer to your project go "huh?"

Sometimes it's a necessary evil. My users write python, so I need to write python to ensure that their experience is nice and ergonomic. But if I try to write python like it's rust (which I usually do) I end up with quite a pile of things that add toolchain complexity without addressing any business problems.

Don't get me wrong, I still do it, but I've never managed to make it look like a good enough idea to get other people to join me, which is maybe the universe trying to tell me I should stop.
I get that angle but I also see orgs capturing too much data. What's the use case for it? Not sure but if we ever do need it we'll have it is the typical answer.
How is it faster? And why does it signify quality and affordability?
That's a very odd way to transliterate, especially considering the shch in Khrushchev is the latinization of the letter щ
Hmm, possibly but I am thinking there are some certification requirements e.g. and you have to be able to use some API whether that is hypermedia or otherwise, which again credit card companies must agree to let you use.

You could maybe bypass them with a third party API, I'd have to do my research to see what the gotchas might be though.
I would have just kept Java and updated the language version and style.

Everything Java 11+, modern libraries (no Spring, no Hibernate).

The Java ecosystem is so deep that you can avoid the top 2 libraries/frameworks in any major domain and #3-#5 would be highlights in other ecosystems.
I think the problem is always the same: there is a difference between verfying a library and verifying its authorship. PGP is made strictly to verify authors not artifacts.

If I have people I trust, I want to check whether they trust the library I'm about to download. In PGP like most web-of-trust solutions, what is checked is that they trust that the name of the author is correct. That does nothing for security. This is the same for sigstore, etc.

Other solutions like crev do the right thing, allowing people to assign trust into library releases, not just author's identities.

In PGP terms, it means I don't want PyPI to have PGP signatures from their author, so I can verify their author via my web-of-trust. I want PyPI to have PGP-signed reviews from people I trust, so I can trust the reviews.
More soft propaganda for the gullible heart.
A bird in the hand is worth two in the bush. A dollar in your hand now can be invested giving you enough money in the future to find personal meaning.
I'd like to atleast see it run at 85 celsius for a day and then results reported and a visual check.

You could even leave the heatsink off to see it's dried.
I just wish he didn’t partake in pedophilia apologia
Starbucks is like that now. They removed all the tables and chairs from some locations, for homeless-proofing. Didn't lower the prices, though.
I'm not sure. I have my "play" AWS account, for Alexa apps, connected to my Amazon account but I don't really have a single credit card on my Amazon account, it always asks which one to use, so I don't think so.
Yeah most places aren't that strict, it's usually laptops that are banned and wifi isn't available. A quick search brought up a few:

https://www.npr.org/sections/alltechconsidered/2014/04/10/30...

https://www.theguardian.com/society/2018/feb/12/no-laptops-a...
> Right. I think we're in this world that I like to call guard-rail programming.

He picked the metaphor. He could have picked trains instead. "Who drives a train around on rails? Do they guide you places? Yes."
"Let's do it again, but for phones this time" was fun for a minute but even that seems to have stalled now.
Checklist for Plain Language on the Web
This is... not news.

The flip side is that the cheap/unbranded stuff is almost always not locked down and easily rootable, so you can clean them out.

If we use the "does not act in the interests of the user" to define "malware", then many laptops also come with malware preinstalled. The last few that I set up, I did not even attempt to boot what was on the drive. It just got wiped and I started from a clean install.

People in the market for an Android phone should steer toward known brands like Samsung, Asus, or OnePlus, which generally have much more reliable quality assurance controls on their inventory.

I agree with the other comment here that this feels like a FUD attempt by the big brands due to the smaller competitors eroding their hegemony.
It sounds like incremental mode is the default now? I've noticed that it runs much faster after the initial run, with no special configuration

But that link also mentions daemon mode [1], which supposedly "can be 10 or more times faster", so that could be something to try. Running as a persistent server with an in-memory cache is probably part of why LSP-based type checkers like Pyright can perform better than mypy.

[1] https://mypy.readthedocs.io/en/stable/mypy_daemon.html#mypy-...
I think this is a form of selection bias. Certain other languages wouldn't even allow a project like your point 2. to get started. In Python, the bar for something to start kind of working is quite low, even if you're a beginner, a scientist of another discipline who needs a little script to manage some data, a teen who's learning to code, etc. So of course you see a lot of half-baked stuff. It's important we distinguish between 1. and 2., but 2s might sometimes be better than nothing.
I used it back in the day and other than it being neat to see my CPU and heatsink meld idk if I saw any improvement.

Both were lapped as was the style at the time.

PS5 now uses liquid metal IIRC
Wandering offtopic, perhaps, but I've noticed that this kind of behavior seems to strongly correlate with Scrum.

The work starts getting rushed toward the end of the sprint. Every two weeks, people start furiously cutting corners to meet a completely artificial due date. And then there's basically zero chance that you'll be able to get the PO to agree to cleaning it up in the next sprint, because they can't see the problem.

Scrum of course prescribes all sorts of adornments you can add to try and counteract this effect. But I'm a firm believer that an ounce of prevention is worth a pound of cure.
I do this when I hit the length limit, but I don't submit the post as an article just, "see my reply here". People do click them!
I didn't know about typeguard. Thank you for the recommendation!

How do you do this in Pydantic though?
really? I don't quite believe that. We're a tiny company with maybe 70 customers and db is roughly 11Tb.
There are no real applications written in Drakon. That's because its authors spend most of the time pontificating about how it's superior to all other programming languages.

Drakon editor is probably the most complicated piece of software written in it: https://github.com/stepan-mitkin/drakon.tech
Make and model?
Seems like a good answer. If you want a deeper answer, you should ask a follow up question. Here is my follow up answer to “can you explain it at a deeper level”

> At a deeper level, the temperature parameter in generative AI models like GPT-3 affects the softmax function, which is used to convert the model's output into a probability distribution over the possible words or tokens.

> The softmax function takes the logits, which are the unnormalized output values of the model, and applies the exponential function to each value, normalizing them to produce probabilities. The formula for the softmax function is as follows:

> P(y_i) = exp(logit(y_i)) / sum(exp(logit(y_j)))

> Where:

> P(y_i) is the probability of the i-th token in the output sequence.
logit(y_i) is the logit value (unnormalized score) of the i-th token.
> The sum is taken over all possible tokens.
> The temperature parameter comes into play when computing the exponential function. The temperature value, denoted as T, is applied as an exponent to the logits before performing the softmax. Mathematically, the modified softmax function with temperature is:

> P(y_i) = exp(logit(y_i) / T) / sum(exp(logit(y_j) / T))

> The temperature parameter T controls the steepness of the softmax function. A higher temperature value (e.g., 1.0) increases the exponentiation effect, making the probabilities more spread out and the distribution more uniform. This leads to a higher likelihood of selecting less probable tokens, resulting in more diverse and random output.

> Conversely, a lower temperature value (e.g., 0.5) reduces the exponentiation effect, making the probabilities sharper and more focused. The most probable tokens are emphasized, leading to more deterministic and conservative output.

> By adjusting the temperature, you can manipulate the balance between exploration and exploitation during text generation. Higher temperatures encourage the model to explore more possibilities, while lower temperatures bias it towards exploiting the most likely choices based on the training data.

> It's important to note that the choice of temperature is a design decision, and there is no fixed rule for determining the optimal value. It often requires experimentation and understanding the specific behavior of the model to achieve the desired output characteristics
You're not associating keys with an account; you're associating keys with a maven namespace. I guess you do have to have an account to post a artifact into a staging repository, but at the end of the day, the keys have to match the namespace and to quote Stone Cold Steve Austin: And thats the bottom line.

So for instance, I now control this maven namespace:

com.github.exabrial

When I created my Sonatype account, I signed up and verified my email. I then had to give them a PGP public key and told them I wanted to control that namespace. Since the namespace was un-occupied, they were like sure np.

Now, whenever I publish artifacts into that maven namespace, they must be signed with that PGP key.

As an example, you can see the associated signature files for all of the artifacts for this release in the repository: https://repo1.maven.org/maven2/com/github/exabrial/logback-o...

repo here: https://github.com/exabrial/logback-openwire-appender if you want to look at the build configuration in the pom.xml
I think it is an exercise in creative writing rather than a description of an actual business. Lots of business models work better inside our heads.

I can see wanting to rant about cars, they are pretty bad in terms of polluting and killing people (which are objectively pretty bad characteristics, whether or not we’ve looked at the trade offs and decided to get one anyway).
See also: https://sdlang.org/
You might be interested to check out JSONC and JWCC/HuJSON

https://nigeltao.github.io/blog/2021/json-with-commas-commen...
https://github.com/tailscale/hujson
but you can also have an account with them that is run on file cards that you can top up.

Is that file card a thing that the customers carry with them?

Because: Other businesses could begin accepting those same file cards, and the idea will become even more popular and successful and then… oh…
Absolutely. The aggravating thing with Newport is that for a guy advocating "minimalism", he churns out too much needless crap. The irony seems definitely lost on him.

As for avoiding the plague that is the filler books, a robust solution is to pick books that have stood the test of time. Hard to beat that strategy. At least that's how I roll. The onus is us, as the reader, to be ruthless about picking the books that truly deserve our attention.
As an american programmer, I don't think you have it exactly correct (though I think you're getting close).

You're right that correctness isn't what I'm shooting for. Pleasantness is important only when the end user is also the one making the decision to use software (so roughly 0% of b2b sales), additionally pleasantness is only important once you've hit a certain floor on another metric, which is generally what I'm actually shooting for.

Usefulness is that metric. That is to say, the ability to use a piece of software to accomplish a practical task. This is, generally speaking, completely orthogonal to correctness, so long as the program is not so incorrect that it doesn't work at all.

The majority of my day is spent implementing business logic that has been decided by fiat by human beings and cannot be logically deduced. Additionally, it is subject to change by human fiat, and the new decision will be correct by definition, even if there are enough special cases that the truth table for the program may be as long as the actual program itself. This gronky business logic is where >80% of my bugs come from (assuming I'm working in a language that manages memory for me).

Proving things about the system doesn't seem particularly useful in that environment. Unless you can figure out how to prove that the VP of accounting is willing to accept a particular risk, or that a governance panel will sign off on a particular change. Political posturing in meetings and interviewing end users and teams working on parallel systems for undocumented requirements/changes my team wasn't told about offer higher ROI.
I became disabled in 2018. I have accumulated 5 figures in debt already since even while being on Cobra and now Medicare. This is criminal.
But rich people surround themselves with cameras at home and at work?
I suspect, but haven't yet proven, the problem lies in hashing of images for the album artwork, I see new APIs for apple music rely on image hashing, maybe it's a dead end, but I'm sure the knowledgable base of HN may quickly correct me.
I'm locked out of my paypal account right now because they decided to enable 2fa on an ancient phone number I had in there from years ago out of nowhere.

I don't have access to that number anymore and there's no way to change it.
Annoyingly, it also doesn't support BigInt, which would alleviate this problem in JS as well
Updated:

password managers, self-hosted (revision 2)

1password: since version 8, now dead for self-hosting due to "their"-cloud-only-now, not a standalone, and its downside usage of Electron web and its many unverified modules/libraries; remote storage of password only in encrypted form. Key stays offline.

vaultwarden: yet another Electron web app and its usage of many unverified modules/libraries; remote storage of password only in encrypted form. Key stays offline.

KeepassXC, with syncthing: leading contender, best-self-hosted solution that stores password remotely only in encrypted form. but still has iOS unverifiable source code imposed by Apple. Key stays offline. For Keepass usage on iOS/macOS platforms, consider a lifetime (one-fee) StrongBoxSafe app (Keepass-compatible) instead.

NordPass: best zero knowledge remote storage; has apps for Windows, macOS, Linux, Android, and iOS. Self-hosted. When it comes to browser extensions, one would be hard-pressed to find a wider selection. You can install NordPass on Chrome, Firefox, Safari, Opera, Brave, Vivaldi, and Edge. Not an open-source.

LassPass, hacked in 2022; remote storage of raw passwords

pwsafe, still is the safest CLI-only solution to date. The design of pwsafe (Password Safe CLI) got started by Bruce Schnier, the crypto security privacy expert. In pwsafe, unbroken TwoFish algorithm is still being used instead of the currently safer Argon2i, simply because it's faster (after millions of iterations; also AES is not immune to hard-memory FPGA brute-force like Argon2, yet both remain hard-CPU). The recommended client-wise of PasswordSafe is still Netwrix (formerly MATESO of Germany) PasswordSafe with YubiKey.
Only downside for ANY PasswordSafe-design GUI client is trusting yet another app repository and the compilation of "their copy of open source".

For any password manager, stay away from its web-client variants due to ease of memory access to JavaScript variable names (by OS, browser, JS engine, and JS language)
Axie Infinity was a pyramid scheme. The fact that in the end it was "hacked" and the funds "disappeared" is highly suspicious. Occam's razor says that they just exit scammed it.
Because it's enjoyable? A lot of what people do is for enjoyment. Many times someone else can profit from that, but the underlying motivation of the demand is not money.
It would be awesome if smart shelf labels could be used to help customers to search for and locate specific items in a store.

Something ultra wideband based, like air tags, would be great.
Yes. I have posted both a very nice link and a complete explanation from chat gpt 3.5 itself. It’s honestly not that complicated, especially for someone who is supposed to have any sort of authoritative view in the field.

I do not feel it is appropriate for you to say you have looked it up if you don’t know what it is besides an API input that affects randomness.
I understand and empathize. At the same time, we had to draw the line somewhere clear and simple. Maybe when No Screens Cafe goes out of business (as other commenters are predicting), we will open "No Screens Except E-Book Readers (And No, Your Phone is Not an E-Book Reader) Cafe".
Western Pop and Rock Music in China
I have a wish I think is superior to trailing commas: Optional commas, like semicolons are optional in JS. Human-readable objects and arrays, like JS instructions, are nearly always already newline-separated.
I use LibreOffice bacause you know what Microsoft.
Unlikely, but there are other ways to control who gets to align AIs. Requiring licenses to construct or train models would be one of them. Patents are another.
That genuinely surprises me, as the sorts or errors made or at least non-idiomatic English used by non-native speakers are not something you typically see from LLM output. Though I don't doubt you could get them to generate text "as though" it were written by a non-native speaker.
In terms of growing scope, isn't the general case usually something along the lines of:

TOML > YAML > JSON > SQLite

I'm lazy, so I wish I could just manage them all in Sublime Text.
You can all have your own headset and watch the same content. But I’m sure you understand how that doesn’t replace the TV experience where you watch content with your family or friends, together, in the same space.
>Can you please point out where the post judges people for using screens?

yes, right here:

> . . You can listen to your inner voice, your fellow patrons, and the birds outside. Maybe you’ll have some new ideas.

and don't tell me that's not judging, this is a no judgement space, just remain silent and reflect on what I'm pointing out, and maybe you'll have some new ideas.

(just wanted to make sure you can hear the air of superiority that the cafe has)
What kind of tax does a town owner need to pay? Property taxes? To whom would they owe the tax?
Argocd is pretty nice
In general, beware of unexpected ".exe" files especially if they are a gateway to something you want (a contract, a payment, etc.)

No normal business operates like this, and if they do, you don't want to work for them.
The Novellas are amazing! So, I definitely recommend them. I loved The Churn personally, because I really enjoyed finding out more about Amos.

I'd recommend reading all the books anyway. They flow quit differently to the show, even if they are a faithful adaptation. So, I think you'll enjoy the experience even if you think you know what's coming.
For a single-purpose device running custom software you wrote, I would consider Linux which is not an Android. Couple years ago, I wanted something similar on a smartphone, and postmarketOS https://postmarketos.org/ worked rather well for me. The OS is based on Alpine Linux.
My TVs are Sony for the same reason. The Android/Google TV install is very minimal, won't nag you about not being connected to the internet, and can be updated via a thumb drive. It's perfectly happy to be used as a dumb TV.

I've never bought one personally, but have read that Sony Xperia phones also come with a pretty vanilla version of Android. If I were in the market for an Android flagship, they'd be in the running. They're pricier but I don't mind that if it gets me an OS with as little manufacturer meddling as possible.
I have no clue what is going on here or how to access anything.
SQLite itself doesn’t support concurrent users.
This is an odd thing to say about a technology primarily known for its ability confidently and convincingly make up truthy nonsense on command.

There are plenty of reasons to be worried about AI even if one recognizes its benefits, and using what amounts to a bullshit-generating gaslighting engine to educate people is definitely one.
The business of a cafe is all about identity. The food and drink and service? Once a certain bar of "good enough" is taken any further difference beyond won't make a decisive difference and that good enough bar isn't all that high (I wouldn't be able to run a cafe but plenty of people are). The rest is all in some way about identity. (Hopefully, and edit:) not in terms of who your ancestors were, but in terms of what cafes you like. From slick, perfectly interchangeable interior design showrooms to that hamster cafe in Fleabag, it's all about trying to make a certain slice of the audience feel that "yeah, I totally see myself going to a place like that" connection. If it works, that is if that audience not only exists in sufficient numbers but is also underserved, they did the right thing.

Note that they aren't suggesting that people set cars on fire or anything like that, just that people who aren't physically addicted to cars might feel more are home than others.
Not sure if this is a real thing or a provocation piece but the concept would be much more interesting to me if it was a "no connectivity cafe", perhaps implemented with some sort of Faraday cage setup. My primary creative output is written fiction, and short of writing longhand (no thanks) or toting around some kind of vintage typewriter, which I would consider a waste of money and generally an insufferable affectation, it looks like this isn't a place for me to go and spend money and be creative. Sorry!
Jeffrey Epstein reportedly threatened Bill Gates
In the context of microwave systems, the most relevant information is coming from the waveform function, not the substrate. The densely distributed particles are making small movements in response to its neighboring particle’s ‘tensors’. I think a lot of people think of the laser concept of photons shooting through space, but with masers the waveform and it’s amplification are what make it meaningful.
Ask HN: How Do You Deal with Many Browser Tabs?
Looking for some suggestions.
Yes. It was already just Russian Federation at this point.
Luftschloss?

<https://en.wiktionary.org/wiki/Luftschloss>
... or leaving you at GitHub (or GitLab, or SourceHut). You can pip install a git repo directly, and specify tag, or a hosted release tarball. If only the ~ 10k most used python packages were available from pypi, and the more niche ones had to be more directly referenced from their own repos or websites, I'd be fine with that. I'm accustomed to that for C libraries, distros provide the most common/core few thousand of them, the rest you can get yourself, it's doable. Minimize your dependencies, its better engineering anyway.
>> hopefully made the point.

Yes you did.

This was unnecessary pedantry.
Demo doesn't work on FF in Windows 10, not clear that it's meant to run anywhere other than on Chrome or Safari.

So I'm not really sure the author's thesis has been validated, as interesting and useful as the concept appears to be.
PEP 658 – Serve Distribution Metadata in the Simple Repository API