skysight-inc/HackerNews huggingface dataset:
I wasn't aware of this support! That would certainly be a more natural choice if you were already familiar with Flask.

To me the biggest advantage of FastAPI is the excellent integration with type hinting. It permeates the entire framework and makes things really productive.

When I saw how you could use Pydantic models to define the schema of your request and response body, and then have that autogenerated into documentation - there was no going back. https://fastapi.tiangolo.com/tutorial/body/

But I would like to stress that, though it has displaced Flask in my workflow, I think of FastAPI as a spiritual successor to Flask, and would never say an ill word about Flask.
Try that with a romantic partner. Not attractive.

In a leadership role, being exasperated by half the team? Not motivating.

Also, the premise is that you are ahead of the bunch. It's also feasible that you are below the local average, and have no experience dealing with that situation. Takes guts to persist in that situation, but that's where you learn a lot.
I'm glad to see that this language has a garbage collector, in a time when "lightweight" languages increasingly forego GC and memory safety. Even in the Harvard architecture of WebAssembly which mitigates many of the security problems that lack of memory safety causes, memory safety is the right choice.
Corporate computers frequently make screen shots or screen recordings of employee interactions.

The benefit of being wide open is that no coordination is needed between desktop environment and developer leading to a wide open field of tools that work on every environment without exception, difference in feature set, no need to check if version foo works on version bar of $DESKTOP.

You could of course get virtually the same benefits plus improved security at the cost of some complexity by standardizing the feature in common usage for nearly 30 years towards the beginning of the development cycle of Wayland instead of 13 years in.

You point out the need for security and completely ignore the fact that such security could trivially have been obtained without reducing users to obtaining a pile of tools only from their desktop environment or waiting 20 years for things to standardize so they can again pick and choose the best tools for the particular task.
https://www.7atc.army.mil/JMTGU/
Their product is still better designed than the ones came out of Google, Amazon and Apple.
>> Mofo tried to steal my number, presumably to use it to scam other people.

> They were not trying to steal your number. They were using your number to back a new google voice account

I interpreted "steal my number" as "sign up using my number".

Perhaps the more accurate wording would be "impersonate me".

Either way, thanks for clarifying.
Go examples https://github.com/tomcam/goexamples

The least you need to know about GitHub pages https://tomcam.github.io/least-github-pages/

Soup to nuts psql tutorial https://tomcam.github.io/postgres/
The textbook example of fractional reserves:

You are a bank. Sally gives you $100, so now you have $100 in cash as assets. Bob comes up to and asks for $80. You agree to give him $80, on the condition that he gives you $90 next week. Now you have $20 in cash and a $90 loan backing your $100 liability to Sally. Because that $20 in cash is less than $100, you have fractional reserves.

Now, the real world is more complicated, because there's different definitions of cash and of liabilities, and even questions like "how much is this thing worth" can be very hard to pin down. But the basic idea of fractional reserves is that banks do not hold all of their reserves in cash.

And yes, the cryptocurrency industry does cater heavily to people who find the existing banking system abhorrent because it practices fractional reserve banking while practicing fractional reserve banking themselves, just far more quietly. (Indeed, a lot of the cryptocurrency industry is basically preying on people who are financially illiterate.)
Problem is majority of times unsolicited updates take away perfectly working features, introduce unwanted new ones, or bring in bloat and ads.
Thanks for clarifying, I didn't mean to imply that X-rays were necessary to kill electronics with ESD, just that they could be dangerous to a human, physically, even at low power levels. Killing electronics with ESD indeed does not require vacuum.
That's because the dominance of analysis of named generations for anything besides marketing labels pretty much always ignores everything before the Boomers, and 90% of the time also skips GenX, too, limping everything before Millenials into “Boomers”, and ignores things like Clinton being not only the first Boomer President, but also pretty close to the early boundary of Boomer political dominance.
Capacitors have been massively over-specced for PCs for over a decade now. This was only a potential problem ~<2010 for components like GPUs. Maybe still a problem with really cheap power supplies today, but that's not what we're talking about.
Fecal Microbiota Transplant (FMT)
Please don’t do a whataboutism. This is about America and the wars in Iraq, Afghanistan, and Syria, not Russia.
Most of that sounds right, but the money to pay it back is not a zero-sum game. It can also comes from increased velocity, quantitative easing, the net present value utility function, or by temporarily exchanging it for other asset classes (eg building real estate is a form of increase to the money supply), and probably other sources too
If protected memory was implemented somehow per desktop environment and relegated me to choosing between Gnome and KDEs respective browsers/office suites instead of installing Firefox and Emacs I would either eschew it and take the risk or give up on Linux entirely and get a Mac.
There are two parts to the answer: the expressivity of the language, and the available tools.

TLA+ is not a programming language, and so cannot "run," but it is more expressive than any programming language could ever be, and can describe any discrete system at any arbitrary level of detail. This is particularly useful when the described system has some or a lot of nondeterminism, as is the case in distributed and concurrent systems. It is very easy in TLA+ to say "one of these things could happen at any time", or "the value of a variable can only grow monotonically over the system's lifetime", and it is easy to describe assertions of arbitrary complexity about a system, such as "every order that's received more than once will eventually be flagged."

As for tooling, while you cannot efficiently "run" TLA+ specifications, you can check your assertions in two ways: either with the proof assistant (although that requires a lot of effort), or with a model checker, that is places more limitations on what it is that you can check but is completely automatic.
This only creates opportunities for other startups to track this history by other means, could be lucrative in some states.
Thanks! Interesting!
optimal running temperatures for gpus during mining is way lower than what most games will pull.

memory has to stay as cool as possible or else the overclock will be unstable.
You do understand that Charles Ponzi’s ability to meet early redemptions is exactly what gave him credibility?
iDrive rocks. But I think something got lost in translation here. From the original press release it sounds like android automotive will be running alongside iDrive and both will be available? I don't see BMW just ditching iDrive, especially when carplay OS is coming too. Ideally we would just be able to choose between carplay OS, Android OS, and iDrive.
Well done, Flask! I always enjoy Flask. I don't like using Flask for a full-blown complex website, but for most of our API work, we use Flask and it's almost perfect fit.
Apple objected too I think.
Remember a Chinese SWE, who jumped off the fourth floor of a fb building:
https://pandaily.com/a-chinese-facebook-engineer-commits-sui...
Honestly that sounds like a pretty bad place to work then. If you wanted to be kept in the dark and paid poorly, you can get that at any big corporation and with far more stability.
AppKid – Swift Framework for X11 (Inspired by AppKit and UIKit)
"the time that many school districts started their high schoolers at was of negative consequence to the children."

That hasn't been proven yet. I guess we'll see with the next year's test scores compared to this year. I don't expect much to change test-wise. I do expect extracurricular partipation will drop.

"Are you saying that you'd have no objections if the local school district chose to start high school at a later time? "

Yes, I would be fine with districts starting later if the district was the one deciding it based on parental representation. At least then we could have a local discussion and do what works best for us.
> average homeschool parent I know is going to be much better for their kids than the average public school teacher

This is a sampling question.

Consider that you may be looking at a bunch of well-educated parents choosing homeschooling over extra income.

I bet they're not choosing to homeschool kids with whom they have a bad relationship, don't understand, can't motivate...

Increasing the sample could produce much different results.

Admittedly salaries for public school teachers are pretty bad. There's no FAANG school with tricky interview questions and starting salaries double of what other schools are paying. I wish there were. Then you might see those 10x teachers choosing "teacher" as their profession.
You equivocated from “sharp” to “expensive” which means you’re the one that’s introducing gatekeeping not who you’re responding to.

Inexpensive knives can be sharp. America’s Test Kitchen recommends a $35 knife as their best chef’s knife.
Very very interesting read, I learned a lot. We recently had a problem where default configured linux system on a 180ms latency connection (east coast to finland) could only push 4mbps stable. Forcing SO_RCVBUF on listening socket of app to be 16MB kind of solved it but it was not perfect.

Question. What is the extra CPU overhead of always checking for collapse once the queue exceeds 6MiB?

Any chance at getting all the patches here upstream?
https://github.com/cloudflare/linux/commits/master
> This is a very "american" definition of freedom, which is basically, just let me do what I want.

Eh. I see what you’re saying about gun control, but the idea that “some restrictions can lead to actually more freedom, while some permissions can actually decrease freedom” is actually very American.

The free software movement says that everyone deserves software freedom. The Declaration of Independence similarly says “We hold these truths to be self-evident, that all men are created equal, that they are endowed by their Creator with certain unalienable Rights, that among these are Life, Liberty and the pursuit of Happiness.” While I haven’t found a source confirming it, I think that the founders believed that the freedom of speech was one of these unalienable rights.

The GPL puts restrictions in place to make sure that downstream projects give users software freedom. The Constitution put restrictions in place to ensure that the federal (and nowadays the entire) government doesn’t interfere with our unalienable rights.

Take a look at how the first amendment is worded:

“Congress shall make no law respecting an establishment of religion, or prohibiting the free exercise thereof; or abridging the freedom of speech, or of the press; or the right of the people peaceably to assemble, and to petition the Government for a redress of grievances.”

The first amendment does not grant the freedom of speech because it doesn’t need to be granted. From the founders’ perspective, god already grants the freedom of speech to everyone forever. The key phrase here is “Congress shall make no law”. The first amendment is restricting Congress to ensure freedom.

The idea that “some permissions can actually decrease freedom” is also present in the Constitution. For example, take a look at Article I sections 8 and 9. The framers of the Constitution could have given Congress the power to pass any law. Instead, they chose to specifically enumerate what Congress can and cannot do.

Perhaps, though, most Americans don’t know much about our founding and think that freedom=just let me do what I want. I don’t know.
>What to do with all that computing power now. I guess AI.

For AI, the lack of memory is pretty limiting.

Having a ton of 8 GB or 10 GB memory GPUs (3070/3080) is annoying and often just not even possible to use effectively without designing specifically to it. If they get really really cheap maybe they'll be some tools or models that are built to leverage scenarios like that, it's not impossible, but for now it's probably just the cheap 3090s (24GB of memory) that will benefit AI.
So, if you want to commit a crime, do it near an abortion clinic so that Google won't have your location data to give to the prosecution?
The tweet seems to have been taken down. Did anyone save a screenshot?
I think the comparison here is imperative (i.e., stateful and sequential) vs. declarative (i.e., stateless), not declarative vs. functional.
> I just started reading the book a couple of days ago. Sigh... :-)

I wasn't even going to click the link, because I thought this was for the old online book. Because of your comment, I see that Learn TLA+ has been updated, and Hillel says of the Practical TLA+ book I bought a couple of weeks ago: "Don't bother."

I haven't gotten that far yet, but I have modeled the wolf, cabbage, and goat problem, and helped the poor waiter in xkcd 287. Eventually I hope to apply it to a distributed database and our crazy Jira deployment. I'm not sure which will be harder.
I was able to find a link to examples in the main README, although it's true that in the Documentation markdown file itself is missing the reference.

In case it's useful for future readers, here are some samples:
https://github.com/titzer/virgil/tree/master/doc/tutorial/ex...
Damn. If we can't get that two million sunblock, we're all gonna have a real bad day.
for i in users:
for j in users:
if same_as(i,j):
reject(i)
else:
accept(i)

That is literally the definition of n^2.
I know this feeling. In one case, I have/had a project this is used by a ton of people--it is even still used by a number of people today--and I finally just didn't enjoy sharing it with anyone anymore so I stopped working on it in public or making any new releases of it... I have put an incredible amount of work into it since the last public release, and I am really proud of where it went, but I have almost no interest in showing that work to anyone else or ever doing another public release, even though I know a ton of people would enjoy it and potentially benefit from it... it just isn't fun anymore.
I got one today, addressing me by a wrong name and berating me for bullying some (female) name. Last line was something like "This is Jin."

It may have been a totally wrong number or the start of a scam. I decided not to engage and haven't heard back. Considering how mad they came across in the initial message, I can only assume silence means it was a scam.
You really can't see how a reasonable person could just type in nissan.com, see car ads, and click on them in confusion? Really?
Interesting. I have used Quart in the past for “Flask with asyncio support” and it was a great experience. Everything even played well with an asyncio MODBUS library that was part of the same project.
Show HN: Substack, but for Data
I’ve been working with it lately and I like that it (mostly) gets out of your way. There are a few ways to get yourself into a hole as a project grows with it but for the most part it’s tough to find a more concise way to have a simple and approachable REST app
So you are going to interview people and mark them down for the "wrong" answer when you don't even know the "right" answer?

I hope you fire yourself soon, because you'd fail your own interview.
Issues are not a help forum, they are a way of reporting definite problems with a piece of software.
Look like it

https://turquoise.health/careers
Climate change means more mice, demand for pest control
This is good advice but getting over the yuck factor it a big deal.

I think it needs a new name. One that doesn't activate the immediate off-putting feelings of the word feces.
"You're like a laser-guided missile I can point at technical problems" -- a past employer

-----

Location: Pittsburgh, PA
Remote: Yes
Willing to relocate: Yes
Technologies: PostgreSQL, Python, Emacs, Linux, GNU Make, Bash, Docker + docker-compose, misc Lisp and Scheme dialects, JavaScript, Node.js, Terraform, Nginx, misc cloud services/platforms, + more
Learning/interested in: Nix, other expression/config languages, statically-typed functional languages, logical/data-constraint languages (eg Prolog, Datalog, Mercury, CUE), + more
Email: contact@armichael.com
Resume: https://www.armichael.com/resume.pdf
LinkedIn: https://www.linkedin.com/in/andrewrmichael

-----

I'm a software engineer (backend/data/infra) with a background in college level mathematics education and community service.

Intensely curious, with wide exposure to a variety of technologies, problem spaces, and programming paradigms.

Recent work includes relational database design and administration, data modeling, API design and integrations, documentation, and tooling/scripting/automation for a greenfield project at a startup.

I'm also a long-time juggler and occasionally perform for charity and holiday events.
> - No touchscreen; just a jog wheel

Navigating any more than 3 in screen elements is dangerous with jog wheels, IMO. It requires switching visual attention from the road several times. It's even worse with hierarchical navigation. For those a touch screen is much more direct and requires less hand/eye coordination and focus.

> - The map's eco mode routes based on the power train consumption profile of your car..

I'm skeptical that the power train type of a car would make one route significantly more efficient than another. The biggest factor in route efficiency is route length and the speed it is driven at, not the power train.
FDIC Failed Bank List
At my work we're building a system to train healthcare professionals.

Instead of using ML to diagnose, we are treating the student as the AI. They're given chatbots which they must treat and diagnose. Fortunately for us clinical sessions usually follow a formula, and so make for a good case for chatbots.
(We're called SimConverse in case anyone is interested)
I'm not sure your comment about it being easy to overly diagnosis rare conditions captures the reality of practising medicine for anyone who's been a clinician long enough. Part of the training is to think common first before rare, and to sense when there are peculiarities. Rarity stands out, so inexperienced clinicians/medical students will seek this out in patients.

As paviva mentions diagnosis is based on imperfect data with a high noise-to-signal ratio. Which I think is actually a testament to human's ability to navigate all of that and still be able to care and treat illness.

I think the trends in technology with healthcare will more likely be to support and supplement humans rather than taking them out of the equation. I do agree that there will probably be a shift in how we practice as in how much we need to retain as doctors. Doctors in the next 5-10 years will certainly need a much greater understanding how to critique ML used to make recommendations. I doubt clinicians will need to understand the inner depths of how an ML model is working at a code level though. There are already several guidance papers on how to evaluate ML models.

But clinical reasoning will still be a human endeavour in my opinion. The adjuncts to diagnosis is already happening in more visual concentrated specialities like radiology,pathoogy and ophthalmology, where ML algorithms I think have a good fit. No doubt this is where we will start to see more reliance on the ML models. But again, that uncertainty and ability to take an imperfect data set and make a decision with conscious and subconscious understanding will be aided by these models but not necessarily determined by them. To be able to capture all of the other inputs that are required for diagnostic reasoning will still escape ML inspired technology. Blood tests and imaging alone do not make a diagnosis, its the whole context from symptom to investigations together.

Another area of technology is the use of hand held devices for diagnostics, portable US for example. US is known to have better accuracy than chest X-rays for particular conditions. It's not quite there yet in terms of the taking that on a ward round, but that feels like a more realistic proposition in the next 5-10 years.

I also expect that we will be looking far far more about patterns in this noise of data. Looking at 100,000's of medical records to try to understand the patterns of disease we as humans just can't perceive. Looking at predictive modelling for things like cancer. Cancer being a large bucket of atleast 200 types of diseases, most of them are rare and no one clinician has seen enough of them to really get predictive or understand the nuance of them to really diagnose with confidence. Additionally clinical trials are poor datasets for sample sizing and in application to real life scenarios that we end up having to rely on.

So being able to get through millions of notes and finding all these cases to make predictions seems to me to be a fruitful area of investigation.
Being worse at it than the rest of the Allies doesn’t make it so that the Soviets won the war.

The war for Europe was arguably won in Africa well before any major advances happened in either of the European fronts.

The North African campaign combined with the supplies the US has sent to the Soviets was pretty much the only reason why the Soviets have won on the eastern front.

The Axis and specifically Germany were over extended in Africa and Africa pretty much took all the fuel and air lift capacity Germany had at the time.

The Italian campaign was the nail in the coffin for the Axis in Europe well before D-Day.

And that is if we can ignore the pacific theater altogether.
As explained in lengthy detail by SerpentZA: https://www.youtube.com/watch?v=CZ_flb9tGuc
There is a small not so black market of distributors for these, notably Biore UV which is easily accessible on Amazon - as well as ebay and other ecomm channels.

I fly frequently to Japan, and always stock up on Biore UV, and lately with the USD to JPY, it makes more sense too stock up more. :)

Lots of items from amazon.co.jp also have free shipping to USA, it's nice.

If you can't enter Japan, but still feel the need (it sounds silly, but maybe on layover) you can fly through Haneda which has all shops accessible for transfers. Narita can too depending which terminal you fly in, ANA yes, JAL no.
I grew up with no electricity and telegram being the fastest way to communicate with families living on other islands. Now my village has fiber-optics internet (my parents still live there), and the city where I live now will have a high speed rails soon.
It's not actually over, but if your hobby is getting COVID over and over until your immune system blows out you do you.
Great article. Didn't know about the `extras` keyword.
Neither Bear Stearns nor Lehman Brothers were deposit-taking banks.
I'd be interested in reading more about this study. Are you able to find a link to it?
TL;DR: The FDA hasn't yet approved some ingredients used in other countries.
Not directly mentioned in this article, but the strategies shown here were exactly the ones used by the Tindler Swindler, which has a surprisingly enjoyable documentary (https://www.imdb.com/title/tt14992922/)