skysight-inc/HackerNews huggingface dataset:
Somewhat inadvertently, as I largely stopped coming into the office well before COVID, I basically turned my work phone into a black hole. It's the number I give on contact forms but I haven't even known how to check voicemail for years.

I do have my cell phone in my internal contact info but the culture where I work is that pretty much no one makes a voice call to anyone out of the blue. And I'm very selective who else I give the number to.
> No legs is better than bad legs and good legs is very hard to achieve.

What do you think of the leg quality in this game?
> A rater who is many standard deviations away from the mean is extremely undesirable. You want their judgments to be representative of the population.

An excellent point.
Feds seize almost $700M of FTX assets in Sam Bankman-Fried criminal case
You can turn this on in Settings > Face ID & Passcode - enable the option for "iTunes & App Store", and you can use Face ID for app store "purchases" (free or otherwise).

You can disable the requirement for a password for free apps via the Settings > (your name) > Media & Purchases > Password Settings menu.
For a very loose definition of "works", maybe
People in the US seem to use "bee" for anything ranging from paper wasps to bumble bees and hornets.
Excuse me, but did he just make a cheeseless pizza!? I guess baked tomato sauce will bind toppings a little bit, but you'll lose all the texture of the sauce this way :(
Anyone else clicked here out of a personal development interest rather than machine learning?
You can heat up only the key components using resistors.
FaceID still works for this, for me. I do not have to enter my password for purchases.
Do MailChimp employees not need a Yubikey or some other secure OTP generator to access customer data?

Or does the attack involve the user sending their OTP as well?

Either this is a pretty heavy handed attack, or MailChimp aren't following best practices in terms of security.
If you held it for over year. Otherwise it's income of sale price - cost basis. Don't know about fees. I'm not an accountant, but I do know you have to hold an asset for at least 1 yr to count it as capital gains.
> My experiences with containerisation are in part what informed the story. I have relatively little experience with witchcraft.

hehe this is great. What a delightful read this was.
> sheer size and population of the cities combined with government and citizen apathy, lack of manpower*,

This is something I see often. How come with a large population there is a shortage of manpower?

You see the same sort of thing in the UK, lots of people, high unemployment (more than twice what we have here in Norway), and yet there is a large amount of obvious work that needs doing like insulating houses and fixing holes in the road.
Following up, this company is trying to do this for logging trucks

https://www.edisonmotors.ca/
> What could you do short of nuclear strikes to get past a wall of lasers taking out all of your missiles and vehicles?

Lasers.
XSLT?
All sorts of things. Therapy. Psilocibin. A girlfriend (now wife) with a wildly different worldview than my own. Retreats. Meditation. ‘Conscious community”. Workshops. Yoga.
All models are wrong is a common aphorism in statistics; it is often expanded as "All models are wrong, but some are useful". The aphorism acknowledges that statistical models always fall short of the complexities of reality but can still be useful nonetheless. The aphorism originally referred just to statistical models, but it is now sometimes used for scientific models in general.

https://en.wikipedia.org/wiki/All_models_are_wrong
Heh, this is a good read. Thanks.
That was actually a plan for windows 10...

That is why valve created Steam OS originally. Of course MS did not care if they pissed of Valve... but enterprises said "ummm, nice one MS... how about no to that"
British attitudes regarding litter is one of the things that people from other parts of Europe notice when they visit. It's definitely a cultural difference.
Isn’t this wasn’t all support calls are now days?
You can install toaster coils too. A pcb heater layer directly under a temperature-sensitive chip is much more direct, and thinner. I see a cold-weather cellphone with a touchscreen that can get up to workong temperature quickly.
"Before the 1980s, everyone made deep fat fried food at home. Now, deep fat fryers are very rare in homes."

In 1980, I was twenty-five, and had never lived in a household with a deep fat fryer. Occasionally I guess we had fried chicken from my grandmother's kitchen.
> they over hired during the pandemic thinking the growth would not stop.

> the recession is on the horizon and everybody can see it

Everyone seems to be simply accepting these as given. “Growth” is not some outside force that starts and stops like a faucet. Recessions can’t be predicted, although 20 out of the last 3 were. 200K above-average incomes suddenly unemployed may very well lead to a recession. What is causing what?
I still have a Google voice number for that. I occasionally have to remember to tell friends that it isn’t my real number… I think the voicemail message may even say that.
It is interesting that this (otherwise great piece) does not mention cryptocurrencies / blockchain at all (by 2015/16 this was a "thing" already) or the triumph of surveillance capitalism. It only goes to show that cryptographic work is, if anything, even more critical and influential to how to digital realm will be shaped.

From the beginning of time till just a decade or so ago, our political, social and economic/financial structures were based on certain assumptions about information privacy. These assumptions are being violated massively as we speak, Sometimes the "experiments" are giant flops, sometimes they are frighteningly successful.

The discussion about the global distribution of interconnected silicon and who has what access and control over which parts has barely begun. What geopolitical segmentation will we see. Is its economy going to be
free or some sort of digital feudalism? Will it encode humanistic concepts or introduce new types of segmentation into first/second class humans? etc.
I'm convinced there's no way to solve this except for regular "red shirt drills" linked to your job performance. (This is a term I borrowed from life-guarding where someone randomly pretends to drown to see if/how fast the guard will catch it and assess the skills of their response.)
Why overload an existing instruction at all ? Why not introduce a new instruction to accomplish this ? It seems very hacky.
There is less of it to cool.
Discover the benefits of trunk-based development for your software development process. Learn about trunk-based development best practices and real-world examples from successful companies. Implement trunk-based development for improved collaboration, faster deployment, and increased efficiency in your development process. Optimize your development process with trunk-based development today.
That's a fun example, because ChatGPT doesn't actually have the ability to fetch the contents of a URL. So it produced that summary (and the lyrics) entirely based on guessing the content based on the hyphen separated words in the link!

You can prove this to yourself by pasting in a URL to a site you own and watching the web server logs, or by using something like https://requestbin.com/
According to the calculator above, it turns into 7200 shares today, but otherwise, yes, you are right.
SSL actually led my reasons for choosing it, and it wound up being the right choice because of how easily it can be configured as a proxy for a FastCGI shell script: https://hn-notes.pages.dev/20221128
I have great memories of traveling around the US in an RV as a kid. We never owned one. There are RV rental companies with huge fleets servicing these kind of cross country vacations. It’s something I’d love to do with my own family when we’re ready for it and I’d love to make the trip in some sort of EV
Elon Musk says Twitter now has 2,300 'active, working employees'
Responding to this cynical take will quickly devolve into an argument about whether altruism is "real", so let's skip to the end where we agree that however this tendency evolved, people do in fact do things with no intrinsic motivation beyond making the world a better place.
Yea, perhaps you could be clever with that as well later on...? Probably not the most precise design, but it seems honestly a lot less hassle than heating an oven.
This is beautiful!

I wanted to talk with the other kids, I wanted to go over that hill. I wanted to feel the end of the day and the sunset. I feel the sea is somewhere near.
I don't think it should be that, because that can cause people who committed not very serious crimes to be punished disproportionately as an example. It's unjust.
Yes,

I went from focusing on programming, to then switching to Math, dropping out to focus on art, and now I have a career in coffee and I couldn’t be happier as all the interests and skills I’ve acquired over the years of flip flopping have only been a plus when growing a business.
I'm confused as to why they need an extra update to check whether an old version of Office is installed. I would've expected their metrics to include stuff like this anyway.
Worked for me on Windows 11 Firefox 109.0 64-bit
When Truman Capote’s lies caught up with him
How to add gem extensions and custom rules to Standard Ruby
We already did this bit. From the top of this chain:

>I think you are 1) providing readers with a more useful angle, and 2) not giving the wrong impression to a candid reader that this take is somehow a consensus.
Top 5 items delivered by drone from Walmart last year (in order)
Keeping an ionizing radiation source in one's front pocket could improve the gene pool.
I'm not really informed about this case. Did she do any damage to people or just to capital?
No it wouldn’t.
> every trauma goes to the donut of truth anyway

Yes, and that's also not supposed to work like that. ATLS says FAST+ -> OR without donut. As an anesthesiologist, I can tell you it's very frustrating to lose patients because you spent an hour and a half in the ER because the trauma surgeon doesn't have the balls to open the patient without a CT. Lost a 20 yo, probably in good part due to that.
> if you had walked in a year previously with exactly the same plan would you have gotten any traction?

Nope, most of the time it wouldn't and my experience bears that out ("Let's not boil the ocean...").

Thinking simple, and avoiding premature optimisation, are so often the right thing that we can forget that they don't always work.

Teams and people often prefer to learn the hard way. Mind you _I_ haven't built any companies or startups, and my up approach probably would lend itself to do that either.

There's an adage, by Fred Brooks: "Plan to throw one [implementation] away." I come in when they are ready to throw one away, but aren't sure what to replace it with yet.

As far as it being fun, sort of. First of all I have a more 'normal' job now, second of all it's a rush, and an ego boost, but ultimately exhausting.
I don't know yet but I intend to find out. Local tax laws is the only issue they mentioned.
I used to provide a lot of assistance when it was first diagnosed. But was fortunate to have a supportive manager/team. Took about four months of leave. Not things are better, but not as much as before the diagnosis. But I get your point... I want to be in a stable job. Insurance covers expensive medication and I can't even think of losing it
To add: there are over 4 million nurses in the US.
Cool...finally moving into the 20th century. Oh, but no filling for people in an s-corp? No filing for people with a good job? No state returns? Maybe next century..oh, no, wait....nvm.
> You obviously don't need to blow up reactors to learn stuff

Some people do. Did, even.
That matches the 'ballpark' costs I had sort of assumed.

It's a small town hospital, so I wouldn't be surprised if their volume is quite a bit lower than that. Which still doesn't get to the cost being reasonable. 35,000 people in the county, with some of those people being closer or equal distance to other facilities.
> Is it really that big of a deal if AI leapfrogs us?

Yes. Suddenly Homo Sapiens wouldn't be the top general intelligence on the planet. That'd be an upset with likely species-level consequences, possibly seeing the balance of power shift from fleshy things to silicon things.

> And here I am excited by the possibility of AI out-evolving us.

Me too. Which is lucky because alternatives seem to be missing. The AI safety people aren't serious players; they've got about as much influence as all the other people with good ideas. Not much. If it is possible to build; someone will build it.
Let me rephrase then...

>all mathematical proofs are algorithms

All mathematical proofs consist of a series of steps.

>all types are algorithms

All types can be expressed as a series of steps -- with a given input -- and an output of True or False following those steps.

True if the given input is a member of that Type.

False if a given input is not a member of that Type.

If the definition of an 'Algorithm' -- is 'a series of steps', then both mathematical proofs and types -- must be Algorithms...

If we have any debate -- then we are debating the semantics of "what constitutes a step" -- what rigorously defines it -- and what steps may be permitted when...

It may very well be that the Lambda Calculus is the best definition of what constitutes these steps -- but it may very well be that there is a different/better paradigm for looking at them (I don't know myself -- I am trying to determine this)...

Here, you might like the following video (graciously submitted by rbonvall!) for an overview of some of the different possible paradigms that these steps -- might be considered in:

https://www.youtube.com/watch?v=IOiZatlZtGU
I would love to see an actually fair comparison, where the native implementation uses io_uring and huge pages.
One of the authors of https://github.com/a-b-street/osm2streets here. If you're interested in improving the quality of the lane rendering, please get in touch on the repo! https://a-b-street.github.io/docs/tech/map/geometry/index.ht... is an older, but still relevant, deep-dive into how the geometry is calculated.
Respect.

Also in article:

“The last big round of layoffs at Apple happened way back in 1997, when co-founder Steve Jobs returned to the company, which then cut costs by firing 4,100 employees.“
I've slept in my Model S a number of times at -20°C at 1000 m altitude in the Dovre region of Norway. It's not merely possible it is perfectly practical and plenty warm enough while not really using very much range.
I notice some (many?) people have menatlity of "I can't be sure it's false so I'm gonna share it with you."

It might have been a good strategy for the age when information was scarce. But in abundance it wrecks us.
Remote ATtestation ProcedureS (Rats) Architecture
Right. Honey is concentrated nectar. So how do they produce honey if they're not collecting nectar?
Xonsh is my shell on Mac around 4 years. Past year it has a lot of improvements and the infrastructure of extensions is grow as well as Python becomes faster (3.11 release).

At this time Xonsh can't replace bash/zsh completely because of subrpocess modules in Python are not pretty well developed (granular process management is required). But for daily usage as an interactive shell and scripting the xonsh shell is pretty cool and useful for Python developers, devops, data scientists and other users who can just read the documentation carefully.

I highly recommend start diving into xonsh from the awesome xonsh cheatsheet on Github - https://github.com/anki-code/xonsh-cheatsheet
Instagram Notifications Get Less Annoying with a ‘Quiet Mode’
Yeah definitely. That being said, conda competes pretty effectively in the scientific/numeric space, because pip does not solve the problems that these people have, and for quite some time would cheerfully break the environments of said people.
Rust Types Team mission
A study reactor is also designed to break. It is meant to be easily opened up and examined after a fault. It is meant to validate the core process but also explore edge case situations. So it needs to fail gracefully. That is a more complex beast than any final product.
> What could you do short of nuclear strikes to get past a wall of lasers taking out all of your missiles and vehicles?

Lots of men on foot and lots of dumb bullets. The laser shots are cheap, but the laser trucks are expensive.
mmmm. ah dunno bout that. I'll take pax Europa a lot quicker.
A layperson's definition of servers and administrators, and the ethical responsibilities that come with this.
When this passcode requirement started appearing some months ago, my first thought was what broke? I searched apple.com multiple times as well as other apple-specific sites to try and find out what happened and how I can turn it off because its really annoying. And I found absolutely nothing. Nobody was reporting on it anywhere. This is the first article I've seen the documents what's going on and that it is intentional. Now that I know, I hate it even more. But it still pisses me off that Apple instituted this policy but never mentioned it.
Would you share a screenshot, I'm really interested and I must not be the only one.
Democracy is about making decision making reflect the self-interest of as big of a group as possible, not making smart decisions.
>What could you do short of nuclear strikes to get past a wall of lasers taking out all of your missiles and vehicles?

Mirrors?
"A small number of people don't like something, and have a stupid idea of what to do about it."
Adding onto the authors’s own review, I liked the second part on learning Idris but for my purposes the real gem was that it took me from zero prerequisites to a good intuition for dependent type theory in a very clear way that prepared me to go even deeper into topics like Homotopy Type Theory. The works I treasure are those that can build understandings of really complex topics without the crutch of a lot of prior assumed knowledge. It takes incredible clarity to do that well. This was one of my favorite book finds of recent years.
There’s no direct cause and effect between believing in a religion and living a longer, happier life.

However, religious people are more likely to attend regular religious services, where they are likely to develop social connections. As social animals, social connections are great for our physical and mental well being. This is probably one of the factors that leads to religious people living longer, happier lives (Association of Religious Service Attendance With Mortality Among Women https://jamanetwork.com/journals/jamainternalmedicine/fullar...)

You got the citation you wanted?
Building multiple products – how (and when) to do it
In general, wealthy people make up a small proportion of the population and tend (though not always) towards greater intelligence, or at least education, than the average. Both of these factors make them less likely to show up in prisons in general. It doesn't have to be about connections and special favors. Sure, many wealthy people can afford better legal defense and the justice system definitely makes things easier for them, but the rich do indeed go to real-people prison if they fuck up badly enough and get caught doing it.
While layoffs keep coming, so far Apple has steered clear
Same in Norway only it's even simpler. They send you a text saying your proposed tax return is ready. If you check it and agree you need do nothing at all. Otherwise one corrects the input figures and perhaps adds a little that they don't have direct access to such as overseas investments and property. All online and the system instantly recalculates the tax due. No need to claim any tax relief, it does it for you.
I would never join a tech workers union. The concept is illogical.
Wow, the quarterly report coming up in the next week must be really really bad.
Guess the whole “roll around in viral soup and lick the elevator buttons” crowd arguing getting sick is healthy as it boosts your immune system is going to have a relatively sad old age.

I noticed that plants I grow in a sterile environment are extraordinarily healthy and vigorous vs those in a similar but unsterile environment. I always drew from that the less a life form has to struggle against it’s environment the more energy it can apply to growth and the more “optimal” the growth will be.

Add in the DNA level damage a virus can cause (not all viral infections of a cell destroys the cell or successfully encodes fully), and other forms of oh gosh that’s not good, tells me it’s just got a great idea to be infected.

So, forgive me, but I plan to wear masks on planes (precovid I got sick on literally every flight over 4 hours - no more!) and during outbreaks of influenza and other nasties. I can train my immune system with vaccines, which don’t actively infect my cells systemically. And the pictures of my thriving plants will be playing in my head the next time some conservative yells at me about natural immunity for wearing a mask.
Wordle clone Quordle acquired by Merriam-Webster
So... feeling a little bit like a Cylon Raider?

( BSG - Cavil's 'I don't want to be human' monologue

https://www.youtube.com/watch?v=3VhqsFRTTTo 1m48sec )

Bobiverse came so often into my peripheral vision, yet I haven't found the time to dive in, so far.
Nope. None of that says that they have “improved their daily actions” just because they joined a social club.
Cubical type theory is a way to get to a purely constructive foundation for Homotopy Type Theory. Super cool stuff from a foundations of math perspective and has some surprising applications to topological quantum computing but if it isn’t your rabbit hole you can probably not pay too much attention to it.
She's allowed to make money legitimately until she exhausted her appeals. She still owes a lot in restitution
Mid summer they need protein.

It’s a great way to kill them and not bees, and the basis of the poison Vespex.

https://merchento.com/vespex.html
Looks great! And your site is also beautiful and clear.

One piece of feedback: I saw the Apple download options and didn't realize there was a (much subtler) windows option. I think most people will miss that and think this is Apple only.
The ultimate tribute to skifree:

Edge:surf

(Only works on ms edge.)
What other strategies have other countries used?
There is no path to lasting Russian victory
"everyone's bags" um, what? Do they mean everyone's computers? What does "bags" mean in this context?
Expect citations to come from religion user's manuals and promotional material. We need trusted reviews and real life long-term comparatives for religions.
To be fair, almost any JIT VM is capable of being "faster than native" (by which is meant pure AoT) in some circumstances because it has more information on the environment and circumstances of execution.
Yeah its best not to compare hardships and when the people more privileged than you got their RSU's.
What you have is someone else's envy so keep the first statement and drop the rest.
In a real chess position, where the knight must go is the easy part because there something interesting to do there (like capturing a piece). The problem here is that the chessboard is empty, so it's difficult to remember where you should go.

The interesting part is finding the knight trajectory, reading the notation is boring and easy.

(If the point of the exercise was to read the notation, it should be a different game, like clicking that square as fast as possible.)
> There is no button which can be pushed to create a new human being; there never will be.

I wouldn't say "never." We can push a button and create a new piece of art with stochastic uniquenesses. Maybe one day we can push a button and create a whole "AI" with all the random traits that come with being a human. I can imagine the value, and people tend to ignore the horrifying nature of things when there's value.