skysight-inc/HackerNews huggingface dataset:
And locking down the primary device a kid has access to creates the lure of the forbidden; that won't last any longer than their access to another device without those restrictions. That also creates an environment where if they do find something they really ought to be able to talk an adult about, they can't talk to a parent about it because they'll be in trouble (and get their friends in trouble).

One of the widely studied aspects of child psychology is how to instill guidelines that last even when they're elsewhere without any enforcement other than self-enforcement.
We tried this at a previous company I was at, it was incredibly tough to maintain and tune. We ended up using databricks which made it significantly more productive.
Not this one, though. It's actually surprisingly expensive for what it is. One could build this with an ESP32 and a couple of jellybean parts to regulate the voltage to what the chip needs and create a voltage divider. Even with a case, it's less than $15 BOM.

You'd have to write the phone app, but that would be as complex as you wanted.
Because you can inspect the code and rebuild it to generate the same binaries.
re:3, In a previous thread about this, someone said that RHEL only would make deals with cloud providers to run RHEL licenses prepackaged if the whole stack was RHEL, and obviously, if the cloud provider is not already running RHEL everywhere, that doesn't work out so well.

(I have no personal experience trying to run anything like this, this is purely citing a previous comment made.)
New Jersey is on the rocks, probably won't recover.
Quick google indicates that a 1MW solar array yields around $40k revenue per year [1]. (I might be misinterpreting that, and also might not be the best source, but multiple hits gave the same ballpark.) With that route, you don’t pay up-front for the electrolyzers, DAC plant, and Sabatier reactor (cost unknown to me for all those components). Maybe add some batteries (Li-ion? Flow?) and you can probably increase annual revenue a fair bit (again, I don’t know how the initial outlay would compare between the terraformer and solar-plus-batteries). I know the two options aren’t totally comparable, because you get an easily transportable fuel with the terraformer. Still, my intuition is that just from the economics, this might be slow to take off. (then again, I know almost nothing!)

[1] https://www.solarreviews.com/blog/what-is-a-solar-farm-do-i-....
They do it on purpose to frustrate you into downloading their app

The app is even worse tho so you're not missing out
Stability AI Head of Research Resigns from Startup
You may find something like node2nix helpful (https://github.com/svanderburg/node2nix). This converts your package.json into a Nix expression that can then be cached. You're right that it does require some setup and a bit of Nix knowledge but could yield significant benefits and take a good chunk out of that 20 minutes.

Another option might be to use pnpm instead of Yarn and cache your pnpm dependencies. pnpm actually works a bit like Nix in that it creates a pnpm-lock.yaml file with content-based hashes for the full package.json dependency tree. This enables it to quickly determine which parts of the dependency tree it needs to build and which are already available.
New Zealand seeks to exterminate predators to save native birds
Excellent. With luck, we'll be able to transform the Western countries into bastions of privacy and individual freedom like China and North Korea.
People are not generally consenting when given the option. See what happened to FB stock when they were forced to show the pop-up.
I was a student at a boarding school in the 90s that left WinPopup installed. I quickly found it and taught the whole campus. They tried to remove it but we had backups by that point. Then we found the teacher access internet proxy which had none of the student restrictions and shared it with everyone via WinPopup… I told the staff when I graduated.
Yeah, a phone is definitely a "general computing device", while a video console arguably is not. But considering that you can watch Youtube on a Nintendo Switch, I think they should maybe be considered "general computing devices" as well.
It's worth a try though to push back. We are not talking holding off a bunch of murderous Russian troops. It's not a good look trying to recall " ... and they came for me" either.

Just push back. Here's an example: Reolink are a Chinese company, what makes cameras - nothing intrinsically wrong with that but you should expect them to be be required to comply with any requirements the CCP might ... require. Reolink are also quite a savvy bunch and have gradually ensured that their products don't actually require an internet connection, at all. They do offer an app and the requirements of using the app are that the cams need to see the interwebs and be gatewayed by systems that are eventually subject to the CCP.

Now this isn't quite yet perfect. Rio cams have offered ONVIF for at least five years, so Zoneminder, Frigate and all the rest can be your NVR. The camera's VLAN can be firewalled off from the internet. Mine is called THINGS and it is net door to SEWER for stuff I really worry about!

Their doorbell offering is pretty decent but two way comms needs some handling. At the moment their app is the best bet for functionality but there are signs that Home Assistant with webrtc - https://github.com/AlexxIT/WebRTC should be OK.

It is not impossible to live without prop software. At least care and try.
I still have a soft spot for the "brushed metal" appearance available in Mac OS 10.4.

It may have been over the top, but it looked so cool. And it did tricks that made it very difficult to replicate on other platforms of the time, including multiple transparent layers and dynamic gradients to create fake "lighting" effects on the metal.

One of these days I need to put together a realistic CSS take on it; it should be doable now, but it certainly wasn't in 2006.
Offhand, this might be HiDPI stuff. I haven't interacted with it myself, but upscaling for unaware applications is the first thing I would think to look at.
Sure, but for a welder there is a correlation between doing well at the test weld and how good you are at your job.

With leetcode interviews there seem to be very little correlation.
Some sunglasses and a nice cold beverage and it sounds like a fun Sunday morning!
Show HN: Automize – I hate writing web tests so I wrote a Chrome extension
Whenever I write my integration tests or writing a script to scrape a website 90+% of my time is spent fiddling around with selectors. I absolutely hate all the test recorders because most of the time their selectors are so bad that it would have just been faster to do it myself. This lead me to create my chrome extension called Automize. It's basically just the chrome dev tools "elements" tab, except you can click specific attributes to hone in on a reliable selector. It will highlight the element live so that you can verify it works before moving it into your code base.
Agreed. That area of the Yucatan is not exciting to drug cartels specifically because of its inaccessibility. By far the biggest risk is from disease which can be deadly due to the difficulty of getting back out of the jungle.
Europe, mainly the eu, lacks competition. This has the benefit of keeping the job market stable but comes at the price of product pricing and quality inefficiencies.
I wouldn't beat yourself up over it - in states where full service isn't mandated by law it is expected that you tip your attendant when you go to a full service station.

I worked at one in PA growing up and most of my wages were from tips, sort of like being a server.
I don't understand why everyone keeps saying that no one is going to want to use PostgreSQL for inference... of course not, no one is suggesting that. But they are going to want to store embeddings of their data and be able to query those embeddings by similarity. Just like they do today in the various existing vector databases.
edit: changed my original reply after I read the docs: https://developer.android.com/guide/topics/connectivity/blue...

On Android apps that don't use Bluetooth to derive location, and assert that they don't, will not prompt the user for a location permission. But this app is requesting `ACCESS_FINE_LOCATION` in its manifest. It could be doing that because they're acknowledging they are using Bluetooth to derive location, but I don't think they are. I suspect what's actually going on is that they're requesting that permission just so they can show your location inside an embedded map view. In which case the permission is not related to its Bluetooth usage.
I think that Redhat’s been failing at the PR part of their business. I agree with all of your points about their motivation and value. They’re a valuable part of the community.

From an outsider’s perspective, they were merged with IBM, “killed off” CentOS, and restricted access to the sources of their distribution within a relatively short span. It just looks bad and makes everyone feel like they have to justify that Redhat is still a good company.
Hey, (one of the authors here). First of all the blog post is talking about the v1 of the paper, which was extremely fast, but not comparable to SD in any way. The v2 in arxiv is slower and does not achieve 0.5 seconds, but performs much better and closer to SD. So no doubt on this. But I just want to mention that you should not compare apples with oranges. Torch.compile also makes Paella much faster and using an optimized sampling pipeline it would always be faster than SD at 256x256 if you keep the conditions the same. Of course you could talk about distilling SD and then you can achieve maybe 1 step predictions etc. But you could probably do the same to Paella. I think it's important to stick with the main improvement from the paper that naive sampling can be done with much less steps when sticking to the original method, while being simple in its theory and implementation. But hey, way to go and improve on Paella in the future maybe :D
I would too. Some of us have trouble trying to justify buying a System76 laptop etc; the anti-abuse options are usually more expensive.

(Edit: PinePhones are cheaper than I thought.)
It's probably a lot to do with the subreddits I'm in but I do hear Xbox Cloud Gaming get mentioned quite a lot, far more than the actual console itself. I actually wouldn't be surprised if the next generation of consoles (PS6) ends up being the last in the living room brick form factor. By the point that generation would be ending (2035), 5G, satellite and fibre should be pretty widespread across the globe with 6G starting to roll out in developed nations. I could see Microsoft and Playstation just moving entirely to streaming at that point because stuff like AR glasses and neckbands will be widespread. Alternatively they might release portable devices like Steam Deck.

If they were going to keep the console line, I could see them going all in on the VR ecosystem, proper treadmill accessories, gloves, suits etc in order to differentiate it from the cloud offering. That's if there's not global war/famine/drought/economic depression by the time 2035 rolls around.
and on Github too, or some other public build mechanism. The thing of it is, is that if it's open source, but the binaries are built privately, there's no guarantee that the binary actually came from the source that's been presented.
oh I already know it's not, you don't even have to be alive to vote let alone show ID
Most complaints these days about Gibbon are more about the Enlightenment era biases and tone. We have an additional 250 years of research and archaeology of the Roman Empire to build more facts, but Gibbon is still worthy and informative.
CDC alert after five cases of malaria acquired locally in Texas and Florida
Probably because no one has built one yet.. feel free to do so.
The problem with "only scraping by" is that a lot of people have very high baselines for "scraping by".

"I'm barely scraping by", says the person with an above average income, living in an expensive city, frequently going out, going on multiple vacations per year, buying luxury items, etc.

People who are actually scraping by do not talk about needing to buy a bigger house if they have more kids, because they literally cannot afford that.

https://twitter.com/kitten_beloved/status/166761594887723417...
New entrants into hard to enter markets that require tons of capital, resources, and time to spin up manufacturing on?

Yea, just tell everyone to hold on and wait for good times to come when they can’t afford cars or food.
A factual claim is by definition not an opinion
That worked really well in China. <https://en.wikipedia.org/wiki/Four_Pests_campaign>
feel free to give a counterargument anytime
"same". I haven't been following progress with reproducible builds, it that actually possible today?
My experience is mostly limited to iOS where adding a trusted root CA is relatively easy. It's uncommon for the average app, but most of the big ones do it. iOS itself cert pins most things as well. But on Android, since adding a new CA is much harder, I'd guess fewer apps do it there.
> developer has a strong case

Strong case? Apple can change the rules tomorrow to whatever they want.
Feminism is the movement that seeks to free both men and women from traditional gender relations. Feminism isn't the term for the women's side of a war between the sexes. It's an intellectual framework that offers tools and analysis to understand and dismantle the patriarchal system that harms us all.

If you read my post from that perspective, you'll see I'm very much talking about men. Perhaps this is easier for me as a gay man to understand since the harms of patriarchy are VERY clear to me.
Just a quick note:
You have to see your gut flora as an actual flora - like a forest. It doesn't get sunlight, you feed it nutrients. Whatever doesn't get fed dies, and what gets fed multiplies.

Now the more wishiwashi things is that some effects have been noticed, like if you have a biome that loves straight sugars, it will lead you to want to keep feeding it sugars, since you're very efficient at getting energy out of it, since you've cultivated a large amount of bacteria that does that well. Some can also affect their environnement to help themselves and damage others.

So it's tough to starve the "bad" and feed the "good".

Ideally, your gut would be used (and optimised) to a whole and full diet that gives you all nutrients.

All this to say - you can take probiotics if you want, but if you don't feed the bacteria you put in there, it's gonna die. So you have to both change your diet AND take probiotics.

A way to do both? Lactofermenting! Just take some foods you like, lactoferment them and eat the non pasturised food. You are selecting for bacteria that feeds on foods you like, and putting both them and their food in your gut. They are going to thrive, while your old flora won't like it.

I recommend making your own sauerkraut or kimchi to start, takes 10 minutes and 5 days of waiting. Costs 2$. Expext to get farty - that's the bad stuff dying and releasing gas.

That just my ramblings and I don't have solid sources on hand, but if you read up on poop transplants this kind of makes sense.

Edit: If you're into sourdough, making a starter is basically selecting for wheat digesting bacterium. So you're kinda doing the same with your flora! (Sourdough isn't a source of probiotics since it's cooked, it's just an analogy)
What Lawyers, Doctors and Priests Have in Common (That AI Can't Do)
> There’s no shortage of open devices available to buy.

I'd like an open device that supports iMessage and Facetime.

I don't understand why I should have to give up all the iOS software that I really like just because I want to run one app on my device that Apple doesn't allow.
Two responses:

First, this piece makes me think of The Closing of the American Mind, by Allan Bloom. Highly recommended, it's more relevant than ever.

Second, I am reminded of these passages from Justin E.H. Smith:

> Yet the new social mores are not going to last forever either, and sooner or later the young people who memory-holed so many of the things I once thought would last forever are going to have to begin again the work of mining the past for tried-and-true moral sensibilities with the suppleness and vigor to help them navigate through this objectively problematic world, and to thrive. We might be depressed, but we are not without purpose: our purpose is preservation. The bubble of “false representation” is going to burst sooner or later, and when it does the value of our investment in old-style commodities will become clear again.

And:

> I have become convinced that the best way to respond to the threats posed by new technologies to the conventions of literacy that we continue to strive to maintain is to return to the practices of knowledge transmission that preceded literacy altogether and that characterized oral cultures: namely, education should involve the rote internalization of texts. Make kids memorize epic poetry, or the Bible, or King Lear, or the Upanishads, through recitation, adding a few lines each day over the course of several years. They do not even need to see the texts in written form, but only to hear them and speak them. Eventually one might make them compose epic poetry in their heads, too, like Solzhenitsyn biding his time in the Gulag by reverting to oral literature when his writing implements had been taken away, adding a few lines each day, accreting a world inside of himself.
Indeed, hunter gatherers are severely lacking in this aspect. They can’t take their Che-vitamins. Look, I’m not even mentioning that they’re burdened with intense physical activities like foraging and hunting for food in the forest instead of enjoying the privileges of modern life, for example sitting in front of a computer all day long to earn green papers to then go to the supermarket and buy processed delicious-corn-syrup foods to eat with those green papers, all without even burdening your leg muscles! It must totally suck to be a hunter gatherer indeed.
I mean, I’ll easily concede there’s been a consistent trend for shorter songs, more singles and more solo artists since the… 60s (?), but it is also heavily dependent on your taste.

https://youtu.be/OvC-4BixxkY

and that’s just the first random 2021 song I can come up with within a second.
Please go ahead; it isn't my site.
When I was working at Microsoft one of the parking garages had an auto detailing place in it so you could park your car and come back to it washed, waxed, cleaned, etc.

Was a nice perk and convenient since I was going to park my car there anyway.
this is hacker news all time favorite wikipedia article. it needs to ascend to the pantheon in a list within a new tab at the top of the hacker news website and removed from new submissions.
However, that wasn’t the end of the Infinite Jukebox. An enterprising developer: Izzy Dahanela made her own hack on top of mine. To make it work without using uploaded content, she matches up the Echo Nest / Spotify music analysis with the corresponding song on YouTube. She hosts this at eternalbox.dev. It runs just as well as it ever did, 10 years later.
The two things, Perseus and what Daan calls "FIP" here are a bit apples/oranges. But they are very related. FBIP/Perseus is an algorithm for efficient reference counting with reuse. "FIP" is actually a calculus (and thus a class of programs) for which you can guarantee in place updates. It's like the difference between an interface and an implementation of that interface. Perseus is an algorithm (implementation), FIP is a calculus (interface which can be implemented multiple ways.)

So yes, Lean 4 does use "FBIP", but "FBIP" is sort of more like an evaluation/compilation strategy, it's not any one algorithm or specific semantics. To be more precise, Lean uses Perseus, which basically has the insight "if an object's refcount is 1, I can do an in place update." You could say FIP is the natural evolution from taking a specific algorithm -- Perseus -- and sort of taking it and thinking about it from a language design POV. Perseus is the dynamic runtime implementation of FIP. But the calculus also has a static approach, too, which the paper describes using a uniqueness-typing algorithm.

These things do influence the language directly and are visible to programmers, so I don't think it's fair to say Lean 4 uses the FIP calculus described in this specific paper. For example, this semantic calculus is going to be user-visible in the next release of Koka; you'll be able to annotate functions as 'fip' or 'fbip' where the compiler will do linearity checks on the given function to guarantee that it doesn't use stack space, without needing the code generator to insert the dynamic reference counting checks required by Perseus. This also requires a notion of second-order function, stack space, etc. So it's not just some implementation detail, this is something Lean 4 would need to go out of their way to support and design for users.
Very interesting. The Radar part goes over my head.

Seems pretty clear that Tesla simply doesn't want to depend on suppliers for this kind of stuff. If your building millions, not paying 20-40% margin on ever radar can make a lot of difference. Given the shortage of chips, now the have the ability to replace the chips themselves rather then simply having to wait for a supplier. Now the have a team full of experts in-house, and that team likely pays for itself.
This analysis doesn't hold up when you consider that apartment buildings pack multiple cuboid spaces into a single larger cuboid building, sharing floors and ceilings with each other to lower heating and cooling costs.

This becomes obvious when you take it to the extreme. A cube of 10 × 10 × 10 meters can be divided into 1000 units of 1 cubic meter each, and has an external surface area equal to 6 × 10 x 10 = 600 square meters, or 0.6 square meters surface exposed per unit.

A solitary sphere with a volume of 1 cubic meter has a radius of 0.62 cm and a surface area of 4.836 square meters, which is over 8 times worse, even ignoring the fact that it's harder to utilize the space in the sphere.
Adding this sort of friction would increase spreads. Market makers are a net positive for markets (who buys/sells when no one else wants to?), and I don't see any downside to allowing them to manage risk and trade quickly. I think the way to increase fairness is to change the way orders are matched.
By experiencing yourself as something in addition to your thoughts.

Think of listening to a talk station 24/7, since you were 2. You have come to see this radio station as your own internal voice - it seems to always be there.

Then suddenly someone turns off the radio. Or tells you - hey, this is a radio, notice the hum and its weight and warmth. Or says - listen, there’s silence in the room in which the radio-produced sound exists. Or, “notice, you’re breathing. You just inhaled. Now you exhaled…”

There’s an infinite amount of practices evolved to do just that.
Hey this is super cool. I'm the co-founder of Rive and would love to chat about what features you were lacking! We're launching text soon, which I imagine is part of it. But I'd love to know more and see if we can help with future projects. Feel free to email me at guido at rive.app
China’s solar is now at twice the capacity of its coal power