skysight-inc/HackerNews huggingface dataset:
> I am guessing when GPS was originally designed the designers didn’t anticipate that the 10 but counter would be an issue and/or proliferation of these consumer devices.

Or maybe they just assumed that some other source of information could disambiguate the week number.

For example:

1. The week rollover interval is almost co-prime with the number of weeks per year. If the user is given a way to override just the current day-of-month, the full current date and time can probably be disambiguated to within a ~255-year window. If the user is given a way to override just the current year, the current date and time can be exactly calculated.

2. A receiver with non-volatile storage can keep track of the last week number it has seen. If the week number at the next power-up is less than the previous value, it is likely that at least one week rollover has occurred. If the receiver is powered on at least once every few years, this would be a fairly reliable way to count the number of rollovers.

3. (NV storage again) Leap seconds are added at a rate of roughly 10 per 1024 weeks. If the number of leap seconds suddenly jumps, that may be a sign that a large amount of time has passed. This might be used to augment #2 to estimate the number of rollovers that have occurred. There are some reliability concerns here, as the earth seems to be slowing somewhat.

4. (NV storage again) GPS satellites do not (as far as I know) really have enough fuel to change which orbital plane (of the ~6) they are in. If the set of PRN-plane assignments do not match the assignments from last power-up, it is likely that large amount of time has passed (because it means that some satellites were retired and others launched).

All in all, it's a relatively minor problem. Most receivers just hard-code a minimum date in software and assume that they are within 20 years of that. Most of the time, nobody cares.
You seem to have gotten so worked up over my misplaced underscore that you yourself forgot how those ubiquitous rounded timestamps work. When I first wrote my comments, they were indeed the same, 3 and later 13 hours. After I wrote my later comment, in the few minutes between times I looked at it, the timestamp on yours just happened to cross the threshold where it rounded up to 14 instead of down to 13. (And if I was "sloppy", do you really think I would have looked again and corrected my comment?) Presumably if I looked at them a bit later they would have both said 14 hours. Hence <1 hour lead.

Anyway, yeah, I worry less about being nice to people who've already shown themselves to be clowns, in a sub thread that's flagged to death. You got me there. FWIW I was originally hoping to enlighten you a bit as to why you were being downvoted, as a small help to you.
Seems like an easy way to get locked out of your accounts.
Can I use local models with this?
You should probably think more about that first sentence yours and about what I said. I'll try to help: which phrase requires less knowledge to understand due to being self describing? does that mean it is more, equally, or less descriptive than the other? do you need to have a specific problem in order to improve something? did I ever say or even imply that there was a problem?

You are unironically doing the thing I was talking about by not noticing that I already said that about git's master branch. Master/slave is also a pretty common phrase in computing when talking about hardware, and its a pretty ugly concept when applied to humans, so I'm also not terribly surprised people chose to change their default branch name even if the association is only tangential. You wouldn't be surprised if the old name was 'ScrapedCornea' and people didn't love it. But again, its bizarre that a shift from 'master' to 'main', which is shorter, provokes this response. Do you feel personally critiqued by it somehow? Genuinely curious.
Does postgres not have the ability to hint or force indexes?

Long long time ago, I found that quite helpful with MySQL.
Man this brilliant and goes straight to test it with my development workflow. Namespace isolation was always PITA,but full isolation would require a dedicated clusters so having a best of both solution really changes the game for lean and cost effective continues delivery.

As for value prop, maybe emphasize multi tenancy a bit more as this has the most cost saving potential at scale.
Cheap tools are usually adequate to judge whether this is a type of tool you need and will frequently use... and cheap tools may be adequate to meet your entire need.

I frequently buy cheap tools while I am learning about whether I need a "real" one and which one I should then select. I would suggest other people do so, too.
Let's say they capture 2 percent of the market.

23mil x 40 x 12 = 220.8 mil

I don't know how many developers want to give up their bespoke IDEs. Moving away from JetBrains products (even given all there warts) would be a hard sell for me. I also don't know how many developers even pay for an IDE.
Blockchain / crypto / "Web 3.0" bros salivating for another round of scamery
GitHub Copilot uptake is already fairly robust, hard to complete against it baked into the product.

https://visualstudiomagazine.com/Articles/2024/02/05/copilot...

https://github.blog/news-insights/research/the-economic-impa...
'Katsu' is short for Katsudon, which is short for Tonkatsu (pork cutlet) Donburi (rice dish). If there's no pork cutlet it's not Katsu. The curry is just 'kare'.

If you haven't had a Japanese curry in Japan, and you didn't make it from scratch, whatever you get will be a poor imitation. Real Japanese curry tastes both fresh, simple, vegetal and clean, and artificial, at the same time.

If you care deeply about food and you haven't been to Japan, I can't recommend it enough. As a tourist I've never been anywhere else that's so easy to have a great meal. It used to be dirt cheap to fly there if you booked in advance, but I guess inflation and time has upped the price a bit.

(cheapest east coast round-trip is JFK-NRT @ $709, with Alaskan & JAL. if you want more bang for your buck, check Skiplagged; for $823 you can spend 14 hours in Atlanta and 23 hours in Vancouver, or for $1,100 spend 21 hours in Istanbul, or 23 hours in Seoul, or for $1,231 spend 21 hours in Honolulu, or for $1,334 spend 23 hours in Honolulu and 20 hours in Osaka)
Show HN: Chat with top LLMs in a minimal, open-source, privacy-focused UI
So we can see katsu curry as an example of the Pizza Effect.

https://en.wikipedia.org/wiki/Pizza_effect
best use case I've found so far is pyxl, inspired by jsx https://github.com/dropbox/pyxl.

You can write code like

# coding: pyxl
print <html><body>Hello World!</body></html>
Not gonna lie. I designed a system that looks exactly like this. However, the plugin system was an operator instead of annotating a service which is kinda cleaner but it still felt dirty. A better approach is having a service registry to track the versions, values and clusters where this has been pushed but that means you needed a different API or extend the k8s API and deal with the whole auth/authz system.

I think the biggest hurdle to implement a solution like this is your application MUST be a 12 factor app which sadly is not the case from what I've seen. Many devs hardcode values when shipping their code and containers which make it really difficult to add nodes to a DAG. Had this change, SDLC testing would be waaay easier.

In the same space, labeling of all services is a thing. As you are annotating it can be tracked but if you had different gateways or destination routes or other things that need to be tweaked at the mesh level, it could be daunting to track it. In my case, I ensure the whole mesh representation of a version could be tracked by a label so if you had a app=vote1,version=release-4,feature=shiny you could track the shiny components across the whole cluster.

Another hurdle is you are tied to a service mesh implementation. Istio is ok but it can be a beast. It also constraints your org to implement other networking alternatives which is something we wanted to explore.

I do like the project uses Nix =).
The problem is potentially adding an hour or more to travel, along with the risk of the airline losing your bag. It's extremely inconvenient and often unpredictable.
I mean can you actually protect against the NSA? After Stuxnet, I fully trust that nation/state actors can infect whatever they put their mind to - I'd rather at least have control over my machine
Yes! That is exactly what I did in the aftermath of that iPhone 4S fiasco. I went though some iterations of Android phones and made sure I got the TOTP seed in the MFA app on both devices. Eventually I moved onto TOTP apps that can sync these and stopped worrying about it.
From a certain distance LessWrong looks like the kind of place that would appeal to someone like me, so in spite of some of the negative characterizations I heard I tried browsing it through the strongest steelman goggles I could find.

The experience mainly left me with a sober respect for Groucho Marx's about not joining clubs that would have me as a member.
Well if you truly believe Bitcoin provides safety against money printing, then the CPU cycles aren’t “wasted” but extremely valuable.

Luckily we have a market for energy and we can all decide for ourselves what is useful energy use
Blaster was Microsoft's own incompetence. CrowdStrike was CrowdStrike's own incompetence. They are free to fix the problems of their own doing. But messing with software you do not own, on machines you do not own, crosses a line and should be considered an act of aggression. What if some Linux distro releases an update that deletes any installations of Windows it finds "because Windows is insecure" (according to them)?

people are begging Microsoft to adopt a more isolated, user-mode-only device driver system, so this kind of incident won't happen

Those people are, to put it bluntly, either authoritarian idiots or corporate shills. They want to give more control to Microsoft, but it's not like M$ is all that competent either, as what this article and past fiascos (like the Blaster you mentioned) have already shown, so they're going to just make things worse for everyone.

CrowdStrike happened because one of the "user-empowering" features: ability to install kernel drivers on a machine.

And crimes happen because people still have freedom. Doesn't mean we should start imprisoning (or enslaving to the machine) everyone from birth.

"Freedom is not worth having if it does not include the freedom to make mistakes."
Thanks for the kind words marvin-hansen, if you get a chance to test it out--would love to hear what you think or if you have any questions!
Does this really need to be a separate IDE (that too a fork of VS Code) than being just a VS Code extension?

Getting a Rabbit R1 vibe
> “Facebook and Airbnb“

I know it's "just a paycheck," but I despise both of these companies, so I'll probably pass on this.

The usage of "schlep" so freely is also a bit unsettling.

Good luck!
> What would your ideal API look like?

He gave an example in the first post in this chain xD
How do you go from these definitions of ordinal arithmetic by transfinite recursion to mechanical rules for arithmetic on the cantor normal form / deriving the needed algebraic identities? It seems very non obvious to me, although certainly must be very obvious to many. I would like a reference if you have one.

I think a deficiency of my post is that I didn't go into much of what the ordinals are, but I think a strength is that it is all quite mechanical.
Yes! Ollama models show up in the chat model dropdown in Cody, if Ollama is running on your machine.
Really cool project! I’ve actually been searching for something like this. I’ve experimented with Hono and tRPC to achieve similar results, but it felt like overkill. I prefer to keep my Lambda functions small, with each one serving only a single API endpoint.
Interesting. How is this implemented by the server? Just periodically refresh a cached value for each page, or are you updating the tree in real-time for all pages, and having them traverse it on each request?

Either way it sounds awfully expensive for data that probably isn't used by the client most of the time. Do you have to explicitly ask for it? Is there some ad-hoc way to tell the server "hey I don't need the JSON-LD data?"
Courtesy ChatGPT when asked to summarize the final paragraph before the discussion:

## Developed Countries

• Transport Sector:

• Pricing: Most successful individually (20%)

Subsidies: Highly effective when combined with pricing (33%).

• Electricity Sector:

• Regulation: Most effective as a stand-alone policy (33%).

• Pricing: A key component in successful policy mixes (50%).

• Subsidies: Not effective as a stand-alone policy.

• Industry Sector:

• Pricing: Most effective when used alone (43%).

• Subsidies: Can be a valuable complement to other policies.

• Buildings Sector:

• Subsidies: Slightly dominant, effective both individually and in combinations.

• Variety of Instruments: Broad set of policies can be similarly effective.

## Developing Countries

• Transport Sector:

• Regulation: Most powerful as a stand-alone policy (33%) and in combination with subsidies, pricing, and information (33% each).

• Electricity Sector:

• Subsidies: Most powerful as a stand-alone policy (67%).

• Complementarities: No effective policy combinations detected.

• Industry Sector:

• Pricing: Shows the most synergy with other policies (50%).

• Subsidies: Effective complement in policy mixes.

• Buildings Sector:

• Regulation: Most effective as a stand-alone policy.

• Variety of Instruments: Broad set of policies can be effective, with a slight emphasis on regulation.
IIRC by design applications can't get the absolute mouse pointer position in wayland, so something like Synergy probably is not easy to do in Wayland without 'hacks'.
SF is probably the city with the strongest Japanese influence in the continental US though. Idk if your observations would hold in Houston, Chicago, or Miami.
From the article, what is available in SF is nothing like the phenom in the UK. It's not the fast-food stuff or the Japanese restaurants --it's a spice/flavor added to everything, soon coming to soda pop.

I think it's more like if the Korean BBQ stuff were 100x what it is in the US plus the halapeno flavor sprinkled on everything --or, in other parts if the US dill-pickle flavoring on things.

In essence they out katsu-curry the Japanese in Japan because in Japan they have many more flavors to pick from, so aren't stuck on one.
Literally: it's difficult to avoid pain, but suffering is optional
How do you find them less comfortable or rider friendly? They're certainly easier to board, and the knee room between seats is far better.
7z is an archive format. You have to extract it first. PSX games will usually be an iso, a bin, or bin and cue files.
Funnily enough the Caltrain Modernization Program has an amazingly detailed Wikipedia article --- even before the trains entered service, the article was vastly more detailed than articles about actually existing and more advanced train systems with greater ridership.

[1] https://en.wikipedia.org/wiki/Caltrain_Modernization_Program
Thanks. This is exactly the kind of thing I was looking for.
"Sucking at something is the first step towards being sorta good at something."
We don’t know that an object with 1 gram less than needed to become a black hole will be a neutron star. There may be other denser states or matter in between, like quark stars or strange stars that are still not dense enough to become black holes.

Under GR it doesn’t matter since as the mass increases beyond a critical point an event horizon will form and all that matter will be compressed into a singularity regardless.
Related:

Apple splits App Store team in two, introduces new leadership

https://news.ycombinator.com/item?id=41322297
Yep, you are right, complete brain fart on my end. Of course it doesn't work if it's required for the salt to be publicly mappable to the SSN, since that just circumvents the whole thing. I just didn't understand what you were saying in your earlier message.
Got laid off from my game design job and made an endless job application clicker game about it. The market sucks lol. Also animated the trailer by hand and did the sounds/music which you can check out via the link. Help us pay our bills/finish the game by supporting us on Indiegogo. Share with a laid off friend!
But then that means you need to buy into the object-oriented view of programming even if it's more Kay's vision than C++/Java.

I'm also wondering how this approach works in the real world of large scale use of spreadsheets, sharing CSVs, and JSON.
Notmuch (any perhaps mu) is perhaps the silver bullet you're looking for. Easily searchable, filter friendly and very much scriptable. Many TUIs including aerc and mutt can act as frontends for notmuch - though configuration may be hard. Notmuch is also supported by 'afew' - an initial mail tagger based on conditions you set (kind of like sieve, on the client side). This makes filtering of even new mails very easy. In all, I'm pretty satisfied with that side - with notmuch providing much of the flexibility and integration.

The really messy part is the server - local maildir sync part. There are half a dozen or more tools to integrate. Mbsync, OfflineIMAP and msmtp are familiar to anyone doing 2-way syncing. But if you don't want mbsync waking up every 15mins to poll the IMAP server for new mails, or if you don't want to wait 15mins for new mail, you'll have to setup a mail push notifier that that's waiting for new mail using IMAP push protocols like IDLE. That's whole another setup, just to wake up mbsync when needed. But it's still only server to localdir sync. The reverse (using file change notifiers like inotify) requires an entirely different tool with a different setup.

To make it all worse, Google has decided that they don't need to follow the standard protocols, the same way as everyone else does (for easily guessable reasons). That means that gmail needs special sync configuration or even special sync tools like lieer.

And yet another issue is that IMAP (and SMTP) are old protocols with lots of optional features bolted on. We really need a better replacement for IMAP - something like JMAP. But very few providers, servers, sync tools (any?) or clients support it.
What happens when I download all the leads you give me? Why would i keep my subscription? Of course you might find new leads that fit my query, but that initial list is good enough for last for awhile to reach out to…

Also, does the scraping of the Linkedin profiles happen on my machine or your servers? If on mine, do I need a LI account? Do i need to be logged in?
Meanwhile big oil keeps America addicted to the black goo while profiting from greenwashing and sham carbon credits: https://www.bloomberg.com/news/articles/2024-08-20/big-oil-i...
I think we can all admit that chip (aka crisp) flavors have jumped the shark and are no longer representative of any trend other than random mashings from a crayon box of flavors trickling out of the industrial flavor chemical factory.

E.g. https://www.publix.com/pd/publix-potato-chips-kettle-cooked-... (one of the things pictured is in the bag; the other is not)
I'm sorry... high performance JavaScript/Typescript?
> In Tao, there are two tables: objects and references. This has scaled well for Facebook.

That's a rather tremendous oversimplification, unless something major changed in recent years. When I worked on database infra at FB, MySQL-backed TAO objects and associations were mapped to distinct underlying tables for each major type of entity or relationship. In other words, each UDB shard had hundreds of tables. Also each MySQL instance had a bunch (few dozen?) of shards, and each physical host had multiple MySQL instances. So the end result of that is that each individual table was kept to a quite reasonable size.

Nor was it an EAV / KV pattern at all, since each row represented a full object or association, rather than just a single attribute. And the read workload for associations typically consisted of range scans across an index, which isn't really a thing with EAV.
>with the entry level on ramp devalued to zero, new entrants won’t do the hard work

Why should they be bogged down just like others were? Woe for the coming mediocrity wave suggests the on-ramp filter was valued at the right amount to produce "objective quality" before gen AI. But that was merely objective popularity. Old skills are offset by new technology all the time. If eternal September is coming to more arts we should see platforms pop up that facilitate perfecting the art form most want to make and experience at any rate they choose. Excellence can surely come from outside the current crop of expert/curator viewpoints with agreed upon toil and trend lengths.

A similar thing happened when microbloggers took over columnists audience, podcasters over radio. You can still value journalistic talent however you like, online shitstorms just change the spread of trends people are aware of and willing to pay for. The ceiling is way more unlimited this way.
got it! thanks for sharing.
I limited the time horizon to 70 years because Japan’s experience with immigration is much more likely to be like Sweden’s or France’s than America’s.

But America isn’t even an exception. Without immigration, America would be more like Australia or Canada in the late 20th century. Those are better countries than the U.S.: more socially cohesive, better run, lower in crime, less corrupt, and more efficient. Canadians and Australians get much better government per tax dollar because they spend far less political capital bridging over group conflicts.

The influx of immigration I was a part of made Virginia a worse place too. It was an extremely orderly and well-run state when I was growing up in the 1990s. It’s still coasting on that, but in 30 years it will go the way of California.

It’s not a coincidence that there are zero immigrant societies that function as well as Denmark or Sweden. Disorder and conflict is part and parcel of putting different cultural groups in the same place and having them try to run a country together.
Well, as the original poster, I did happen to find this a little while later: https://www.cursor.com/blog/series-a
Been using aider with Code and it's so amazing. Also swapping between Zed because it's so fast.
thanks for sharing your perspective.
It looks like they're still actively maintaining a bunch of rust crates, and they're still developing Wim (their blobby Roblox competitor written in rust).

They have pulled back from the rust ecosystem quite a bit though since repi (their former CTO) left shortly after The Finals released. They stopped all their FOSS sponsorships, and there was [this PR](https://github.com/EmbarkStudios/rust-ecosystem/commit/61f0e...) which definitely doesn't inspire confidence.
It's not a Gnome specific thing, it happens on nearly all wayland conpositors, it's just that KDE applies some fixes https://pointieststick.com/2022/06/17/this-week-in-kde-non-b...
I was turned off by this too, but the fact that it's compatible with all VSCode extensions makes migrating a non-event. fwiw, here's their explanation [1]:

> Why Not an Extension?

> As a standalone application, Cursor has more control over the UI of the editor, enabling greater AI integration. Some of our features, like Cursor Tab and CMD-K, are not possible as plugins to existing coding environments.

[1]: https://docs.cursor.com/get-started/migrate-from-vscode
Or the Korean taco? chef's kiss
> your average Green politician in Europe in a TV debate was an ecology priest

That's what Greens do. But nowhere in Europe are Greens ruling (either alone or as the senior partner in government), thus not having the power to institute such policy.