skysight-inc/HackerNews huggingface dataset:
Of course. Everything is a stochastic process and the markov property holds true in all instances, your brain is useless. Markets have it all figured out.

My post was in terms of relative valuation compared to AMD and NVDA but I didn't feel like spelling it out. I mean can one really be an order of magnitude certain of profits vs AMD and NVDA either?

Of course this is not a democracy. It has to be the minority game takes hold.
https://arxiv.org/search/advanced?advanced=&terms-0-operator...
It's also spelled out in The Birth Dearth[1], but yes, the idea is much older. It is a synthesis of Hobbes and race to arrive at a conception of racial power which constructs a "looming crisis" extrapolated from a decades-long demographic trend toward racial pluralism. In so far as Wattenberg is concerned, the stakes are western civilization itself by way of an implied western chauvinism.

1. Wattenberg 1987 (ISBN-13: 978-0345343994)
Python vs R is the new Matlab vs R (and soon it may be Julia vs R).

My answer is always the same: there are a few excellent and quasi-standard packages/libraries that exist in one of them without fully equivalent analogues in the others, so if you need any of those then go with that system (eg Simulink in Matlab, tons of classical statistical models in R, some ML/DL libraries in Python). In fact, you might have to use multiple systems if your problems are complex enough and you don't want to compromise. If you don't fall in that category, then just stick with what you have, any of those languages are decent enough general purpose tools and the differences don't justify a codebase migration.
Doesn't apply since you are not recording.
I want an iPhone Mini 14, but that's gone too now. I'm going to have to trade up my Mini 12 for a Mini 13, and the repair it until its impossible to repair further, as this is the perfect phone and is basically the last of it's kind now.
> it is very slow to compile

Emscripten is amazing if you need a full POSIX environment in a web browser. Everything is emulated through Javascript calls.

If you don't need that, or just need the WASI subset, you can simply use Zig to compile C/C++ code to WebAssembly ("zig cc -target wasm32-wasi"). Compilation is as fast as other targets.
> I don’t think the subject of software correctness in practice is itself well-studied enough to say conclusively that my conjecture is false.

I don't claim that. Given what we know, the likeliest explanation to the findings so far is that an effect, if it exists, is probably small.

> Formal correctness? Bugs per line of code?

Both would work.

> in which case I think it’s basically a truism that more soundness leads to more correctness. At some cost, perhaps.

And you'd be wrong, or, at least, the second part of your statement makes all the difference. What we want is the best correctness we can get for some given cost, or, given some effort, what should you do to get the most correct program? If you follow formal methods, some of the hottest lines of research right now are about reducing soundness to improve correctness.

> As far as I could tell from reading the study, it’s not evidence that static languages encourage this sort of bug more.

I didn't say they did. But you asked how we explain the observation that types don't improve correctness, and one explanation is that the kind of mistakes that types catch aren't the costliest bugs that make it to production, and perhaps the extra effort invested comes at the expense of other approaches that do uncover more serious bugs.

> But this is the root of my reasoning.

That's as good a conjecture to start with as any, but it needs to be revised with findings.
I do listen to podcasts, mainly palaeontology, like Palaeocast.

I used to find them as word-of-mouth on Twitter, but then I deleted my Twitter account because Twitter is already overrun with bots and weird political posts. I also realized that even if Elon Musk, the Richest and therefore the Smartest man in the world, took over, I was still Twitter's product. I wasn't getting paid to be on Twitter, so Goodbye!
And frankly that's exactly what we need. When you really think about it the whole concept of self awareness is ultimately pointless for solving problems, and is mostly counterproductive.

Diced onions > existential dread.
This is a pretty classic PID here. You're attempting to keep latency at 35ms and based on the latency on each packet as observed by the server, and previously recorded latencies, you can add corrections. With some simulations and tuning I'll bet you can get a pretty good algorithm going.

Simulating this stuff is pretty simple. Model each incoming stream as an MM1 queue and play around with your PID algorithm until it gives you the results you need.
Netflix was beloved by customers because they were fiscally irresponsible. Users were getting more for their money than what they paid. Similarly, Uber was absolutely loved by customers when trips were only costing a fraction of what Uber paid for them, aka: VC were effectively paying for a portion of your trip.

Of course that was unsustainable on the long term, and two thing happen: quality will decrease and price will increase until the company can reach profitability which is necessary, at some point, to keep operating. For both Uber and Netflix, this is associated with less customer love since value-per-dollar decreases.

But there is no question that the strategy has to be tried, because the previous strategy was - in fact - not working.
I like to use the story of one of my parents. Big tall guy, never used technology, big fingers and always complained buttons were too small etc etc.

Now the guy loves his big iPad and his iPhone that he wouldn't go any size smaller because he'd struggle to see what's on the screen. The only challenge he has now is he likes the bigger phone, but struggles to keep it in his pockets when working, when you add in a protective cover.

People don't often know what they want, they're just driven by what they've had and whether they think it has worked for them, which most people can justify their own decision.

I do think however, that there will become a point where phones simply are too big. I'm just not sure how far off we are from that.
Does that count for tech? I just looked at tech's and it's all between like 0.25 - 0.6 for the few samples I looked at. Netflix is 0.8 but still I think is low for most companies?

If you Google "good debt to equity ratio" one site says 2.0 - 2.5.

I'm not sure if this applies here.
Yes, but they probably run on AWS and can't use their own hardware.
Nintendo's lawyers are very aggressive with anything IP related, and I'm sure they would love an excuse like that to shut down the dolphin project.
Alvaro Bedoya’s confirmation to the FTC gives Lina Khan her Democratic majority
I'd love to see an outcome as you describe. I'm doubtful.
> This changed in 2019 IIRC. The EU changed its regulation and the 30 minute record limit no longer applies.

The categories are still defined the same way: https://eur-lex.europa.eu/legal-content/EN/TXT/HTML/?uri=OJ:... (Ctrl+F "8525 80 30")

"Digital cameras that are only capable of recording still images remain classified in this subheading. Cameras of this subheading may also have video-capture capability to record continuous periods of video. However, when such apparatus are capable, using the maximum storage capacity, of capturing video in a quality of 800 x 600 pixels (or higher) at 23 frames per second (or higher) for a continuous period of at least 30 minutes (regardless of the fact that the captured video images may be recorded in separate files of a duration of less than 30 minutes) they are always to be classified in subheadings 8525 80 91 or 8525 80 99."

…but the duty was reduced from 2.5% to 1.6% for "video cameras" (8525 80 91), and from 3.5% to 0% for "camcorders" (8525 80 99): https://eur-lex.europa.eu/legal-content/en/TXT/PDF/?uri=CELE...
A phone that is a few years old doesn’t have the energy/battery requirements that new phones have because of a more memory hungry operating system that requires a beefier cheapest, more memory hungry cellular chipsets (5G), Google Services, etc.

And if a company can’t sell a phone profitable, it’s not a viable product.

And he admits that he hardly ever uses it.

And that phone will probably not work at all soon in the US if it doesn’t support VoLTE.
This seems fair, especially coming from someone who made an unsolicited buyout offer that's probably above market. But Elon Musk is the Richest, and therefore the Smartest, man in the world!
Liquor stores.
Aliases are awesome, I use "git config --global alias.pwd 'symbolic-ref --short HEAD'" for easier management of branches. Instead of "git push -u origin really-long-branch-name", I can just do "git push $(git pwd)".
I guess that's the thing in the end. There isn't anything I can see in it that looks valuable. I just don't get the appeal, and so every post I make and every post I read feels like "why exactly am I doing this anyway?"

For awhile I figured it was about "breaking through" after a long slog, but that doesn't appear to be the case either. But I suppose it's the same with all of these post-your-random-thoughts platforms.
A dollar or two per month would be nice. Enough to know what to expect, but not so much that I consider other severs.
I keep on hearing from friends who went to a conference for the first time in two years... and came back with Covid.

We're going through a nasty spike in the Santa Clara Covid sewage charts right now - I trust those over most other sources because they're more reliable than self-reported testing numbers: https://twitter.com/covidsewage/status/1526566135734206464
thanks for resolving this discussion on behalf of the developer community
> “It's a beautiful, clever intersection between math and visual art”

The Amiga Graphics Archive

http://amiga.lychesis.net/special/ColorCycling.html

> “It's such a lovely art form... but such an anachronistic one.”

Christensen

Perpetual Motion Machine & Watches

https://www.randelshofer.ch/animations/anims/christensen/thu...
"Netflix sunsets an online publication about Netflix shows that no one has ever heard of or read" is not the MBA-led apocalypse you make it out to be.
Autobots, print out.
The avantage salary for a carpenter in Italy is 16.8$. 150$ is a day and half of work before taxes. You people are crazy. You are totally disconnected for reality. I don’t know nor care if it’s a reasonable price for a piece of software but if you think it’s a small sum of money you have no idea of what the life of an average person looks like.
One might say Brendan Gregg saw this coming as well.

https://www.brendangregg.com/blog/2022-04-15/netflix-farewel...
Seems like there’s a large opportunity here if the pricing could be just a little more nuanced.

Charging by code committers maybe make more sense…
I feel like fancy metrics drive the conversation but sometimes it might be more instructive to do a totally subjective user-based sanity check (e.g. how much do I personally enjoy it?).

Netflix is supposedly growing massively but... is there anything good on it? So much of the content seems completely forgettable.

Furthermore, in the midst of a bad economy I'd imagine streaming services could be cut from the budget first.
> people knew next to nothing about the coming virus.

Exactly. That's the point. They DIDN'T know. Yet these articles not only have been written with utter certainty, there was also a strong thought-policing tone. Don't you dare think COVID will become pandemic, you'll be tagged as racist and white supremacist.

These tweets and news articles have caused great damage. Just because Vox is on the "right" political team, doesn't make it okay to spread disinformation. These tweets are not only politically motivated, there was also financial motivation behind them. Like Hollywood many people have made billions of dollars doing business deals with China. They want to appease China and keep making more billions. These people need to be called out.
>....30++Billion in profits

earn badges and level up
What an unfortunate choice of title considering that it goes against the artists wishes, quoted in the very same article: "The different styles I have been using in my art must not be seen as an evolution, or as steps towards an unknown ideal of painting…"
Aren't layoffs one of the hallmarks of Netflix's culture [1], made famous by Reid Hastings' slide deck [2]?

> We model ourselves on being a professional sports team, not a family. A family is about unconditional love. A dream team is about pushing yourself to be the best possible teammate, caring intensely about your team, and knowing that you may not be on the team forever. ...

> To strengthen our dream team, our managers use a “keeper test” for each of their people: if a team member was leaving for a similar role at another company, would the manager try to keep them? Those who do not pass the keeper test (i.e. their manager would not fight to keep them) are given a generous severance package so we can find someone even better for that position—making an even better dream team.

[1] https://jobs.netflix.com/culture

[2] https://www.slideshare.net/reed2001/culture-2009
Heartily agree: http://scribblethink.org/Work/kcsest.pdf tells us why this is true.
First, this is what America being a free country means. It means you have the absolute right and freedom to build your own cage if you choose to.

Second, although building on that idea, as a tech worker you have choice. You can choose to work somewhere that requires this kind of connectedness and monitoring, or you can choose not to. There are very highly paid engineers with no access to their email except on a laptop and during work hours. Ask around, ask this question during interviews.

Freedom means responsibility. If you want to make more choices you are agreeing to live with those choices consequences. We're learning very quickly that a ton of people are not ok with that deal.
But choosing the same basket as XDR would still satisfy that goal, and picking different currencies would be a trivial difference. And if that's the extent of the idea, the parent could have just said so, rather than taking on this coy mystique of "oh, I'd reveal my deep insight, but, novices like you have to do the research and figure it out yourself, else you won't be ready for it".
Shouldn't that be "R. Mutt's Urinal Changed Art Forever"?
Visible microphones really take away from the naturalness that you get from a fancy camera, and they make workspaces feel cluttered to boot.

Recommend getting a shotgun mic (AudioTechnica AT875R) and mounted it atop the camera, as these sit out of frame and still have great sound. Worth trying!
https://www.urzas.ai/cards/?card_id=2ff42256-1794-4720-a008-...

the generated card for me is somehow reversed. makes me wonder if the image is captured on the client-side and then uploaded.
Have people not seen any sci fi with self replicating mechanicals? It never goes well. Humans wouldn't be around for very long to remember anything at all.
Perhaps they should limit to one Airbnb per person, no corporate ownership, and no more than 6 months of the year.
It's the bitcoin of the XX century - a value store based on stakeholders' consensus.

Screw beauty.
This is very true. I have what most people would consider a "pretty advanced" setup for work, and all of my money has gone into audio and lighting. I use the built-in webcam on my work MBP, and I constantly get positive comments from colleagues and customers about my audio and video quality. For video quality, /lighting/ is actually far more important than the camera itself. Even a many thousand dollars camera will not fix bad lighting in a room.

Everything you said about audio is spot-on. I will say the cheap booms suck, and it's worth spending money on a proper boom. Heil makes a boom that's relatively cheap and actually good, but most people at work who ask me how to get started I say to either buy a Blue or Rode setup, with their kit that includes the boom and shock mount.

For audio software on Mac, Rogue Amoeba makes the best stuff, bar none.
Nobody sane would touch a project with that new license with a ten foot airgap! Just make a new repository in GitHub.
Ask HN: Is Amazon a better “data/privacy steward” than Google?
The trend as of late has been to "degoogle"-ify life, especially on HN and other tech places.

With that said, outside of self hosting, which, IMO is the "best" option - there are opportunities for other vendors. (Best meaning you know what you're doing, hopefully, but at the cost of possibly more money and time.)

Amazon runs and competes w/ Google offerings for across the board - do you think they're better?

They are "Ad-Tech" but my opinion has been that Amazon is "marginally" a better steward for cloud because they don't close shop/projects with little notice - they have many offerings across infrastructure.

They also do not have an open-ID esque SSO that ties your identity/life into one company - something that Google/Microsoft offer though the Microsoft one pales in comparison to Google.

I think it's also fair to compare against "Microsoft" here too, but IMO MSFT's image and privacy policies have vastly improved and are more transparent.

They are also in adtech, they have a search engine - bing but I hardly see Amazon discussed in this aspect.

Microsoft and Google IMO are much more 1:1 as they offer the same LOB - Google Suite/O365, email, etc but Amazon never comes up.
> much more complete combustion of the fuel

More complete combustion of the fuel they intend to burn. But since their mixture is very fuel rich, they emit a lot of methane. No amount of engine design can eliminate that methane from their exhaust.
My rules for Twitter:

* Maintain exactly one public tweet and one like
* Delete all other tweets within 24..168 hours
* Ensure that your # of followed == # of followers (this is for comedy, not metrics)
* Never quote or re-tweet
* Never reveal any personal or professional information
* Have an entirely cryptic bio
* Don't take it in the slightest bit seriously
* Don't invest any mental energy whatsoever in ephemeral trash like social media

The only winning move is not to play.
At least ask them for a free account.
Smallest I got from Samsung is Galaxy A52 which is ridiculous. Please make it more compact.
Netflix lays off 150 employees amid subscriber decline
Half of Joe Biden's Twitter Followers Are Fake, Audit Reveals
Yep, most Netflix shows are pretty bad, the movies even worse, and the catalog outside the US is 10x smaller.

Absolutely not worth paying for it unless sharing with a couple of friends IMHO.
I remember a rumor that they originally wanted to call the company "International Thinking Machines" as a dig at IBM, and the motto was going to be "When we say thinking, we mean business."
IMHO If Picasso was 24 today, painted what he did today, there would be no Picasso. Artists need to be at the perfect time + the perfect skill set at said time. This is a hard ask. EG. If you paint realism - 2020s+ is going to be hard time to make money.
I'm suspecting developers of phone that that they don't want to downgrade resolution of whole display because of marketing but making higher DPI phones is more than expensive.
Domestic workers have been competing with outsourced workers since time immemorial. The winning formula is to just be good at what you do. Outsourced work may be cheaper in salary, but it often comes with significant overhead and indirect costs that negate the salary advantage. In the end, the best value wins, not the cheapest salary. So just charge commensurate with your value: if you charge $20/hour in salary, provide $20/hour of value.
People are pretty vulnerable to the garbage that passes for news in the last 20+ years. I'm not so sure "fixing" (read censoring) social media will solve any of this, even if it was possible. The outrage machine will still exist in traditional news media, but they won't have to worry about new technologies unseating them. I'm not sure that is a good thing. Social media, to me, seems like just a comment section to current events, most of which are presented from traditional media.

FWIW, I haven't used social media since Snowden, so I don't know what it looks like today compared to 9 or so years ago.
How do you avoid configuring the API server to support OIDC?

https://kubernetes.io/docs/reference/access-authn-authz/auth...
https://palm.com/pages/product

The small Android phone already exists.
> Similarly, Uber was absolutely loved by customers when trips were only costing a fraction of what Uber paid for them, aka: VC were effectively paying for a portion of your trip.

As a regular though infrequent user of Uber, in the last place in North America where Uber was legalized (Vancouver CA), the lower prices were probably 10% of why people liked Uber. 90% of it was that it was simply light years ahead of the competing experience of: calling a cab, waiting for them to show, except they don't show, so you walk around downtown at 2am trying to find a cab with a light on...

Yeah, surge pricing sucks and the prices have gone up and all that, but even if Uber were more expensive than cabs -- and it very well may be at this point -- I'm still more than willing to pay extra just to be able to order a ride home from my app, and actually see that it's coming and not ghosting me.
That's pretty much what I mean by "being relevant", just my way of putting it.

Socializing and learning stuff, but in a way that doesn't feel like I'm shouting into the void.
Fuuuuuuuuuuuuck all the way off with this take, my dude.
I see it as a way of reusing waste before it goes to the landfill. The heterogeneity of a pile of trash is a function of scale. Imagine robots that cut trash into "confetti" which is then sorted by material (and grain when it makes sense) and glued into new composites. We have the tech for this now. Computer vision and pick-&-place robots are good-to-go.

I feel like we have all the solutions we need already, we just have to realize it and "get 'er done". That's part of why I like what you do so much. Cheers!
> some people are more willing to compromise than me

s/some/most/
Picasso had incredible technical skills. He was 14 when he drew this.

https://mediaproxy.salon.com/width/1200/https://media.salon....

Even when older, he could still draw with rare economy. This is just a few extended strokes - pure controlled line.

https://doitbeforeme.com/wp-content/uploads/2019/11/picasso-...

But he moved on, because there's only so much you can do with representational figurative drawing. He was more interested in psychological and perceptual abstraction.

So his imagery is often grotesque, deliberately primitive, and visually distorted.

But powerful psychologically, often in uncomfortable ways.

And hard to do - never mind invent out of almost nothing.
They let kids post on this site?
Why is their mixture very rich? Wouldn't a balanced mixture give them more energy, and therefore more thrust?
Simon, brilliant observations here and kudos on sqlite-utils.

I'm all for layers, a fundamental approach in our field to tame complexity. And the SQL model and SQLite have stood the test of time and are solid foundations.

I'm just wondering could we be stuck in a local maximum where the presumed answer is always the relational model? Maybe if we built the relational model on top of a different set of lower-level primitives (a type system instead of schemas and tables) we could escape local maximum we're stuck in? Just a thought.

There are a few somewhat ad hoc perf measurements here regarding the sqlite-utils and sqlite... https://zed.brimdata.io/docs/commands/zq/#73-performance-com...

I'm not a SQLite expert so if I did something wrong, please holler and let me know :)
It's not emerging, electromigration been a core constraint in semiconductor design for 60 odd years. E.g.,:

Blech, I. A. and Sello, H. (1966). The Failure of Thin Alluminum Current-Carrying Strips on Oxidized Silicon. In Proc. Symposium on PoF in Electronics, 496-505.
Maybe what transformers actually transform are us..
Every other answer to your comment was a bit pessimistic. I’m intrigued, we need to see more!