skysight-inc/HackerNews huggingface dataset:
> demands a certain expertise

I don't think it's a question of expertise; it's a question of effort (and cost). So it's a management issue; are we going to put the effort in to support desktops, or are we going to settle for a crap website? Because a website that doesn't support desktop is a crap website.
Apple doesn't sell your data, they force you to give it away yourself.

They are fundamentally an anti-freedom company, and you need freedom to protect yourself.
This is what the client_credentials grant flow is intended for. If you're using any interactive grant flows to secure S2S communications, you're doing it wrong.
More interesting to me: Mr. Beast was rated by adolescents (ages 10-24) as the "most authentic media".

Source: https://www.scholarsandstorytellers.com/css-teens-and-screen...
Anti-monopoly policy is one lever the president has and has been essentially ignored since the 70s in favor talking about the fed the fed the fed all the time.

As one example the meat packing industry has become highly consolidated, squeezing both farmers and consumers while extracting massive profits. But across the entire economy many industries have become highly consolidated and subsequently raised their profit margins to the detriment of everyone but shareholders.
Lessons Learned from 20 Yr of Site Reliability Engineering
eyeroll I give you a direct example of a 50% price increase and you just blah blah with some irrelevant bs

Ok, then let's look at my local Safeway. Shit is OUTRAGEOUS. If you don't think groceries haven't gone up 30/40/50% then apparently you don't look at any prices while you shop.
> this has never been a society friendly to the common person.

Nope, and in fact the American Dream is exactly this - it's saying that if you work hard / are lucky / have talents / have connections / have resources (the more you have the higher chances you have), you too can rise above the common person and join the ruling class of

> Slave owners, robber barons, industrialists, tech owners

Of course this is out of reach for most people, and for the vast majority of people, as soon as they climb out of the common class, they immediately look down upon the common people, since they are now above the peasants. This is human nature. Everyone who complains about the rich will do the same thing as the rich as soon as they become rich
I have actively gone looking for a way to disable the touchscreen on my laptop, because I explicitly never intend to use it - who wants to look at smudgy fingerprints? It only gets activated by accident and I'd rather not have it at all.
I'm sure you'll make an allowance for Groundhog Day. If not always, then at least one day of the year...
if GDP growth fueled by deficit spending is still legit GDP growth, then couldn't we easily have double, triple, or 100x growth just by more deficit spending? Why limit it to single-digit percentages? Let's really get things cooking.
Heuristics: Should you leave the startup you work at?
In 1990, I included the Hilbert Curve in my senior thesis for my BS in Math, which I presented to all the professors in our math department. Years later, one of those professors became a family friend. He was an incredibly supportive mentor to multiple people in our family. After he passed away last year, I learned that his great-great grandfather was David Hilbert, creator of this curve. It must have been fun to see some of his family's work displayed in one of his student's theses.

https://www.hmc.edu/in-memoriam/hank-krieger/
> Sometimes just hinting at it is enough and doesn’t jar you out of the story.

Agreed. A good example of this is the sex scene in To Sleep in a Sea of Stars by Paolini. The whole scene is maybe one or two sentences.
Stenography with ZSA Keyboards: A Tutorial
Is it? CSS Grid and flexbox exist. What I do is design at the smallest screen size first (mobile first), then increase the screen size until it looks bad/breaks, then I set a breakpoint and use CSS to adjust things as needed. Rinse and repeat as many times as needed until it looks good at all screen sizes. It really is not difficult if you know what you are doing.
Why is this appalling?
Cancel culture is cancel culture. But what's the idea that makes it bad? It's not over a protected class which we do deem worthy generally but over political views which are not uniformly considered protected.

Why shouldn't free people have the right to freely associate as they would like? Shunning is just the free expression of association, particularly the lack thereof.

Though if I'm honest, I thought political views are protected in California.
There's a lot more than was allowed on broadcast TV in the 1980s, and while cable (including premium cable) with different rules existed, it was a much smaller market.

Definitely not less than was allowed in movies in the 1980s; especially on a same-rating basis, where the standards have generally gotten narrower, not looser.
Maybe I'm not looking at the right terms but the appendix isn't on it. Is there a requirement for astronauts to have an appendectomy? Like researches in Antarctica.
Can we please add to the title that the linked page has a large picture of a human brain? I made the mistake of clicking on this thinking it was about a psychological or neurological phenomenon but nope.
There are definitely no less libraries for C++. I am a scientific software engineer, and occasionally I do develop new things. And Rust makes writing new system-level software way harder, which I don't understand, as it is a system-level language.
Hacker News YX could be way better though
Not really. No media queries, no percent widths or non-pixel units, no margins (everything is padding or gap), no viewport units, etc.

I'm a CSS person who works in Figma every day and Figma absolutely sucks for responsive design and handoff to devs.

I wish I could just design in Framer or Webflow but those tools while being Figma-like are entirely catered to content websites and not to product design.

Design tools should render with HTML and CSS, not make the mistake Figma made in creating their own rendering engine they have to painstakingly recreate CSS from scratch with.
Instead of looking at the crates themselves, you might want to check your (or others') Rust application with https://github.com/rust-secure-code/cargo-geiger to get a sense of effective prevalence. I also dispute that the presence of unsafe somewhere in the dependency tree is an issue in itself, but that's a different discussion that many more had in other sub-threads.
Because they can't. Their product currently has zero GPU compute.
Rationale is "I will be offline, so don't even try to connect". When I'm hikking in the mountains, maybe spending a couple of days up there, I only use my phone for GPS and/or photos - so everything else goes off.
Ya, mostly in China because they do it so cheaply, and aren't really concerned with the environmental consequences of cheaper refining processes. The market demands lower prices before anything else.
I don't want 2008 to be the benchmark for a good economy.
Mainframes also do lots of other things that this doesn't really do. Like allowing you to pretend its a bunch of multi-core machines, or even a single one.
> My so-called CPU “active” time is actually an inferred value; CUDA spins the CPU 100% constantly, even when the CPU is just waiting for the GPU

The CUDA Runtime and Driver APIs allow you to use“blocking synchronization” where the CPU will go to sleep while waiting for synchronization with the device. However, it seems that PyTorch doesn’t expose this functionality in any of its Python APIs:

https://github.com/pytorch/pytorch/issues/28224

What happens when you try using ctypes to call into libcudart.so to set the device flags as described in the above issue? You’ll have to call torch.cuda.init() for it to work, and unfortunately it won’t work if PyTorch is launching kernels from other threads.
In uni, a couple students had those tablet/laptop reverse foldable devices as a fancy notepad, used with a stylus.
I read a lot of things in oauth, implemented several Saas/API access for server to server communication, and I feel it's so insecure that I am sure I have missed something...
I don't know of many companies that increase salaries or have executives take pay cuts while sparing employees during downturns, irrespective of how large their war chests.

Much to the opposite, I am more used at seeing companies layoff employees while posting record profits.
Whataboutism.

I don't think he's confusing anything. He's saying the only reason those funds were allocated were because:

1) The government wanted to do it (military reasons)

and

2) The public found it exciting (we're putting a man on the moon)

Without either of those, this wouldn't have happened.
No. This is wrong. Implicit is deprecated in favor of authorization_code + PKCE
Where are you located? Here in a busy midwest city, the police are too short staffed to even respond to a 3 car pile up in the middle of a busy intersection sooner than 2 hours after the fact.
With 44m in financing they probably expect a billion dollar company. https://oxide.computer/blog/oxide-unveils-the-worlds-first-c...
The removal efficiency of the filter is built in to CADR, so say a MERV-14 filter with higher air flow and a HEPA filter with lower air flow can have the same CADR.

The Wikipedia article does not discuss the 2 (different!) methods of calculating CADR but this does: https://frdmtoplay.com/nagivating-air-purification/
Think a lot of the issue is the difficulty grasping what size the actual screen is. I get webpages on my 1080p monitor where everything is just far too big but I guess as far as the code is concerned it has limited knowledge of whether the physical size of the screen is 24" or 5"
Sounds like something similar to what Samsung has where certain apps like Samsung Notes can 'move' between devices, such that if you were working on a note on phone and immediately switched to a Galaxy book or tablet, a notification shows to continue editing on that device.

Besides, links and notes, a seamless transfer like that would be a pretty convenient feature for video/audio apps like YouTube.
seL4 primarily uses a proof assistant, which is a MUCH harder way to go about formal methods. It's thorough, sure, but for 80% to 95% of the average code base, model checking would work just fine.

It's not a good metric to claim that since seL4 did things the hard way that any formal methods project is impractical. That's simply not the case. seL4 is an OS with very specific process isolation requirements that they wanted to model using a proof assistant. SQLite wouldn't need that level of instrumentation in proofs. Most of SQLite could be formally verified using a model checker.

Model checkers, such as CBMC and others, can provide safety checks without needing to build constructive proofs. In practice, constructive proofs are only needed for things that model checking can't solve, such as data structures and algorithms requiring recursion or looping. In these cases, a proof assistant with inductive theorems can be used to extract equivalent software that can be proven to be safe in the recursive case. But, if your goal is just to check to see if your code is safe, which goes beyond the limits for most developers to test with unit testing alone, then model checking is good enough.

I use model checking in all of the C software I write, and have done so for nearly a decade now. It's not a question of "when they work". I demand that it works, just as I demand that unit testing works, so I make it work. It adds, perhaps, 30% development overhead. Model checking makes my code safer because it gives me the ability to track function contracts, UB in integer and pointer math, and resource ownership. Attempting to do this with unit testing requires that I'm smart enough, every time, to create the right tests for things that simply don't show up when I look at code coverage reports. That classical trivial test of inputs using 0, -1, numbers close to or equal to integer limits, etc., don't necessarily catch the limit hole caused by wonky pointer math. The coverage report shows 100%, and code reviewers may miss it. But, the model checker doesn't.

I used to think I was a great programmer. Then, I spent a couple years running my code through a model checker. Now, I know better.
Is this available anywhere outside of UW?
I've learned some very good tips from 2.5 admins but I have to take breaks often because their egos are a little much at times...

The shows at https://www.jupiterbroadcasting.com/ are my personal go-to.
Clang static analyzer and tidy through CodeChecker [1]. Plus the compiler warnings of course.

This to complement unit and integration tests in simulation, with all sanitizers (UBSAN, ASAN, MSAN, TSAN).

Both are useful. In practice, the runtime tests catch most bugs. But now and then some bug sleeps through and is caught by the Clang static analyzer. It's always impressive to see a display of 30+ steps leading from an initial condition to a bug.

Finding bugs is the the static analyzer really. Clang tidy (a linter) is for code "cleanliness" and avoiding dangerous constructs. But I don't remember tidy finding a real issue, contrary to the static analyzer.

[1] https://codechecker.readthedocs.io/en/latest/
Note that a crate having any unsafe and having unsafe all over the place are two different things.
news.ycombinator.com###hnmain:style(max-width:100ch)

Paste this line to uBlock Origin My filters
The first human moon landing is among the top 5 most watched television events, topped mostly by sports events (and possibly the rescue of the rescue of Chilean miners).

Of course "most watched event" is more complicated, but I'd still bet on the moon landing, soccer and the Olympic opening ceremonies making up the top, rather than war or terror attacks.
Google studied how to pry open Apple’s control of the iPhone by leveraging a new European law intended to help small companies compete with Big Tech.

Last fall, Google executives met to discuss how to reduce the company’s reliance on Apple’s Safari browser and how best to use a new law in Europe to undermine the iPhone maker...

Google, which the law will force to allow more competition in search, explored ways to lobby E.U. regulators to crack open Apple’s tightly controlled software ecosystem so Google could siphon users from Safari and Spotlight...

Curious about HN's stance on carrying Google's water in these skirmishes advocating a forced dismantling of Apple's vertical integration consumers continue to deliberately choose, in service of enabling the deepening of Google's moat in collecting and profiling their (your) behavioral data exhaust in a way consumers don't understand.

Stepping back...

I believe engineering should pay the hard price to make user use easy, and privacy easy. I believe the hard work for achieving that ease makes users happy and engineers wealthy.

Apple should be allowed to benefit from the sweat they invested and sell a mobile console appliance, while others should be allowed to make build-your-own mobile compute. Put another way, there's room for an iPad Pro 13 and a Frame.work Laptop 13. None of these should be forced to break their model to accommodate one of the others'.
Former foster youth 21-23 in age. I was initially confused what foster youth would be spending $1k/mo on.
I would argue that a civilization that is actually capable of building a generation spaceship, should be capable of defending their planet from GRBs.

How? I have no idea.

Then again, we also have no idea how to build an actually working generation ship :D
The milk I had to substitute brands because Walmart no longer sells private label organic milk at our store. Everything else seemed to line up.
Harnessing molecular power: Electricity generation on the nanoscale
Most people who can do this (aren't as entrenched in AWS) end up moving to a cheap VPS provider so that they don't end up having to pay for all the internetworking, facilities, throw redundancy out the window, and then still have to pay the IT burden to heavy-lift all their workloads to this whole new "Oxide" system.
Turn Mailto into a Shareable Link (A lot of use cases)
What are you talking about? Nothing in the article even remotely suggests that.

What it does say is that most of the world's refining of lithium takes place in China. It's right there in the subtitle: "Lithium is relatively scarce and mostly refined in China."
Now that's a name I've not heard in a long time. I wonder if my account on /. still exists?
As a programmer from a bad family, group home, foster family background myself.

$1k per month without working or struggle would have destroyed me.

Imagine all the weed and whiskey I could have bought for that? (Which is what I would have done)

Instead of working I would have been lazy.

Homelessness and hunger was my major motivator and made me work in fast food while dreaming of computers.

The lack of struggle would have crippled my drive.
Government internal debt is a problem too because while, sure, you can print your way out of it, you are still devaluing the currency repaid.

Take social security for example. You can print money to repay all the money borrowed from the fund, but in doing so, you have debased the currency it pays out.

If a retiree is owed 100$, you pay it with printed money, so in theory they are made whole, but it no longer has the same purchasing power. It is a rug pull for the retiree.
Sorry to be slightly obtuse, which details are you referring to here? Help upon installation? At the moment, we are helping customers individually, yeah. But we do have a documented process we are following https://docs.oxide.computer/guides/system/rack-installation-... (and more on other pages there)
> "Swap it with one that you know works"

In the video linked above they say the parts have to be Apple-certified. It's not as flexible as buying any random part and being able to use it right away, but it's not surprising considering it's Apple. Still, this makes swapping parts a predictable process.
Location independence is not the interesting part of Oxide’s compensation strategy. It’s that everyone makes exactly the same. There are no negotiations, no levels, no promotions, and consequently no promo packets or promo projects. This is extremely enticing to FAANG types who are tired of a certain kind of bullshit, at the cost of a certain level of ambition.
Apparently it's exclusive hardwood for exclusive decks and the demand for this exclusive tropical wood is increasing. This article really likes the word exclusive.
Taking Cannabis for Anxiety Probably Isn't Helping
If you're designing a website to work on the smallest smartphone to ultra wide monitors you need to work on a more serious quality management strategy.
> So this whole argument presupposes there were any “rules” that were broken.

You're conflating legal laws with social and moral rules.

Nobody's claiming they broke legal laws; they're claiming they broke social and moral rules.

Rather than discuss that point, you retreat to arguing they didn't break legal laws.
Very exciting. CLIP and latent space embeddings in general are such an intuitive to use and powerful tool.
I'm using it in some hobby projects, from semantic image search in private collections, to trading card recognition among tenthousands of cards.
Love to see more open source work from big players on this.
> Is there any way Apple can ever be perceived as honest in their decisions?

Sure. We will perceive them as honest if they choose to do the right thing regardless of financial impact and completely of their own accord. If governments had to step in and force them to do things, it's just damage control.
Old Reddit doesn't work well on mobile devices at all. While it can scale the user interface, it's designed with a mouse in mind, making everything appear too small. I like using Old Reddit on desktop, but it's not user-friendly on mobile. For example, on HN (Hacker News), it's simpler; there are no images or different-sized icons. Even here sometimes struggle to tap the right links or flags, and I have to manually go to the settings to undo it. I'd prefer this over a poorly optimized mobile UI. However, optimizing the mobile web page would solve these problems.
And the average person has almost no interest in it, except for world-history events like the first landing on the Moon. The first landing on Mars would be a similar event.
Do Microsoft's legal team has some magic loophole to avoid the antitrust case they're bringing on themselves?
Google might not have the power to give you that, but they certainly have the power to prevent Apple from giving you that

Or do you really think Google is paying billions without stipulating that Apple can't offer a choice during setup?

> Also Google would love a law enforcing that, since now they don't have to pay all of these billions of dollars and most people would pick Google in that choice anyway

I need you to square this circle for me. If Google were so confident that people would pick Google of their own volition, why would they bother spending billions?
I'm pretty sure people said things like that when talking about sending people to the moon.

And people probably said things like that to Columbus about sending boats across the ocean.

Humanity has to do grand projects like this that seem ridiculous, because once in a while, it changes everything.

And even if it doesn't, the cheer amount of ingenuity it requires brings benefit on their own.
By this same argument your router is selling the data of people who don’t know how to connect to a VPN.

At some point - probably almost immediately - you’re going to use your phone to access a service or app outside of Apple’s walled garden. You’re going to connect to an open WiFi network, a secure WiFi network without a VPN, the wrong VPN, use Bluetooth, download an app, visit a website, make a search. At that point your user data is going to be collected by services Apple does not control.

By all accounts Apple has and continues to implement increasingly aggressive privacy protecting measures on their devices to minimize the amount and type of data third party users can collect.

I’m not an Apple apologist. But it’s just funny to me how someone could see all these services collecting their data and see Apple as the problem. Apple cannot save you from yourself. If you want complete privacy, you need to jump through hoops to get it, and you need to know a lot about technology across all levels.
Generate images in one second on your Mac using a latent consistency model
Everyone in the comments swems to be in love with KM. I wonder, what do you all use it for? It sounds like I’m missing out on a lot, but when I’m thinking about it, nothing in need of automation comes to mind. That is, except for opening a few common apps and window management. What am I missing?
> Yes there are problems in America,

We live in a world where a large subset of people have fooled themselves into believing that there's some other place without problems. If where you live has any problems, then it must be an awful place to live - so their thinking goes.

This group, for whatever reason, don't seem to weigh the pros and cons of every other place and see that most places are either hardly any better or MUCH worse.

Italy, Spain, France, and England were great for hundreds of years before the US, and they're still pretty damn good - all things considered. The odds that the US goes from the global leader for two hundred years and turns to a sh*t-hole in our lifetimes is pretty unlikely.

But somehow ~40% of the country convinces themselves this is true based on who the current president is - and, honestly, it seems like not much else.
Ultrasonic bursts? Is not that quite an old tech for stones?
I really wonder what their mental image of a product market fit is. They're undeniably doing some cool stuff but myself and it seems like everybody else has to do some serious mental gymnastics to figure out who they sell this to and what needs it fulfills or niches it can fit into.
It's easy to say stuff like this, but go try and implement it. It's really hard.