skysight-inc/HackerNews huggingface dataset:
“There’s no way to…” is maybe imprecise phrasing but this is a real problem.

Marketing departments really want to use that first number for Big Important Releases and only Big Important Releases.

I have seen products get their version incremented from 2.x.x 3.0.0 to indicate that an entirely different product (that could be deployed alongside the first but was otherwise unrelated) was being launched.
Honestly, this is all too often how versions actually get used - that's what makes it feel like satire. But there's nothing wrong with admitting that the ideal of Semantic misses the mark, looking at real world usage, and saying "Okay, maybe we should formalize that in some way." I can see that being useful, especially if people are able to say "We use PragVersion rather than Semantic" to communicate the reality, rather than saying "We use Semantic" when they are, in fact, using Prag.
> don't breathe

Lack of oxygen immediately contributes to cognitive decline.
Most schools allow phones outside of class time. This policy bans phones on school grounds altogether
Convolution, or the art of given hard names to easy things.

Convolution is something you learn when you're 7.

It's called weighted average.
I was a lead for a major competitor for Google Drive for awhile.

Yes, using a cloud storage provider might work instead of running your own database...

> Have you found a way to make this work with multi-player?

... But this is where you will run into serious problems.

"Cloud drives" aren't designed for highly concurrent multi-user access. That is when you need an ACID-compliant database; (or otherwise understand this issue well enough that you know what you're doing.)

In our case, our API was based around light usage of files: If two people edited the same file at the same time, we couldn't resolve the conflict automatically, because these were files: We had no knowledge of the files' schemas.

Likewise, our APIs weren't designed for "live" high-performance usage. In our case, if it took under two minutes for an update to sync, we were happy. That's an eternity in a multi-player game.

In general, if your application is going to use a cloud drive as its data storage, you should target light usage of storage needs: IE, the user's data is generally private, the user is generally generating light changes, multi-user usage doesn't require heavy "live" data.

IE, this would work great for a password manager that allows sharing passwords via the cloud drive's existing sharing system. It would also work great for an online image editor, sheet music editor, anything where you could envision a desktop app that edits files.
Spotify's issues and costs are royalty payments. Of the €567 million increase in cost of revenue for the Nine months ended September 30, 2023, higher royalty costs were €534 million of that total. (~94%) [1] This delta is vs 7,159 total cost of revenue on 9,576 of revenue (€millions).[1, pg4] From looking at the rest of the report, most other cost of revenue contributors are minor (5 here, 10 there).

In the total category, R&D (1,257), S&M (1,101), G&A (430). R&D trending up, possibly plateauing, S&M, G&A trending down. [1, pg4] All relatively minor compared to 7,159. (<=1/6)

[1] pg 36, Spotify 2023 Financial Report, "Spotify Technology S.A.", FORM 6-K, October, 2023 - https://s29.q4cdn.com/175625835/files/doc_financials/2023/q3...
I wonder if they could wire the jamming system into the fire alarm. Pulling the alarm turns off the jamming.
Uhh, reactionary movements are incubated in Christian right wing schools, not by Harvard professors writing yet another book about post modernism.
Comparing MIT and Harvard is apples and oranges. Or perhaps Ivy and Apples.
Killed By a Machine: The Therac-25 (2015)
If there's really no catch then this is a groundbreaking paper.
Unambiguously beating transformers with margin on all metrics they tested.

https://imgur.com/a/WKFF1yv
> Food delivery existed before platforms, but only where it made sense.

This article is about NYC, where food delivery was ubiquitous long before DoorDash. In fact, Seamless in 2010 was a better experience than Doordash is in 2023, when you consider the absurd markup on Doordash.

Doordash struggled to enter the NYC market for a while because it was trying to compete with an established product, yet using a higher price point. It was only with massive amounts of VC funding that they were able to get a foothold.
For me, the interpolation really seems to separate the "layers" in a shot, and it just completely destroys the illusion of them not being a set with some lights. Like I said, it feels like a cheap soap opera from the developing country no matter what movie or show I'm watching.

Some of the problem for me may be related to the fact that I worked as a camera operator and video editor during the years from transitioning from the old NTSC standard to HD, and I paid hyperattention to detail as HD came online.

For some reason, the interpolation just screams "this is fake" to me.
I think it’s because of the content used for it. Some things do look better. But movies absolutely do not.
AI is the Great Equalizer
A year should have 13 months
I said cash-grab, not cash cow. A cash grab is something that has an unreasonably high profit margin. A cash cow is something that provides a significant portion of an entity's income.

I have no idea if HIBP is a cash cow for Troy. It may be, given these prices, but I don't know much about his other sources of income.

HIBP didn't start out as a cash-grab, but it is one now. Troy could have chosen to price it reasonably to cover the costs of the service. This pricing is clearly taking advantage of HIBP's popularity as the de-facto breach list site.
Interested in which one you’ve found works best to recreate the paper experience?
C'mon, that's a reddit-level wilful misinterpretation of what he actually said. I mean, look:

Are you saying the original artistic intent of the creators to insert unskippable ads at the beginning of the disc is more important than the consumer's right to control the playback of the content they bought? Plus I heard it might kill babies.

See? It's just silly.
Missing or misleading documentation. Confusing names. Lacking test coverage for new functionality. Unnecessarily complex code that can readily be simplified. Code that looks important but in fact does nothing useful. Unrelated changes mixed in with a patch that's ostensibly about something else.

These are all things I think are valid to point out in a code review. I don't think I would like to work in a company that rejects the notion.
To add a plus one here, as soon as I learned there's LLMs involved this became a non starter to me. I'd rather have less granular policies than risk some LLM doing something crazy.

I can justify to management that we have limited time for IAM and something was missed that we can fix / create tests / scans for after an incident. It's harder to explain that we chose a vendor that uses a non deterministic tool that can hallucinate for one of the most core security pieces of the puzzle.
Some Webos LG TVs, like mine, can be rooted. I can now do wonderful things like install an ad-blocking version of youtube(still works in spite of recent changes). And SSH into my tv and mess around with the Linux system if I want to.
I'd say it this way: bad code doesn't robustly handle all the use cases, mis-interprets inputs sometimes, or is a mess to read and debug.

Yes, it matters what the code looks like. Knew a guy, named everything in his code a letter of the alphabet. a,b,c and when he got to z started za, zb etc.

That was 'bad code'. Or, it was 'Low Quality Code'. Nobody wants junk like that. Even if it passes tests, is robust etc.
> Foodsby can't scale to 15 min increments for all restaurants in the city.

For some definition of increments and "all", yes they can.

Restaraunt#1 delivers at 10:15am.

Restaraunt#2 delivers at 10:30am.

Etc. etc. etc. Covering the entirety of lunch hours. This is how it works in practice, today.

If you're in a location with lots of Foodsby usage, then you might have 3 or 4 different Foodsby locations to check within a reasonable distance, which dramatically increases the restaurants and timeslots available. Like 1x Foodsby is already fine, but if you're in an area with 5x walking-distance Foodsby dropoff points like I am, things start to get really convenient, and the selection becomes dramatically wider.

It also means for the drivers, that one "trip" can hit 3, 4, 5 offices in one drive. I'm sure that on Foodsby days, these drivers are delivering multiple dozens of meals. In fact, the *MANAGER* of one local Restaurant was the driver for one of my recent orders (we recognize each other's faces because I visited his restaraunt a lot, so it surprised me to see the manager making delivery runs). So its more fulfilling work than typical grunt labor, since they're making so many deliveries on relatively low effort. If he's got ~30 orders, that's $60 ($2 per meal) in less than 30 minutes of driving/delivering, which is certainly more money flowing than most UberEats / DoorDash setups.

--------

Now yes, you may be arguing that "its not what you want". But... when that Spanish Restaraunt says "We're offering $2 delivery (no tip) 3 days from now at X-oclock"... I think you'll be thinking of using Foodsby that day.

Or maybe you check the website to see today's Restaraunts and whether or not your favorite is on the list.

-----------

In any case, _THIS_ is innovation. Actually playing with models and finding things that are better for everyone (chefs, restaraunt owners, drivers, users) as a whole. I'm sure other models can work too, for some sliding scale of individualism, bulk deliveries and whatnot.

But as far as the personalized 1-to-1 service? Its dead, its so dead I'm convinced it never even existed. UberEats _never_ promised a driver on the standby ready to personally serve you, and months/years of using the service has made it obvious to everyone.

There's only so many times that I get a meal 1.5 hours too late that causes me to give up on UberEats (and similar) services.
The case for SWEs writing docs, part 1: When fear gets in the way
IBM releases 1k qubit processor, roadmap to error correction
Anybody (like GP) that doesn’t understand that this is entirely the nature of security work, should not be making any material decisions about security.

The number of times I’ve seen DEVELOPERS neglect to implement materially useful security measures because “they’re not technically perfect!” Is astounding.
Dates are one dimensional, monotonic, totally non-strictly ordered. There’s no room for branching. Branching is necessary anytime you want to have multiple “latest”s. This is usually major releases with ongoing bugfixes and security updates but minimal breaking changes.

What I’ve never seen, but seems useful, is to throw the date on the version number as the third or last number. The nice thing is you get the ordering back. Something like 4.3.20231204
This is great. Especially for products that need long term support, which is basically not compatible with semantic versioning. (Since LTS versions occasionally must have security fixes that are also breaking changes backported.)
Note, however, that this doesn't mean that he would have gotten away with it if he'd cooperated. It means that the federal prosecutor decided that the act of obstruction would be easier to prove, since the intentional nature of those acts is much more self-evident.
Oh, I like this!!

I might need to look deeper but how is memory management done?

It seems like there’s some allocation happening on the background? For example, the split() or string_to_json(), some memory is happening somewhere.

I ask for more than curiosity, I wonder if this could be used in embedded development.

Either way, seems like a fantastic toolkit for working in C!

I’m the most excited about the string functions, because idk why but I find myself doing a bunch of string manipulation quite often, and not having to jump out of C or manually implement algos sounds awesome!
Personally I'm using CSS [0] on the backend, but might switch it out for HTML. It'd be cool to use the same technology for both. The CSS+HTML combo has some big limitations.

[0] https://dev.to/thormeier/dont-try-this-at-home-css-as-the-ba...
Museums can be very inspiring and educational places and can also increase the sense of wellbeing in visitors. Most have it as an aim to bring access to these benefits to a wide range of people. There's also many issues to including contemporary artists from non-traditional background which is a shame for both the creators and people who would potentially enjoy their work.

I'm not sure how an institution using a different typeface with the aim of being more inclusive is "destroying culture" to such a degree that it should be a serious consideration when weighed against the benefits. Could you explain further what you meant by that?

Of course the people who enjoy these things can come from any type of background but first they have to fell welcome to even experience them. Currently in my native country the research shows that white people are almost twice as likely to visit a museum in the first place compared to black people. I personally find that a real shame because I think everyone can benefit from visitng them.
That states they can choose hourly minimum or "or pay per delivery at about 50 cents a minute" which is in line with $29.93 per hour for what DoorDash calls "active" work.
How should we interpret "Thousands of Units, Seasonally Adjusted Annual Rate" in that data? If you download the file, and sum the column you get 1,114,912, which would be 1.1 billion if the units are truly "Thousands of Units".

Here is a definition of "housing start" from another site:

>"Housing starts is the name for a measurement of the total number of new private residences — single-family homes as well as condos, townhomes and apartments — that have broken ground."

https://www.bankrate.com/real-estate/real-estate-housing-sta...

So does the "Seasonally Adjusted Annual Rate", mean each is month is effectively showing the annual rate? So the January 1959 number of 1,657 means that if you extrapolated the month of January you'd get 1,657,000 houses in 1959? That probably makes the most sense(?). Then the average of 1,433 thousand units per year, over 64 years, yielding 91,715,126 total new units since 1959.
> That's a somewhat outdated narrative to still be parroting.

It's not. Most of those "innovators" are still posting losses in the hundreds of millions

> Uber just got included into the SP 500. One of the pre-requisites for that is being profitable on a GAAP basis.

Because you can somehow lose a billion dollars a year for 10 years, become a publicly traded company with a steatement "we don't even know if we'll ever turn a profit", still continue operating at a huge loss for several years, write off 6 billion in losses, and finally become profitable enough to be included in S&P.

Any any other, sane world, Uber would be gone after two years of losing a billion dollars a year. Not crawl into S&P after 10 years of unsustainable losses.
Airmen cert doesn't show up in https://amsrvs.registry.faa.gov/airmeninquiry/Main.aspx

https://www.aviationweekly.org/news/pw8d8knj7uroieoxodawivkl...

> In a letter sent to Trevor Jacob by the FAA on April 11th, the FAA said he had violated federal aviation regulations and operated his single-engine aircraft in a “careless or reckless manner so as to endanger the life or property of another.” The agency said it would immediately revoke Trevor Jacob’s private pilot certificate, suspending his license to operate any aircraft.

It would appear the agency has followed through.
No. It's saying a computer can do multiplication really fast by doing a bunch of additions, without having to worry about carries, instead.
For me, the really interesting question is not if he's guilty - I had assumed as much - but if he will come out financially successful. That video had millions of views and a sponsorship deal. Call me a cynic, but it seems that some companies will deliberately break the law and pay the price if it's worth it, so why not independent hustlers.
Cute if it were true. But no, that's only 364 days.
How often does the bullet train turn about - the article and video both claim this is down at each end of line stop prior to turn about.

What infomation does the longer general video expose about Japans cleaning corp that you can look up to obtain general schedules?
You get kind of immune to it eventually. At this point I don't even get fazed by goatse, if anything I'm more impressed by just how far that guy managed to stretch.
I found FILMMAKER MODE (why is it capitalized in settings?) dark and muddy on a Samsung Frame. The "Samsung TV picture settings" section in the linked which.co.uk article [1] seem like decent advice.

[1] https://www.which.co.uk/reviews/televisions/article/getting-...
The smartest person I know who's in his 50's is now an alcoholic - made and lost a fortune.
He's still worth an easy 20 million dollars, but is way too driven and edgy to just shut up and retire.

I read a thin line separates genius from madness.

His entire life has exemplified this.

It's profoundly sad to see him - his genius is a curse.
Nvidia CEO says he will try to prioritize Japan for AI processors
There is of course some evidence that after a few months, lotos eating gets .. well .. boring And there have been posts here discussing the importance of exposing kids (young minds at least) to boredom to stimulate motivations.

There is also the memorial for Robert Falcon Scott: To strive, to seek, to find, and not to yield.

OTOH yea I get this. I could devour me some crap 'tec fiction and a drink by a shady tree.
Most of my favorite local restaurants use other platforms now. It's been 3 years since I've last used Uber or DD. If they don't deliver, I just go pick it up myself.
Sure, you can get used to anything, but it still sucks and is worth trying to improve the situation on.
But that 25 active hours per week requires about 50 hours of working. You're just not paid for the 25 hours where you are waiting for an offer to come in. There's only about 3 hours per day when you can consistently get an offer within minutes of finishing one.

And don't forget DoorDash doesn't pay for gas or other required maintenance from the extra use on your car.
That's the most "C" readme that I've seen. Looks really interesting though.
This is a great post that makes the concept of image kernels way more accessible, thanks for sharing!
"It makes everything look like a cheap soap opera to me"

This is nothing more than conditioning. "Quality" TV shows "film" at 24 fps despite the fact that they were going to be viewed at 30/60. They did this because even though 3:2 pulldown incontestably is a dirty, ugly hack that reduced quality, people were conditioned to think that if something went through that hack, it's quality. If it didn't, it can't be quality.

So when people talk about the "soap opera" effect, what they usually mean is concise and clear.

The best example of this was The Hobbit when presented at the original, director's intention 48FPS. People were so conditioned to movies being a blurring mess at 24FPS that a frequent complaint about the Hobbit was that it had the purported "soap opera effect".
> "Can a math proof be reached (within a certain number of proof steps) from the axioms?" - equivalent to the halting problem in most practical systems (https://math.stackexchange.com/questions/3477810/estimating-...)

The answer that observed this was equivalent to the Halting Problem wasn't keeping the "within a certain number of proof steps" constraint there, but referring to the question of whether an arbitrary proposition was provable or not provable. If you do specify a number of steps in advance, I don't think the problem is solvable faster than brute force in general, but all individual instances can be decided at least by brute force.

In fact, there are tactics in computer proof systems where you specify a search depth, and the tactic can tell you whether or not there is a valid proof (using certain rules of inference, which probably won't be all the rules of inference allowed by the system!) closer to your current hypotheses than that depth.

This is like the distinction between Gödel's last two definitions in his long chain of definitions in "On Formally Undecidable Propositions":

> 45. x B y ≡ Bw(x) & [l(x)] Gl x = y

> x is a proof of the formula y.

> 46. Bew(x) ≡ (E y) y B x

> x is a provable formula. [Bew(x) is the only one of the concepts 1-46 of which it cannot be asserted that it is recursive.]

Here Gödel notes that all of his previous definitions that used existential quantifiers set an explicit limit for the size of the integer in question (there exists k such that k is less than or equal to ...), but definition 46 doesn't: it just says "there exists an integer y such that y is a proof of x" (according to Gödel numbering).

If you did set a limit on the size of y then you would have a computable function, where the most naive implementation would be to just evaluate everything up to that size limit and check whether it is a valid proof of x (using Gödel's other formulas such as Bw). But it wouldn't match our overall notion of provability, because our notion of provability doesn't set any particular limit on the size of the proof.
I don't think the comparison to taking your car to a mechanic is a good one. When I take my car to a mechanic they are returning it to a stock configuration. They don't need to update to a new, slightly different power steering this month, new brakes next, then injectors....
HtmlScript, Also a Programming Language
Its not a perfect fit. New Years would arrive at a slightly different time every year, and ignoring the massive software rewrite, we would have issues with things like GPS satellites and other stuff. Its too late.
Just gotta find a proprietary Samsung screwdriver first.
Ph-lease! You don’t need to be that damn close to “keep an eye on”, and actually I don’t think you’d really want to be that close.
> I personally have very low confidence there is actual or real demand behind the increase in price

There’s about to be a Bitcoin ETF… that alone will open the floodgates.

I suppose you’ll be part of a long list of people who think Bitcoin is going away… it’s been 15 years and it should be clear it’s here to stay.
to me, that'd be jart cosmopolitan libc so if I mean to fopen() I can fopen

https://justine.lol/cosmopolitan/documentation.html#fopen
The delivery vehicles being used in NYC are almost entirely e-bikes, so the expense is not as big as you might be thinking. It's certainly nothing close to the cost to gig workers for running an Uber car.
Why It's Hard to Break Plastics
sorted_ulong_long_ptrs, where have you been all my life?
Gmail's AI-powered spam detection is its biggest security upgrade in years
I'm pretty sure Doordash tracks that and will boot drivers that don't deliver quickly as that affects their bottom line.
The deifference for me is that this is, allegedly, Harvard acting unethically and against how we expect them, as a research university, to act.

There exists no such expectations on other private companies.

This is a failure of the model, not business as usual.
The smartest person I know turned down a position as CEO of one of the largest companies in the world to become CEO of a smaller and more independent oriented competitor and is apparently loving their job.

In terms of developers, it's typically been the opposite. That the best developers I know had previously worked at larger firms, but don't anymore.

I suspect part of being smart in general comes with the realization that there's more to life than a job's status and salary, and prioritizing those other things is a wise thing to do. So having picked up competency at large companies when younger but moving away from them later on trends to correlate with the smarter people I know.
I think I could start the Evil Foundation and as long as I don't file for 501(c)(3) status, I'm still for-profit.