skysight-inc/HackerNews huggingface dataset:
What does a recession have to do with the amount of work you have for employees to do? If a recession causes 5% of their subscribers to cancel, it’s not like there’s 5% less work to do company wide.

If the company hired more people than they have work for, it likely has little to do with a possible recession.

In the case where it is true that they have too many employees, I think there is a moral responsibility to attempt to find profitable work for those employees. Or to at least ride it out and make a smaller profit in the lean years if it doesn’t seriously endanger the health of the company.

Corporations aren’t merely groups of people, they have been granted additional legal rights like limited liability. I’m fine with laws that say something to the effect that in exchange for limited liability, corporations over a certain size must give some consideration to the employee welfare. Many countries require that workers have board representatives.
Agree. At least it could help me read the library code and automate some tasks for me, like how to get some things from base class from library .
Virtual Event: Authorization for your inner programmer
Wednesday, February 15, 2023
1:30 PM - 2:45 PM EDT

As programmers, many of us got indoctrinated into ideas like “Convention over Configuration” and “Provide Sharp Knives” early on. But authorization – a problem as old as software and one that’s core to no one’s domain – is still anything but magical.

Sam Scott (cofounder/CTO of Oso) is on an epic quest for programmable authorization, and thinks we can learn a thing or two from web frameworks when building authorization systems.

During this tech talk, Sam will explain:
- Why an authorization system needs to be opinionated but flexible
- Why it’s a tricky balance to achieve
- And what happens if you get it right.

He’ll also demo Oso Cloud, a batteries-included authorization system we’ve built for application authorization.
Stay for a technical Q&A, demos from Oso engineers, special swag, and a Polar policy puzzle (there will be prizes).
See you there!
Some of the effects of caffeine are subject to diminishing with tolerance, others are not.

People develop tolerance at different rates, and it depends on dose and usage pattern, etc. It's not hard to use caffeine a lot and never develop a strong tolerance. (Probably not true for everyone, And it's a different story if you've already been drinking multiple cups of coffee every day for decades).

There's some really fascinating research on caffeine use out there, highly recommend that rabbit hole for the interested.
She lived near me. Now I regret never knocking on her door. This tenderly brutal remembrance reminds me that "obituary" comes from Latin "obiit", which means "s/he went away". Goodbye, Nikkie, we could have been frenemies.
Infinity is not a number

It depends on what you think a number is. Most people who think about it agree a number is the name that we give to equinumerate sets, so two eggs and two ducks are equinumerate, we can give a bijection between these sets; they have the same property, "twoness" and we abstract twoness to the number 2. If so, then infinity is a number, it this the number-ness of the set {1, 2, 3, ... }
Link won't load for me on iOS Safari, and archive.is gets stuck halfway through loading it (after 7-10 reload loops of the base web address, which is also odd)

EDIT: archive.is fails to load the webpage, looping back to 0% and starting all over
Completely agree. More or Less and Business Daily (both BBC) have replaced Planet Money for me in the last few years.
It will quickly chain you to Microsoft products, that's the uniqueness.
The companies like Google, Microsoft, Amazon, etc. also having major layoffs are not and have not been running at a loss for a long time.

Most of these layoffs are driven by shareholder demand. I suspect this will be a bit like 2008 where tech companies pulled back and then realized it was a huge mistake and went on hiring sprees again after a year.

Twitter just posted a 40% or so reduction in income this quarter. It seems way too early to say they didn't need all the people they laid off. From everything I see their ad revenue is cratering from poor targeting, reliability, etc.
"Channel 3" hasn't really existed since analog TV broadcasting has been phasing out. Most TVs built in the last 10 years don't even have the circuitry to handle it.

However, is there an ATSC/DVB-T "RF Modulator" available? I don't know if FCC (or their non-US equivalents) allow unlicenced low power transmission that can be picked up by a modern TV.
As a sub menu from the "<> Code" Button? I have 3 tabs, HTTPS, SSH and this new Github CLI tab, but it remembers the last tab selected and always shows that
As they say, if you have dirty thoughts about 14 year old girl, and want do get rid of them, just spend some time with a 14 year old girl.

Same thing with 50 year old men with 20 year old wives. I am in my early 40s and there is no way I will marry woman in her early 20s, unless she is very special. Sure, 20 year old bodies are attractive, but maturity difference is too great. The movies are fantasies, showing off women at the age of peak physical attractiveness, with just enough immaturity to make the man feel more responsible by contrast, but without any of the quirks of actual immaturity.

Having a 20 year old sex partner is another story. And many women are willing to let you live your fantasy, for a time, for a price...
If you usually use SSH but are logged out, the SSH tab disappears, which might explain why Gitlab CLI is being shown.
Any discussion that doesn't even mention the possibility of origin in semitic forms (which, of course, Greek and ultimately Roman also trace to) seems unlikely to enlighten.

Carthaginians certainly got around. You would seem to need a plausible reason for them to have been unable or unwilling to visit Denmark.
> I also have a HP-48SX, but it sees much less use – the buttons are not nearly as pleasant and the screen is harder to read.

I have an 11C and both a 48SX and GX. I don't really think the keys on any of those were close to being in the same league as my Dad's old HP-38C.

https://www.hpmuseum.org/hp38.htm

Agreed on the display, but HP got it better on the GX.

In retrospect, all of the 48/49 series calculators struggled with their UX... The UI was complicated by their attempt to be a general purpose calculating tool, but the hardware wasn't up to the ambition and computers/laptops ate their lunch in professional settings.
What is the tech stack for this? I really want to build small apps like this and have a diversified portfolio but don't know where to start. Are you still earning 3K/month from this and what kind of on-going marketing are you doing?
I have to block HN and Reddit during the work day. My problem is that I take just a second to check HN while something compiles and then an hour later I'm still reading.
Is Japan inflationary? I know their central bank actually had negative interest rates for a long time.. still, maybe.
I have the feeling Bing is on the way to overtake Google even without OpenAI, recently google results seem to struggle more and more. Whenever I am trying to remember a word, if I type something similliar sounding google will give me no results at all. Bing (I use DDG which serves Bing results) will most of the time figure out what I was trying to find.
I mean, I work with optics, and I know the history of making good glass, so.... no?
Sometimes I wonder if ChatGPT is a good psychological test.

Are people who are impressed with ChatGPT's wrong answers low on conscientiousness? Are they unusually suggestible? Are they people who won't recognize mistakes in other work and thus people you shouldn't hire?
I somewhat recall their CEO saying something like "my job is to get YouTube views" in an interview.

edit: To clarify, I think he was only half-serious.
I thought this was going to be about Armond White.
I'm not sure if "humbled" is the right word or not, but Calculus II had a somewhat profound effect on me. I think it was studying Calc II that I first started to feel like I could finally start to see at the least the shadows of the inherent appeal of math. I also felt like Calc II was a big step towards understanding the level of math that starts to have real world applications outside of contrived / toy examples that you find in textbooks.
Weirdly, not a single mention of the "Red Hydrogen" plans. Apparently, Japan plans to use nuclear to produce H2 at scale, and it makes lots of sense from a cost-effectiveness POV.
If you think that's bad, check out the Atari BASIC code in issues of the ANTIC and ANALOG magazines. There is some real evil wizardry in some of those programs.

Another oddity about Atari BASIC is that you can put any binary data in a string, such as machine code, and then execute the code in the string using:

50 RESULT = USR(ADR(MLSTRING$))

As for points 1 and 2, I learned those things over 30 years ago. I don't get your, 'Atair "Computers"', reference. If you meant, 'Atari Computers', or 'Altair Computers', I still don't get the reference.
The problem with mapping the reals to the integers is that a list of real numbers is infinite in "two directions". Each real can be potentially described with an infinite number of digits, and you can have an infinite list of real numbers (i.e. infinite sequences of digits). This is, I believe, the basis for Cantor's diagonal argument, which is a quite beautiful proof of there being more reals than integers.

https://en.wikipedia.org/wiki/Cantor%27s_diagonal_argument
They have ten billion dollars
A 2d shear looks like [[1,a],[0,1]] and a rotation of q is [[cos q, -sin q],[sin q, cos q]]

So you have a system like this to solve:

[[1,a],[0,1]]*[[1,0],[b,1]]*[[1,c],[0,1]]
== [[cos q, -sin q],[sin q, cos q]]

It's not hard to solve (despite being overdetermined) and you can even throw that line above into a CAS directly. The solution is a bit long to paste here though.
In theory, Google has an even better spin-off for AI (Deepmind).

I think slowly Google is becoming more and more like IBM, a slow-moving giant that doesn't like risks.
Good for you, you actually use a workstation for its intended purpose. You would be surprised how rare that is.
Apple MacBook Pro 16 (2023) review: the core count grows
300+ models of MSI motherboards have Secure Boot turned off. Is yours affected?
Fossil fuel transport is fundamentally carbonized. BEVs are currently about 50% better, but at least it's feasible to achieve full decarbonization.

Recycling of batteries is very efficient at >95%[1], and will only get better with time.

As for addressing only one sector, welcome to the world of high-complexity problems. Climate change is a "1000 cuts" type, not a "magic bullet" type.

[1] https://techcrunch.com/2021/09/14/jb-straubels-redwood-mater...
For people more well versed in this space: does GPT / OpenAI more broadly have a meaningful moat? It seems like there will be a number of these models out there and this isn't as great as say Google's up-till-now advantage in search relevancy.
> 27% of professionals use chatGPT for work already.[0]

> found that 27 percent of professionals have used the program to help them with work-related tasks.

«Have used», as free test, at least once. Maybe twice. Tomorrow ? Until real value, habits and serious problems are established, my bracket of day to day for professional use is still opened between 26% - 1%.
> Also realize that the entire concept of a pull request is foreign to git (it is a GitHub invention, Linus never designed git for pull request style development)

Doesn't seem quite true, as `git request-pull` command exists since 2005.
"One other thing: the MacBook Pro 16 with M2 Max is hotter and louder than the M1 Max machine was. While it was running PugetBench, the M2 Max machine’s fans were so loud that people across the office were coming over to see what was going on. I would not have wanted to be typing at that time — the top of the keyboard was toasty. I only saw this during PugetBench — it was not at all loud or hot during everyday Chrome usage — but the M1 Max machine, by contrast, was astonishingly silent and cool all throughout my testing period. "
> But the mathematical question is about the existence of a mapping function, and it seems that whether or not the numbers in each set are finitely describable is irrelevant to this question:

If it's possible to construct the set at all, then there is by definition no function that can be described in a finite number of symbols that can select an element from the set (since if a finitely describable function can define a member of the set, it shouldn't be in the set - you'd define the element as being the result of the function).

I don't know what the scholarly view is on relying on functions that cannot be defined in any human language, including mathematics. I would intuitively lean towards not allowing them in proofs, but perhaps they're useful mathematically?

Another interesting aspect - these are numbers, so presumably there is a smallest one, but identifying that is definitionally ruled out too, since 'smallest element in the set of numbers indescribable in a finite sequence of symbols', is itself a finite sequence of symbols.
Yes, it's pure marketing and totally disingenuous. It's like being called OpenAI while nothing is open. It's interesting research done by terrible people.
Show HN: Stop N Swop: A retro gaming marketplace
I got tired of trawling through mountains of over-priced low-quality often-irrelevant listings on ebay and decided to make a fresh alternative.

There's no shopify or squarespace, I built it from the ground up as a one-man-evenings-and-weekends job over the past 2 years. This is the first time I've ever got a side project from conception to launch instead of abandoning it mid way through. I've also never put together the entire infrastructure myself before (I'm usually a back-of-front-end developer) so I'm pretty pleased with how it's come together.

The front end is Vue (with Nuxt). I've always had a soft spot for Vue but professionally I've almost always worked on React apps.

On the backend I have a simple node.js express server acting as an api gateway, and then several event-driven miniservices. (I've never done EDA or mini/micro services so this was another opportunity to soak up articles and blogs.) Nothing overly fancy and no giant frameworks involved, just node.js apps communicating via Redis and a MongoDb data store.

The entire app is running across Digital Ocean droplets, which is also the first time I've attempted to set up anything like this.
Yep, the discounts.
I recently laid off and currently trying to build some apps that could create some revenue that can afford my costs for some weeks. I built a transcription and dictation app for Mac [0] using whisper.cpp, small model works really well on 2019 mpb and m1 for streaming (dictation). It was really straight forward to use, however the streaming algorithm doesn't ready for production so I implement my own algorithm using VAD. I believe in that with that pace this could also be fixed.

[0] https://apple.co/3j2k8E7
9 years maintaining a sorta-popular open-source package: lessons learned
Tell me that after trying to get VR working in Linux. You'll have to buy an Index first of course, since it's basically the only one that works. Only just barely, of course.
> If there exists a procedure to describe which number to choose (i.e. an algorithm/formula), you don't need AC at all.

The problem here is not that there does not exist a procedure to describe which number to choose, the problem is that there does not exist any way to describe which number you chose. Those are not the same thing.
> The data in the table is over 80% major injuries, with heart damage being the primary one — and heart problems like myocarditis have extremely high fatality rates.

What the antivax crowd keeps ignoring is that myocarditis is a rare side effect of the vaccines and usually can only be detected by a test and no actual symptoms occur, when caused by the vaccine.

Myocarditis from acquiring COVID-19 though is much more common and severe.
I disagree. Stable systems are not corrupt. Look at nature.

Corruption comes by parasites and perversion. In humanity’s case a power (and off hand willingness) to harm greater than accountability.

Comfort, convenience, complicity fine, yet draw the line at collusion or negligence.
Secure Scuttlebutt is a decentralized social networking platform that operates differently from platforms like Twitter or Facebook. It is not designed for users who expect a fast-paced, instant gratification experience. Instead, it is meant for users who are looking for a more private and authentic alternative to centralized social media.

To fully understand and appreciate the value of Secure Scuttlebutt, a certain mindset shift is required. It may take some effort to learn how to use the platform effectively, but for those who are willing to invest the time and energy, it can be a valuable tool for connecting with like-minded individuals without the manipulation and surveillance often found on centralized platforms.

If you're interested in learning more about Secure Scuttlebutt, the following links may be helpful:

https://medium.com/@picrong/discovering-the-world-of-ssb-a-s...

https://medium.com/@picrong/secure-scuttlebutt-a-decentralis...
That term has some mainland chinese vibes. Taiwanese usually call themselves 台灣人 [táiwān rén].
Dangling Domain Abuse
> So, we’ve partnered with Microsoft to deploy our technology through our API and the Azure OpenAI Service — enabling enterprise and developers to build on top of GPT, DALL·E, and Codex.

I wonder how much of choice will enterprises or large customers have in deciding what data to not send to Microsoft to train their models. If OpenAI is tightly integrated to all Microsoft products this may be a real concern.
This (no smallest positive element of Q) is sensible. But how can you have a procedure that requires making an infinite number of choices?[1] It's not an algorithm; they have to terminate.

1. Wikipedia explanation of the axiom of choice.
I can relate, even if it's not specifically about podcasts for me, but rather any source of information.

How I try to cope is by striving for contextualizing decisions.

Everything I do or could do and every value I attach to something depends on and is influenced by context.

Every choice I make affects more than just one area or part of my life.

My life consists of more than one thing.

Yes, I could spend all day doing X. How would this affect different areas of my life? Is this the single most important thing in my life right now? How will this benefit me? At what cost? Is it worth the cost?

Striving for a more holistic view of my life helps me balance my tendency to lose sight of the whole for focusing in too much on one single thing without context.

Plus, dealing with the roots of my anxiety rather than the outgrowths alone.
Yes, but without being informed by the BitKeeper's design and shortcomings he would never design Git so quickly
They have as many frre users as they are willing to pay for to present a free demo; rest assured that the fee for paid users is more than sufficient to pay for whatever capacity they need.
Consumer Reports Advocacy Future of Memory Safety
perfect funny! I can't handle crisis mode haha.
I would rather, yes. Working with people who phone it in means my projects will unpredictably grind to a halt for weeks, and getting them to work at all requires an obnoxious and overbearing management style that I really don't enjoy being around. I don't think it's wrong to be a "phone it in" person, they're just trying to earn a living so they can focus on what they care about, but that doesn't mean I want to work with them.
I don't stay after a big round of layoffs for the same reason I'd rather buy stocks when they look like they're going up, not down.

The company is signaling that it is not doing well - why shouldn't I leave for a company that is doing well?

The only way I'll stay is if you want me to be part of a real plan to turn things around. And my involvement in that has to be rewarded - not just at the successful end of that process, but immediately.
>Another interesting one is technology. Japan got trapped in the 90s, the fax era, and it is difficult to change. Will also the USA and Europe get stuck technologically as the population grows older? Again, it is to be expected.

Would beg to differ. Japan is one those nation with extremely advanced space, robotic and nuclear tech. They can be a nuclear power over night if they are allowed to legally. Far as space, they landed probe on asteroid for space mining (https://www.space.com/41898-hayabusa2-deploys-hopping-robots... ).
Serious question: Who still uses jQuery in 2023?

The last time I wrote some jQuery code was, I think, about 9 years ago. At some point, with all of the nice advancements/innovation in the frontend domain, it stopped making sense to do any of the manual DOM manipulation we used to rely heavily on jQuery for.

With the exception of legacy projects, is anyone using jQuery on new projects nowadays?
100x on profits* just for clarity
I am a voracious podcast consumer, probably listening to an average of 5 hours per day. Over the last 2-3 months, however, I've noticed my interest in podcasts rapidly decreasing.

Now that the election is over and Trump is fading I guess I've lost interest in the political stuff. Also, I think I'm realizing how useless it is to my life to just hear about politics.

As for people being outraged for or against the woke stuff, it is just the same talking points being rehashed over and over, so I'm tuning that out as well.

I've also noticed that when someone has something interesting to say, such as Richard Reeves recently, then that person appears on all the podcasts in my feed, so it becomes a bit repetitive for me.

Even podcasts related to the carnivore diet, which I follow closely, have basically beaten the subject to death over the last 2-3 years. I know the diet works and I've been convinced from every angle and there just isn't much more to say beyond that.

The only podcast that I really look forward to anymore is The Rest is History with Tom Holland and Dominic Sandbrook. They have a great rapport and the historical episodes they recount are fascinating. It is the only podcast I would recommend to almost anyone.
Because a property of the numbers we call integers is that we can name them. You can certainly rename some of the numbers which are indescribable and call that set your integers, but these are different integers than what everyone else talks about.
New tool uses ultrasound 'tornado' to break down blood clots
Somewhat luckily/unluckily my job sometimes needs me to raid my references to come up with positions on niche topics.

Probably not that healthy really. Like a hoarder with happy clients
Do you see GitHub using that command? It's designed for email workflows and only spits out a message you can copy into an email to the maintainer. GitHub does not use email workflows.
Basically we have a bunch of things going on that cause some graphs to cycle rather than run away, and if you break any of them—which can be as simple as tweaking a value here or there—most of our biosphere's gone.

Carbonate-silicate cycle breaking is what's considered the most likely thing to end complex life on Earth, for instance. All it takes to cause that is the Sun getting slightly brighter. In a few hundred million years it'll become increasingly difficult (inefficient) for plants to photosynthesize, reducing energy available to the biosphere, until finally photosynthesis stops completely.
If it were possible for a website to give its visitors cancer, I'd now have it.
Most gaming consumers got an AMD whether they wanted it or not, as the Jaguar cores were in both PS4 and Xbox One.
That's not the case or the issue for the vast majority of developers
Is it an option not to introduce support tickets into sprints?