skysight-inc/HackerNews huggingface dataset:
> The mathematically rigorous form of the posed question is whether there is an algorithm with run time f(N) for which there exists strictly decreasing g(N) such that f(N) = O(g(N)). That is, the run time is bounded by a forever decreasing function.

Let's say my minimum runtime is 7, and the strictly decreasing bound on my runtime is g(N) = 1e15/N + 7

Doesn't that fit your description fine?
Yes, that would be it. The word "gammel" means most of the times old, but I can see where it would be used as something rotten too.
Eww gross, the sun
I see I have one of these devices as a local backup device. Any recommendations for a more reliable alternative?

Somehow I don't think Backblaze's statistics are going to help much :-)
Sorry boo, but the telephony is generally pretty garbage on all the Linux options & a phone still needs to be a phone. A lot of those important apps won’t be supported as well as they only cater to the Android/iOS duopoly.
yup, gas lawn mowers too. i have 2 neighbours who do it every other day, just to chop one millimeter off the top of the turf.
So far it seems to be "yes". At least, none of the AMD gear we're using has had this happen.

Hopefully AMD doesn't go down that same dark path.
I see this sort of headline and have a visceral reaction, but this time it wasn’t justified (woot). Some thoughts:

> I once joined a company as a consultant - in the previous 12 months, they'd spent their entire $1,500,000 marketing budget on Google/Facebook ads. Using Hubspot we could track leads through the funnel and look at exactly how many customers this money had generated. The answer was 0. In total, the ads brought in two leads to the website who never even booked a demo for the product. For $1,500,000.

I would posit that this isn’t entirely true. This is what Hubspot saw, but ( unless they’re doing really scaled Account Based Marketing) they’re going to miss non-click signals in the funnel and misattribute results.

I’ve done a ton of B2B SaaS marketing over the last ~18yrs and most (>70%) of the marketing ROI comes from reaching your target accounts at scale - and they never fill out a lead form. Instead they respond to your sales team that has already reached out, resulting in sales taking the credit. I’ve quantified this effect several times now with a number of companies so I’m quite confident in it.

That said, it doesn’t mean the company he cites was doing great - far from it! They definitely needed to get their house in order and spending $1.5mm was clearly not the right path. Was it zero effectiveness? Unlikely. Was it really effective? Absolutely not.

> But how do you know if your business is ready to invest in marketing? To answer this question, you'll need to understand if your company have some form of product market fit - PMF.

Agreed. I typically warn clients that are early on in their growth journey to focus on product led growth, start a referral program (I end up doing that a lot) and get their organic growth in order. Paid ads should be an amplifier on a strong foundation, not the foundation itself.

> If you don't have any PMF, don't invest money in marketing - you might end up like the examples mentioned in the introduction.

It’s less about not investing and more about being smart. Referrals are great and low cost, investment in SEO early on - those are where to put the energy. They are great ways to accelerate your path to product market fit without burning excessive cash.

> How did we arrive at this number? As a rule of thumb, the pipeline in startup SaaS businesses usually comes from:
>
> - Marketing: 40%
> - Cold-outreach/sales: 40%
> - Partnerships: 20%

Just like my own experience with the ratio of B2B SaaS conversions from leads vs. sales outreach through paid, be very careful here ascribing a rule of thumb to your business. I’ve seen companies with very different mixes of sources, all very healthy. Your business may see greater opportunity from marketing and nearly zero lift from sales, so don’t assume this is a metric to shoot for.

Overall, I enjoyed the article and I’m glad to see that despite the clickbait-y title it was a more levelheaded read.
How We built the Storybook Day 3D animation
Would love for them to deal with the hordes of Dodge Rams too. How did a giant American truck get so popular here????
What makes you think it started with COVID?
Because he despises advertising or because he thinks it puts him in the minority?
https://github.com/serde-rs/serde/pull/2514#issuecomment-164...
C++ is just too big nowadays to be fully useful, or even applicable to every environment. Specifically on exceptions, I wish there was a GCC flag to disable exceptions in the sense that any `throw` calls `std::terminate` and catch blocks are completely ignored.
This seems like a safe, responsible thing to do, and probably my favorite thing about it is that there couldn't be unintended consequences.
If the answer isn't "Microsoft Outlook" I will be very surprised.
DO - Digital Ocean
Having a look at their documented threat model: https://github.com/tillitis/tillitis-key1/blob/main/doc/thre...

I love this particular detail, listed under Assumptions:

> The end user is not an attacker. The end user at least doesn't knowingly aid the attacker in attacks on their device.

I love this, it's exactly what I want from a HSM device. However, sadly, most vendors today deploy TPMs in such a way that the end-user is an attacker (see: Google SafetyNet) - and the TKey is kinda incompatible with that, I suppose.
Building an AI Chatbot with Next.js, LangChain, and OpenAI
I sort of see it all the time in Paris. I almost got dumped on a couple of weeks ago when walking my children. If we had been five seconds earlier, we would have been soaked.

(I say "sort of" because I assume it's generally people watering plants, but the amount of water coming down seems excessive.)
The Oldest Plant-Eating Dinosaur Has Been Found in India
>...Starcraft's insane 800 APM professionals (short-term burst of course, I think everyone has a long-term average of 300 APM)

From the few professional player videos I have watched, a lot of that looks like mindless, repetitive clicking. Some kind of Goodhart's law where because APM is important to be good, it gets internalized early.

For sure, the professionals do need an elevated level of actions, but not the mass spamming I have observed.
I like your humor
Here’s the actual good advice: Build your system as a set of composable parts.

The article doesn’t really quite get there, but is close. Almost everything else in there is wrong and should be ignored. Let’s see… *nix command line never did follow DOT, that’s the definition of shitty, not enshitification, the graphs are pulled out of thin air and represent the author’s feeling, not data, microservices don’t solve problems in large projects that various other approaches don’t solve (microservices tends to combine an certain approach to architecture, deployment, organizing dev teams and assigning responsibility to them within a larger organization, organizing code, change management, etc… the relevant things here aren’t specific to microservices).

BTW, the microservices graph shown near the end is a lot like spaghetti architecture, where everything depends on everything else. (Not that you have to do it like that, but you’ll need some higher-level organization to manage it.)
Its about 20-40% depending on the GPU, from my tests.

And only very recent builds of torch 2.1 (with dynamic input) work properly, and it still doesn't like certain input changes, or augmentations like controlnet.

AIT is the most usable compiled implementation I have personally tested, but SHARK (running IREE/MLIR/Vulkan) and torch-mlir are said to be very good.

Hidet is promising but doesn't really work yet. TVM doesn't have a complete implementation outside of the WebGPU demo.
This is such a juvenile understanding of racism.

Justice is not derived from statistics. Espousing statistics does not justify racial discrimination.

We did not ban racial discrimination because we engaged with statistical arguments for racism and decided they were unfounded. A decision can be supported statistically (in some contrived way “right”) and be ethically wrong.

We undid legal racial discrimination because it’s morally repugnant.
Leaving drama to spiral out control is even worse. It's just a mental drain on maintainers.
Thanks for that explanation but windy consistently seems overstating rainfall.
Interestingly Framework (the laptop company) ships exclusively WD SSDs, although I suppose you can bring your own SSD if you really want.

Though I wonder which other brands are trustable? Just yesterday I read a comment on another thread mentioning how Samsung’s firmware is subpar (which, having owned several other Samsung products, doesn’t surprise me).
You get what you pay for. You're free to start a subscription twitter that hosts all the hate content you want. Platforms that sustain themselves on advertising are going to do what is popular with the public. Turns out most people, despite what some may think, are not hateful violent lunatics. There are plenty of services that host that content if you want it. Google is at your fingertips. Just don't expect people to like you or demand it be mainstream.
Historical censorship attempts and shifting elites
The main thing is to make it modeless. When there's space, like on a large desktop window, put the selector alongside the preview. Then any change in selection should update the preview without additional clicks. Basically 1 click should change a feature and another click change it to something else.

If you used it for any length of time, these things should be self evident as annoyances to be streamlined. As an exercise, try every selection for every option while looking at the preview for each result.
Oh come on. He’s a terrible person, loud cars are a freaking nuisance, but to claim that he’s the reason everyone from Thai teenagers to Georgian gangsters to Emirati chammaks[0] is removing their muffler because of him is bizarrely and myopically Anglocentric.

0: choosing countries I’m familiar with
Why year? Needs to choose _some_ timeframe, otherwise the KR is irrelevant. Businesses generally plan quarterly (3 month spans) and yearly (12 months).

You're free to use ranges in OKRs if desired.

Identifying rules / guidelines are "not even wrong" when writing OKRs, OKR = Objective + Key Result(s) usually a sentence each, in bullets.

It's better to focus on setting goals separately from setting rules, and humans being humans, you can't really identify a full set of rules that will prevent each and every form of unintended consequence

(also, note this is just fermi estimates in a blog post for a marketing consultant, they're focused on laying out a hypothetical, theres all sort of layers and interactions in a business)
Yes, but the animations/visualization is less clear than competing services.
Humans make mistakes too, but the kinds of mistakes tend to be different.
Related: https://en.wikipedia.org/wiki/History_of_the_floppy_disk
Can someone explain why the US has grounds for extradition? The defendants are Russian, and the US is getting upset because Russia isn’t sending them to the US.

Imagine if you posted a video of Tiananmen Square on TikTok and the CCP demanded your country fly you to China for punishment, then called you a fugitive for not volunteering.
I'm a dinosaur and I'm always amazed at the technology that pilot's have available to them these days.

While complex to learn, having huge glass navigation systems sitting in front of you in a single engine plane seems so foreign to me.

I did my instrument ride in a C-172 and my commercial in a PA-44.

During both of those checkrides, I ended up having to shoot ILS approaches to minimums, in turbulent IFR conditions, with nothing but "steam gauges". The fanciest thing in the plane was probably the HSI.

On the instrument ride, I had to shoot an NDB approach to minimums in actual. That was a good time.

I assume planes don't even come with NDBs anymore. I used to tune into AM radio on them just to have something to listen to to pass the time.

I used the latest Microsoft Flight Simulator recently and loaded up the C-172. It just stared at the screen for a minute, realizing I don't know how to use a G1000 so I couldn't fly it. I mean, I could start it up and get it off the ground, but for IFR navigation? No clue. Lots of buttons and fancy graphics.

The march of progress.
Russia's Luna-25 spacecraft suffers technical glitch, space agency says
For short hair or for someone who wants it styled, I'd agree that curly hair should be dry when cut.

I'm not PP but I'm a dude with long, curly hair and I just want an even trim, so it's much better if my hair is wet.

(Also, shampoo is harder on curly hair than straight hair; "wash" curly hair with water every day and use some conditioner, and only use shampoo if it feels dirty. That may only be once week or two, maybe once a month if the hair is short. Yes, really.)
Why? They make and export everything, fairly successfully. Most countries are only globally competitive in a handful of sectors.
No no, cars and bikes leave the factory quiet. You have to expend time and money to Alex them noisy
For me the most impressive thing is that a memory can be localized to a particular group of brain cells, and then forcibly recalled through external stimulation. Makes me wonder about the future of optogenetic methods for human neural interfaces and the potential for abuse.
And your customers know that too.
Edit to start with this: I think you're right that I was too hasty with my "you need to look in the mirror" comment, and this whole discussion would have gone better without that comment. So I'm sorry about that one!

Ha, I sincerely doubt our higher-context interactions in an actual working environment would go the same way as our internet strangers with no context discussion.

But it is definitely possibly that we wouldn't ever be working together. Right from the jump, the way you framed the question of "how do I get devs to do what I want them to" suggested that you're more a top down do-what-I-say leader than a servant leader, and that's fine but it's not the style of organization I look for when evaluating hiring managers.

Then you aggressively dismissed a frankly very boring suggestion that has been a best practice for decades. Which was just a weird reaction IMO.

But again, I suspect you would be more tactful about your response to it in an actual workplace, and I would probably be less likely to tell you how strange I found your rejection of such a simple suggestion.

But my mea culpa was about forgetting which thread I saw your comments in, not about my evaluation of your (to me) pretty mystifying attitude about this.
It matters to me if my mailbox is full of junkmail instead of letters from friends.

Idk what point you’re trying to make, but at issue here is that journalism is being starved to death by sites like facebook that suck up all the profits and attention but don’t provide any of the service that journalism provided. That’s bad for canadians. This law may be the wrong way to fix this problem, but to talk about rules and principals and analogies without considering the actual consequences is pathological.

We’ve got no sharing news on facebook here now. If nothing is done, this is essentially where we’ll be in a handful of years anyway.
Based on every single airplane I've ever seen or been on, with bags I'd say about 0.8 times an many people as there are rows, plus about 4 people between the front row and the exit door. On a Southwest 737 with 24 rows, that works out to about 23 people.

I've never seen deplaning be the hold up, it's boarding that takes forever. But getting people to follow complicated high-speed boarding plans is like herding cats.
Thats sounds dope! I had to modify the library I use for printing because it was made for Epson ones hehe

I agree -- it's artistic than anything, but is cool!

Thanks for popping by :)
I acknowledge all of your points, and agree to everything you've said.

Except for the actual point that the compiler not being bound by any promise means you should never do it.

If you want to walk it back to "it's very rare that intentionally using UB is a good idea", I could agree with that. But never is a bridge too far.
Wow, I've been hearing this has been in the works for a while. I am glad to see it released! My RAIDZ array awaits new disks!
I've definitely learned some lessons from this machine. It was probably a mistake to buy a 1U machine. I think at some point I'll invest in a 2 or 3U machine with proper 3.5" drives and normal fans that I can replace with something quiet.

But hey, for $200 total, this wasn't a bad learning experience.
What is stopping the other manufacturers from applying for the same exceptions?
Physicists Found a Time Crystal Inside a Children's Toy
Ban cars because loud noises are required to make them not kill people? Good idea.
Wouldn't want to be a Roscosmos higher-up right now. I hope they manage to stay away from windows on higher floors.

This was supposed to be Putin's triumph over the 'degenerate west'.
You’re still going to want backups though, and at that point, drive failures shouldn’t be catastrophic because you can just restore onto a fresh drive.
ZFS is very sensitive and takes a long time to rebuild. I only choose RAID-10 for this reason, because I'd rather have most of my data than none of it.
I mean simplify the tax code to the point where it is so simple there are no loopholes for the rich to use.
So his name would have been on the title. If you buy a car but your name isn’t on the title you didn’t actually buy the car, whom ever is on the title did.
What do you think "bottom 25%" and "top 25%" mean, exactly?
In China, Artists Create Miniature Homes from Memories
Hi! --- fantastic question, so far, mostly due to the gentle nature of General Aviation flights and my sellotape skills, I haven't had to deal with this.

I did worry at one point, but it's surprisingly sturdy.

If it does fall --- no worries! I have my original (kneeboard) copy to go off

Thanks for the question!
Issue them humanitarian visas to escape Russia.
I don’t know the specifics, but a company I worked at definitely decided to get ‘serious about ads’ by hiring a director of marketing and seemingly giving him an unchecked budget.

About 2 years later, he left the company. Very few - if any - customers were generated, but there was a sizable Google Ads spend.

I think the business owners had quite good luck with hiring talented people and letting them get to work, fairly hands-off. The guy spoke well and could quote many marketing gurus. I never found what he said to be particularly useful for the company, but I assumed he was getting results since someone was keeping him around.

I believe many owners of successful businesses have blind spots and need people they can turn to fill them. Sometimes that goes poorly.

Right now I’m fixing a similar snafu where I’m halving a not-insignificant AWS monthly bill for a company due to an ‘expert’ doing something very expensive. Like, 2 weeks of work will cut many developers annual salaries worth of AWS spend a year. Sometimes you get bad advice and you’re growing & making enough money that you can ignore the seemingly huge inefficiencies.

> This makes as much sense as saying that a company spent $1.5 MM on five engineers for a year without a single line of code ever being written.

I mean, if you change this to ‘functional line of code’ or ‘usable line of code’ I have definitely seen that occur with one or two developers over my career.

I don’t think it’s the norm, but I do think it happens.
Having one of the possibly effected devices, I typed in my serial number and it claims to not be effected (has an updated firmware). There is no date on that web page about when the firmware was issue. Is this a case of the issue actually being fixed with the firmware update, so they can just blame those with data loss that they didn't keep up to date, or is this a problem even after?
This is disgusting. MS is essentially creating harmful, misinformative content, just to increase ad revenue. When will corporations stop being completely unchecked?
Thank you thank you thank you -- just did! Nice day
I’m using iPadOS 17 and it is vastly better than 16, so once it comes out you should give it a shot. I can absolutely understand being unhappy with it before. What makes 17 so much better is that you have the freedom to move windows around where you want, but it also does a great job of managing focus and organizing them. I’ve used full-screen exclusively on Mac since Lion, but now I’m all Stage Manager all the way.

I do agree about file management, but I don’t really work with files at all on my device anyway - code is in the dev box I SSH in to, and everything else is in Google Drive.

For reference, 80-90% of my work is slack/gmail/gdocs/zoom. The rest is development work done using a PWA for VSCode, code-server on my dev box and Blink Shell for SSH (I would prefer Termius but I can’t have SSH port forwarding done automatically). This works quite smoothly and gives me access to pretty much everything I need.
OK, this is awesome. As a fellow game developer who learned to navigate the complexities of matchmaking and server orchestration the hard way (and begrudgingly), seeing Rivet open source a matchmaker and server orchestrator is exciting and honestly refreshing. For those outside of games, the use of modern webdev / infra tooling is frustratingly nascent, and production-ready OSS usable by smaller-than-AAA-sized studios is even more rare, just beginning to come online (the efforts behind https://game.ci are a recent shining example in game infra).

I'm particularly encouraged here by the tools and approaches chosen — Redis for matchmakers, ClickHouse for analytics/logs, Rust for speedy backend operations were tools I eventually came upon as best for the job after a long and painful process of iteration with inappropriate cloud dev tooling (with basically any datastore other than Redis you will run in to issues matchmaking).

High traffic/concurrency in matchmaking is a hard problem when you need fast, consistent matches. Existing industrial-sized matchmakers (Google's OSS OpenMatch, AWS GameLift, etc.) require locking in to a very specific format or spinning up an entire K8S cluster, which for game devops teams already stretched thing is a tall ask). And for all that effort, you may discover the performance characteristics of their approaches aren't what you need, or (as has happened to us with different game web service/API/middleware providers) they may choose to abruptly deprecate the service upon which you built.

Appreciate the dedication to making this available and the focus on helping gamedevs get up and running as fast as possible. Looking forward to playing around with Rivet and seeing where it might fit in our stack — & would love to talk shop on this with anyone since I've been tortured by / interested in these problems while trying to simultaneously run a game studio / make new games / keep everything online the last few years!
CPU-only, 8-bit quant, Intel Core i7 4770S, 16 GB DDR3 RAM, 10 year old fanless PC: 32 seconds per sampling step, correct output.
The Subversion of Drama in Huxley's Brave New World, Edward Lobb (1984)
Seems like you're thinking of personal savings accounts. The whole point of insurance is that everyone subsidizes the poor souls who end up needing it. Understanding that the tables could easily be turned.
I think parent doesn't know much about Eastern Europe jobs market, but makes assumptions, and wrong ones at that. He's also wrong about not being able to get a tech job without a degree in the UK when by Europeans standards UK is one of the most liberal places to get tech jobs without a degree, as many other EU countries are a lot more strict about letting you in without a degree then the UK, especially if higher education is 100% free and everyone has a degree.

He does have a correct point that in this economy, unless you already have strong connections inside the company, most places are only hiring outside workers for "the trenches" and less managers, leaders and visionaries.