skysight-inc/HackerNews huggingface dataset:
Let’s say we do that, use UTC everywhere. You live in London. It’s 3 PM. For you, that’s mid-afternoon. It’s your brother’s birthday. You want to phone him and wish him a happy birthday. He lives in Sydney. In a world without timezones, it’s 3 PM for him too. So you give him a call and start singing loudly when he answers. He’s mad at you because actually it’s the middle of the night and he’s sleeping.

Or think about traveling. At home, you set your alarm for 6 AM. You really like waking up at this time even when you travel. You want time to hit the gym, and eat a nice breakfast. Now, in a world without timezones, you travel to SF. When your flight lands at 5 PM, what phase in the day is it? Local “morning”? Local “late evening”? Are you going to have a hard time catching a taxi? What time do people eat breakfast there? What time should you set your alarm for?

So you need a translation layer from your location to another location to know what phase in the day it is for people in the other location. Is it their “morning”? Their “afternoon”? Their “business hours”? When do they sleep?

That translation layer exists. That’s timezones.

Abolishing timezones doesn’t make coordination problems easier. In fact, it makes them harder. The time on the clock might be the same around the world, but when people do things (wake up, eat breakfast, conduct business, grab a cocktail) would vary around the world. (Yes, it’s true there’s regional variance to these things today, but for the most part you can rely on morning having a rough relationship with when people wake up and sunrise, for example.)
Nifty. That was a nice 4-page exposé of the correspondence. There are no general proofs, but the correspondence between notations is very suggestive and invokes interesting intuitions, I think. The example derivations with the uncurry example are quite fun to work through. The paragraph about continuations corresponding to double negation is also super neat!

Now I just wish there were something similar for the missing category theory third of the trinitary mentioned in another comment.
The more popular national parks don’t actually have the capacity to meet the demand…theyre huge but the relatively easily human accessible areas are relatively small. Building these out to meet capacity would harm the wildlife goals.

https://theconversation.com/us-national-parks-are-crowded-an...

http://www.doi.gov/ocl/overcrowding-parks

https://amp.theguardian.com/environment/2021/sep/10/overcrow...
Both of these sources are over ten years old and refer to diagnostic criteria defined in 2007, this is not the state of the world today.
While we're talking about needed journal changes, it's worth pointing out that Nature, the journal, now allows articles submitted by authors to be open to anyone, which is great, but only if the authors pay Nature $11,690 per article. Otherwise, only institutions which subscribe to Nature can see the articles.
I'm curious where are you located - 20kwh means you are fairly dependent on sunlight, right?
I found this design decision rather odd:

Allocators may send messages to any other allocator. In a naïve implementation each allocator would keep a queue of batched messages for each other allocator. The number of queues would then either be the dynamically known number of existing threads, or the statically known maximal number of possible threads. The former would require allocation of a dynamically sized structure when handling remote deallocation and slow enqueueing, while the latter would lead to significant wasted space and hard-coded limits. Instead, we adapted ideas from radix trees. Allocators keep a fixed 2k size array of buckets of pending messages, where k in our implementation is 6. Batched messages are inserted into the bucket which corresponds to their destination’s address, modulo the number of buckets. Dispatch of messages takes place by sending all the messages from the same bucket to one allocator, which then responds to those messages for which it is the final destination, and forwards the rest, again according to their destination allocator address, but now shifted right by k bits.

I would think that the overhead of message passing would mean that minimization of the number of messages sent. I wonder how well this technique scales.
Good. Sounds like access isn't overly restrictive.
Wow, that Pixel 6 shot is awesome in all the wrong ways. I have no idea how it could have happened.

Of course, cameras with large sensors and lenses are going to be better than small phone sensors. Physics is physics. It's just that it doesn't matter that much for most people (me included).

> I do not want android on a phone. I don't want to update or reboot it.

I have used Galaxy Camera back in 2014. It was awesome. I could take pictures, and automatically upload them to Picassa (RIP) or share them with people. The UI was also pretty good, but it was clearly a V1 without too much polish.

> I want to turn it on, use it and turn it off again.

I have an Onyx book reader that runs Android. It works just like this. I pick it up, press a button, and it shows the book I've been reading within a second. So it's clearly possible.
Not cheap, but CAT phones are pretty awesome: https://www.catphones.com/en-gb/
With these servers/services you can usually chain to another identity source (e.g. ldap directory+kerberos) so that would fall to the origin identity service. But even if you don't chain it the owner of OIDC provider will usually provide an administrator role and integration system accounts that can be used as an out of band sort of user account recovery mechanism.
Umm, debatable (no pun intended), they often need convincing and then the toll it takes on some...
Damn, that is a lot of "I" and "me".

How do you feel so passionate about not having kids and still end up watching 5 movies in a row glorifying pregnancy? I can't recall the last movie I watched that included a pregnant woman.

Do your thing and don't pretend to be attacked on all fronts by some sort of societal cabal who wants to force all women to have kids.
> Also space is even less of a “limited resource” than completely unpopulated areas of the Earth is or the entire ocean’s surface is.

The scarce resource here is globally-available L-band radio spectrum (potentially spatially multiplexed, if you have steerable beams on both ends, or only one satellite in view at a time and are using spot beams).

> It’s three dimensional rather than two dimensional. Any single orbital altitude has more surface area than the entire earth.

Space is three-dimensional, but lines-of-sight are two-dimensional. Even if you have steerable beams on both ends (which aren't that precise either, unless you're using laser beams), there's only so much non-overlapping sky above.
I don't know how much I'm allowed to say, but at least part of what they're doing is normal Cat-1 LTE that any modem that supports it will be able to pick up
They get the ENTIRE bid and they got in trouble for skirting fee review laws. RECREATION.GOV is one of the most egregious bastardizations of the American public lands. You should be as outraged as if you found out toxic waste was being dumped on the National Parks themselves.

You MUST use recreation.gov and you MUST agree to the privacy policy which INCLUDES connection to Google's tracking servers. That is IF you want to use the public lands we are "preserving" for you to use in the first place.

It's utterly absurd and no one cares.
China Goes on the Offensive in the Chip War
Archive.today mirror: https://archive.ph/pXclO
If you know the diameter of the lens, and your areas insolation, you could work out it's annual solar energy exposure in watts yeah.
I looked for pravets but could not find. Did you mean Pravetz? There seems to be a lot of love for those things. An article here on its genesis...

https://3seaseurope.com/pravetz-ivan-marangozov-inventor-bul...
Rangers are federal law enforcement, not 'there to help you out of any situation you might get yourself into'. Don't talk to the police.
Compare https://slatestarcodex.com/2014/05/26/compound-interest-is-t...

I don't think the real interest rate is that hard to measure. You don't have to pick your local government's favoured measure of inflation, just pick your own.

Eg in the long run you could pick the Big Mac index. Or you could pick some other country's official price level measure and multiply it by the exchange rate with their currency. (In the short run, you have different real price levels between countries, but perhaps they even out in the long run.)
I don't think so - many of these applications would never have reached the size and popularity they did as closed source or source available. We'll probably see more "open source for the growth, slam shut to monetise easier", but I think each one that does so will reduce trust in all such software, so I'd expect ultimately it will lead to companies either picking "definitely proprietary but with known terms" or "full on open source, controlled by a foundation" and avoiding this company=project middle ground.
Grabbing dodged taxes from corporations is somewhat arbitrary, in that it doesn’t happen because republicans keep defunding the IRS, which is a major issue because nabbing tax dodging corporations has a massive return on investment.

If Microsoft is getting busted, it’s not arbitrary. They just dodged their taxes poorly.
I agree with your suggestion and would 100% welcome that process - though I don't think they're necessarily mutually exclusive. As I see it, the main difference between the status quo and the more open process you suggest is that in theory reviewers that are hand-picked by the editor are more likely to have directly relevant experience, ideally translating to a better, and potentially more efficient review. Of course, that also comes with the drawbacks that you mentioned - that the reviewers are easily de-anonymized, and that they may be biased against your research since they're essentially competitors -- I've had the good fortune of not being negatively affected by this, but I have many colleagues who have not been so lucky.

Edit: Also, to comment more on my own experience, I was lucky to be working in a well-established lab with a PI whose name carried a lot of weight and who had a lot of experience getting papers through the review process. We also had the resources to address requests that might've been too much for a less well-funded lab. I'm aware that this colours my views and didn't mean to suggest that peer review, or the publication process, are perfect. The main reason I wanted to provide my perspective is that I feel that on HN there's often an undercurrent of criticism that is levied against the state of scientific research that isn't entirely fair in ways that may not be obvious to readers that haven't experienced it first-hand.
At least one law student got a law firm offer rescinded over their comments – https://news.bloomberglaw.com/business-and-practice/winston-...
There's definitely a limit: Frequencies and orbital separation/steradians of aperture.

If you're putting a satellite right next to one of Starlink's, using the same frequency, how'd you communicate with it without the two interfering with each other?
"Full Self-Driving" doesn't imply autonomy, Tesla engineer says
I’ve heard that there are some issues of gaming performance on M1/2 Ultra specifically (due to it being just 2x M2 Max in the same package), however my M2 Max MacBook absolutely runs Dota 2, and runs it very, very well. Like 180-200fps average well.
As an AnCap, I believe that involuntary taxation is theft, however, I also believe that each individual must focus on their own benefit. I also believe that these large corporations were largely built up and propped up by non-trivial amounts of public money and other forms of government help to begin with.

As I don't own any Microsoft stock and I don't use their products and I stand to slightly benefit (in my career) from them having less money, I don't have any moral issues with this SEC filing.
I thought W wasn't all that into it, at least according to that Cheney movie
200 years of use isn't long enough for you? It's a word.
An Intuitive Explanation of Hashing
Note this is a M1, not M2.

https://www.reddit.com/r/LocalLLaMA/comments/16o4ka8/running...
I don't see this as a high risk. Rather adding log just increases the choices for different types of filmmaking and adding it to the professional workflow. The iPhone hasn't killed the professional stills camera market, instead many photographers have implemented it as a supplemental tool into their work where a larger camera is not suitable.

At the end of the day, a professional camera with good glass and a larger sensor gives you much more control of an artistic vision, and better performance in challenging imaging conditions. I've never seen a cellphone camera that gets anywhere near the image quality I can get from my mirrorless camera in still images. This is likely to be even more apparent in video production due to how the cameras are used.
How is this story representative of the US money system?
Honestly, the bar is very little to get the lifetime pass if you go to a busier park. My wife just had to show the disabled parking pass and they gave it to her without any of the supporting documentation. Was way easier then we expected and hoped she had the right paperwork. I keep my annual pass renewed so I can go locally without her.
And the candidates I've seen are no good. The best person for the job is someone who doesn't want it.

Though the story goes that Washington didn't want the job, so he could have been okay.
You could blind the pre-print process, too?
You are your own worst critic. The mind sets up external bogeyman and unrealistic societal groups in order to lay the blame at anything but itself.
It might well be a "dumb pipe" implementation (i.e. no regeneration and smart inter-satellite routing on the satellites), although Starlink does significantly mention an "onboard eNodeB modem", which sounds like it should be possible to forward that over the laser links.
> Is this not open source?

The OSI, FSF and DFSG would all agree that this is not open source if it imposes field of use restrictions.

> What’s a palatable license if you want to be able to sell a hosted version of your product?

The old approach here was to do open core, where the core software is open source but enterprisey wants like SAML/OIDC, auditing features, etc. were in a seperate edition. This generally doesn't get the same hostility as this type of license, where only old (and insecure versions) are available for open source usage.

Or just accept that what you want _isn't_ open source, and go for source-available with a freeware edition. Just don't expect to have your cake and eat it with the publicity and profile boost of open source and the exclusive commercialization ability of proprietary software.
Absolutely, and I've done it. But as far as various assemblers go, RISC-V is one of the least ergonomic. It's consistent, certainly. But tedious.
Surprisingly few attempts even seem to get over the bar of understanding what currying is, and why it isn't just partial application.

Huh, what is the difference between currying and partial application? I always thought the terms were interchangeable.
I think it must be mostly a spectrum/licensing concern:

Neither T-Mobile nor Starlink own global frequencies in a suitable frequency band to offer offshore services.

That's one of the big benefits e.g. Apple gets out of the box for going with Globalstar, and Qualcomm for partnering with Iridium: They each own around 10 MHz of prime (i.e. L-band) global spectrum.
Having different passwords doesn't prevent phishing where you think you're logging into the service being phished. The hacker would also create a new TOTP on that service once they get in to that service.
What does Apple not signing drivers for MacOS have to do with it not running on Linux?

And what part of you can disable system integrity protection on MacOS and run unsigned drivers is hard to comprehend?
My understanding is that most[1] other satellite devices use a centralized dispatch center who have experience with backcountry emergencies.

Speculating obviously, but that article makes it sound like Apple might have tried do something else and that whatever they came up with is more equipped to deal with frontcountry issues.

Sounds like I should keep packing my inReach.

[1] https://www.iercc.com/en-US/supported-devices/
Effortless Wi-Fi Connection for Guests Worldwide
I've always been supportive of the idea of kidnapping a random sample of citizens and forcing them to serve the country for a limited term. In fact I think this idea was unironically considered by the Greeks at one point or another...
I do computer science research and publish regularly (in conferences, not journals, since that's how computer science mostly works -- you write a paper, look for the soonest upcoming relevant conference deadline, submit there, and get a response 2-3 months later). I think discussions about peer review often fail to explain all of the things peer review can accomplish:

1) Verifying that work is correct, assuming that the author is honest (e.g., you take their data at face value)

2) Verifying that work is correct, assuming that the author is malicious (e.g., you scrutinize their data to see if it's fabricated)

3) Certifying that the paper is "interesting" (universities, grant-making bodies, and other bureaucratic entities want some evidence that the researcher their funding is good, and somebody has to hand out the gold stars)

It takes time for even an expert to do 1), and it takes still more time to do 2). There aren't really good incentives to do it beyond caring about your field, or wanting to build on the thing you're reading. 3) can be done more quickly, but it's subjective, but a world where things are only assessed for correctness and not interesting-ness is a world where external funding bodies rely on other weird proxies like citation metrics or something to figure out who's good, and it's not clear to me that that's better.

My perception from computer science is that it should be harder to submit papers, because there are too many authors who simply rarely produce good papers and are clogging up the conferences with endless resubmissions until they get reviewers lazy enough to all say "weak accept".
Looking forward to the inevitable "Kagi sells user data" investigative report. The simple truth is that unless they make themselves explicitly liable to users if they are ever caught doing this, that the irresistable urge to monetize user data will tempt even the most well-meaning firm into sin. The ONLY solution is to make 'sinning' an existential threat to the firm. IANAL but I believe this can be done if ownership agrees to voluntarily enter into something like a fiduciary arrangement with their users. This means writing a EULA that does not minimize the firm's risk, but instead increases it in specific, meaningful ways. Increasing client risk is something attorneys are absolutely allergic to, and will argue up and down about why the client shouldn't do it. I would say that, if the customers know and care about such a step, it could be a valuable PR and marketing move that demonstrates REAL integrity.

As it is, we only believe that "users paying for services" will protect against data exfiltration because of very naive reasoning, or, perhaps more accurately, praying.
Never seen a hardware failure, I see.
You can always overlay a reputation system on top of your pre-print server.

The informal one you describe here, or any formal one you can come up with.
based on 2022 outlays (6.27T), it's unfortunately about 40 hours.
Cry me a river. My cats' physical costs $300. The vet is in the room for 20min. When I had to put down one of them (literally had to, there was no other options) it ended up being close to $1000.

Maybe don't charge insane amounts if having to put down a pet makes you suicidal.
They are so totally full of shit.

Sorry, that's against the site rules and all. But what else is there to say about such colossal delusion and doubletalk?

If they'd said, for instance, 'full driving' we'd have thought sure, it has all the features but still, take care it might be buggy.

If they'd said 'self driving' again we'd think, it can do it but maybe not in all circumstances.

But they said it all; 'Full self-driving' means it does the whole enchilada. It can mean nothing else. It's normal English, well-understood by anybody who is listening. No ambiguity. No wiggle room.

These guys ought to be enjoined to stop selling their irresponsible death machines.
depends on the goal really.

writing fronttend backend web apps? id go with typescript for react and nodejs.

writing scale efficient backend services, go or kotlin or java makes sense.

writing performance freak modules and software or embeddes or similar, go rust or cpp or c.

you wanna get down to the trade offs. where are you exactly in the stage of development, who your users are, the platforms you are targetting, such and such.

i use typescript. but my ts code imports uwebsockets.js which lets me use a web server written in cpp and c. for caching we use redis. for routing we use caddy.

you wanna take advantage of other languages and premade solutions by other people on where they excell.
It’s not resolved but Dennis Taylor’s Bobiverse series has a post scarcity faction that wants to enact the prime directive from Star Trek after a few hundred years of space exploration and some not quite Trek like first contact with alien races. The contrast with Star Trek is interesting.
If it were me, I’d assume backup paper navigation charts and either a handheld battery powered backup GPS or my smartphone that has an app to parse data from the GPS chip. Could use primarily dead reckoning plus turn the phone on every couple hours to update true location. Most sailors are using paper charts for tricky sections anyways — you just normally have a constant GPS location provided by your navigation system.

There are also lots of established shipping lanes you could find that would be relatively densely traveled and give you periodic feedback for which direction to go. A bit more dangerous due to collisions without lights but as long as your retroreflector is hoisted, big ships should see you clearly on radar. plus you’ll generally be swapping sleep shifts and always have someone manning the helm on the sailboat, though seeing large vessels at night can be somewhat more difficult.
No wonder most if not all religions deny death but promising afterlife or via some other ideas.
Using a third party app and capturing native raw photos helps avoid that mushy post processed look. It trades it off for more noise, but the trade off is worth it imo. Halide is my app of choice but there are a number of good ones.
Quiz: which RFCs do you need to know and implement to implement DNS?
That’s wonderful, now, if only they would make them more handicap accessible…
Everything regarding Starlink's plans would be speculation at this point, but we can look at existing comparable LEO satellite-to-mobile services, i.e. Globalstar and Iridium.

There, the answers are:

> What frequencies does this operate at?

1-2 GHz. These are also common terrestrial mobile communication frequencies.

> How well matched are the antennas in most phones?

That I don't know for Iridium (I think they're at least somewhat specialized), but for Globalstar, Apple is able to pull it off with their newer iPhones.

> How much more power are you using to be able to do this?

Iridium uses around 1-2 W – that's significantly more than LTE (I believe most devices only use about 125 mW, but I wasn't able to find precise numbers), but about the same as GSM/2G, which current phones largely still support (although I'm not sure whether they use that much transmit power practically still).
It's not really possible in today's austere political climate, but I think the parks should be free for everyone. Especially as entrance passes to many parks are already rationed, the economic benefits of continuing to charge are relatively small.