skysight-inc/HackerNews huggingface dataset:
I work for a smaller company running most of our stuff on older Ubuntu LTS versions. While there are things we want to update faster than the distribution does, most of them are leaf packages near the stuff we’re directly working on and are easy enough to either package ourselves or find a more recent package for from a trust worthy source.

It’s really nice to have the rest of the distribution more or less set it and forget it.
For a general desktop OS though that does not sound like a huge problem at all - long term stable always is behind. Thats part of the selling point in a way.
It's still in development, but you could checkout searchhut[1] by the people from sourcehut.

[1]: https://git.sr.ht/~sircmpwn/searchhut
Useful measurements are particularly difficult when trade-offs are inherent options.

For memory: space, speed, power required, longevity (against time, against temperature / ambient energy).

Computation usually requires some tiny bits of very volatile memory (registers, cache, invisible buffers, etc), but similarly must have tradeoffs for space, speed, power, and longevity.

Radiation Hardened / hostile environment design libraries can also be useful for automotive, heavy industry, military, and space hardened applications. I'm not sure of the details but guess they'd frequently use more space, power, and possibly even active shielding (E.G. additional layers of conductors and/or capacitors sandwiching the logic bits to try to protect them and stabilize local currents).
We talk about humans, is guaranteed that they will lick the warm shiny stones behind a huge "don't lick this" banner.

But they will learn eventually after a couple of deaths, as we did every single time. We are trying to solve the wrong problem here; Is the population what counts.
Seems like an odd thing to focus only on driving. Houston to Albuquerque is cheaper to fly than drive, and much less time than driving.

Edit: Also, it's closer to drive from Houston to Florida, but the map just seems to only go west if Louisiana bans abortions.
I prefer Chrome's built-in tab grouping feature and I cannot understand why Firefox doesn't have it out of the box.
Do you like noise?
that’s really interesting
I do a lot of research for my job; I often open up 30 new tabs in a matter of a minute, and then slowly work through them, a little bit like a checklist, vetting the information in each one. I can imagine using a similar process for even larger number of tabs, but you're right that it gets a bit unwieldy at some point.

That being said, Tree Style Tabs in Firefox makes mentally handling large numbers of tabs very easy. Without it, my workflow would not be functional.
I saw you mentioned using a Kobo eink device. Is that what you would recommend? It seems the 11th gen Kindle Paperwhite and Kobo Libra 2 are pretty comparable. I'd like to support a non-Amazon product, but it also looks like I can get 20% off a new Kindle by trading in my very old Kindle Touch, making the Kobo effectively $50-60 more expensive...
Is desktop app native or electron?

Will mobile apps be native or web view?

I currently use Tick Tick which has a lot of overlap with Emery. The main reason I love it is that it is SUPER snappy.
You're probably more of a project finisher than a project starter

Many of my open tabs are write-ups of topics that I hope to learn about some day, but I have not returned to in years since opening (cumulatively 1000+)
Dear @gzrm,

I am quite familiar with the way the mods email with me specifically, and with @dang.

They call me out on shit over 15 YEARS <--- - asterisks of dealing with pushing a little bit...

-

That said, I am --- specifically --- looking for feedback from the community - I am 15 years deep in the mod actions on HN, and I am no coward to set my opinion out there to be decimated by others' opinions, I welcome this.

@DANG has my full contact info and does, has and will reach out when he sees me pushing the lines.

You're no spring chicken, so please, speak to the problem <--asterisks at hand and not crit me on my crit of the HN front-end... which I stand by my word: Yes, we need to uphold the web of past.

However, THROUGH that web <-- Extra oomph! - we have come to a new version of information sharing...

One where your grammatical tropes of 'offensive prose' are obsolete...

Evolve your method. You called me out on grammar and literally added nothing to the idea. Cheers!
Defaults to true for me, but sometimes I end up using about:unloads to manually force unloading anyway.
Could be from The Fountainhead. As an article written by Ellsworth Toohey.

It’s also a game of mere words. The author claims that Tesla, the company, was about “disruption“. Then, he contrasts this to true innovation, which, according to the author, is collective in nature. This is already a questionable claim (Lilienthal was laughed at when he built his first flying machines). But it also completely misses the purpose of the founding of Tesla. Which is the acceleration of the advent of sustainable energy consumption and production. How much more focused on the good of humanity as a collective can you get? (Let’s not even talk about SpaceX.)

That the author lists Elon Musk in the same sentence as Elizabeth Holmes, and does so without any qualification, to me, is testament to the fact that the author isn’t really seeking to understand anything and is merely going for clicks. Which is a pity, because the question of vanishing trust in institutions would have been a worthwhile topic.
We have built a full digital bank on AWS serverless here. Lambda, S3, DDB, SNS, … no switch, we built it from scratch.
The peace of mind is one of the biggest pros. So we can focus on more payment related problems. The ease to build an event driven system is also a plus.

The only thing I regret is DDB. While the technology is great NoSQL was a poor choice for us. But at the time it was hard to attach anything else to a lambda without a heavy performance drop.
Chrome and Firefox have a setting to “reopen where I left off.” This will save your tabs when you quit and reopen them when you start a new browser window. Things get complicated when you have multiple windows open at the same time. “Bookmark all tabs” is a good workaround if you’re leery about plugins.
Who left his boots on the couch?!
Balance tracking seems to be the Achilles' heel of SQL databases.

For example, my experience has been that in the world of payments, the nature of money transactions is to debit perhaps many different accounts on the one side, but credit only a handful of accounts on the other, so that group commit can't fully amortize fsync.

Performance panaceas mostly come down to sharding, but sharding doesn't work well where you need strict updates to balances.

At work, we saw this play out several times in different systems, and decided to do something about it. We took the ledger of an open-source payments switch called Mojaloop, and extracted it as a distributed financial accounting database called TigerBeetle, designed to track financial transactions at scale.

The key performance insight was to dial up group commit. We batch up balance updates so that a single DB query can do on the order of 10k balance updates. We then fsync the batch with a single write before commit, moving the performance needle out from 1k-10k TPS to 1m TPS.

This is the advantage of a purpose-built database that's designed for counting at scale.

More information, including our design decisions are in the repo here: https://github.com/coilhq/tigerbeetle
Same here. I treat my browser like my desk and I keep it neat and tidy at the end of day.
> Or it might be that formal Math notation is not for me.

No, it just means that you haven't studied that notation. Like programming, being skilled at maths is not something you're just naturally gifted with. It has to be studied.

The proof of the proposition in question is "trivial" in the sense that a first course in formal logic is more than enough to fully understand it, and that there is really no extra trick involved, basically the proof is as straightforward as it could be.

I will agree that the article doesn't explain enough how the formula in question relates to type theory and Rust's type system in particular.
I find tree style tabs very effective in things like oncall/learning/investigation situations because they act as kind of breadcrumbs/grouping solution. Like

list of issues -> issue -> [log search, similar issues search, metrics etc]. You get stuck/wait for something then go to next issue, but have chance to return back to your entire context. And when you finished you just close entire subtree and move on.

With linear list of tabs (or even groups in chrome) it is much less convenient.
It is true.

In fact if you look at the source for that graph [1] you'll see it's a paper from 2009 and they used old 2007 IPCC data for their models.

The IPCC has not taken feedbacks into account until their sixth report of which the synthesis hasn't been published yet [2].

In 2009 feedbacks were still not well understood. In fact Natalia Shakhova didn't publish her seminal paper on methane in the Arctic until 2010. Here's an interview with her in 2013:

https://www.youtube.com/watch?v=kx1Jxk6kjbQ

[1] https://www.pnas.org/doi/10.1073/pnas.0812721106

[2] https://www.ipcc.ch/assessment-report/ar6/
When you look at the model that Germany is following in some areas, it seems like a nice long term way to stabilize housing prices.

https://tribunemag.co.uk/2022/07/germany-mietshauser-syndika...
> Builder != Developer. The builder is a service provider and definitely doesn't finance construction.

What in my post doesn’t apply for developers exactly? They finance construction if they expect to profit. They can profit even if the final product later doesn’t increase in value. In fact, why would they see that profit anyway? Any increase in value would end up in the final owner’s pocket not the developer.
VHS Is Back (Confessions of a Former Tape Junkie)
Not sure what your point is. How is self sovereignty defined? It’s defined by other acknowledging it, which is inherently arbitrary.

The only reason we’re discussing this is because in the case of Taiwan China is trying to scare people from acknowledging Taiwans claimed sovereignty.
The tabs handle it so your brain doesn't have to? Tabs represent productive effort toward a goal, mission, or valued task.

https://www.friendlyskies.net/maybe/why-closing-tabs-is-so-h...

The false dichotomy of "reasonable tabs vs. too many tabs" is an embarrassing result of slow evolution in software design. The fact that humans feel blame for the resulting behavior is 100% wrong and unnecessary.
Not really, safe driving is not about split second decisions.

Cars have a lot of inertia, at highway speeds, it takes several seconds to stop your car, and your ability to avoid obstacles is limited. Even with instant reactions, it won't make much of a difference, the car can't do better.

So driving is more about planning what you are going to do for the next 10 seconds and making sure nothing bad can happen during that time period, if things are not sure, take defensive action (slow down, ...). In fact, most good drivers don't pay attention to what's just in front of them, they can't do anything about it anyways. Instead, they will continuously focus their attention on what comes next and act accordingly.
Too many "Get Started" buttons IMO. If you're running a test ignore me.
We've had a good experience (I've commented with more details elsewhere)

I will say, I don't think sharing code between web and mobile was ever supposed to be a key advantage. As you say, there may be some small opportunities for that, but the real benefits are a) sharing code between the two mobile platforms, and b) sharing skillsets between web and mobile
But it still isn't ! Last time I checked, about 20% of the population was not computer literate (and that in a rich country!)

And it might be even larger than that since you need to be rich enough too...
South Korea’s Chip Stockpile Swells in Warning Sign for Exports
On a technical level, you can't install third party OSs without accepting the EULA first. Whether such acceptance has legal meaning, I don't know, and it probably depends on jurisdiction.
From an enterprise management perspective nobody (as far as I know) has made some kind of tooling to manage linux desktops in a similar way admins can do with ChromeOS or Windows. I think that is the real dealbreaker for linux in the enterprise for general use.
"a little on the strict side"
excitedly waiting for video output and sleep to work on the laptops!
I've used a refractor (4" lens, f7, 714mm focal length) as a telephoto. It's great. I ended up buying a crazy-ass lens and building a solar telescope (look at the sun) which was fun until the focal point melted the enclosure.
This is also William Gibson, who is heavy on dystopia in his science fiction work.
Python old style string formatting is sometimes best practice
vitetris is similar but with more options
200 feet! Wikipedia sayeth: "The early Holocene sea level rise (EHSLR) was a significant jump in sea level by about 60 m (197 ft) during the early Holocene…"
Yeah, the author's answer wasn't very satisfying for me. I use tabs for things I'm actively using, keep quick-access stuff on the bookmarks toolbar, and keep long-term stuff in directories or the bookmarks pane/menu. No need to come up with a hacky workflow as an excuse to keep hundreds of tabs open.

It's wild what lengths people will go through to avoid minor changes to their workflow.
The desktop client is, to me, not as performant as it should be. Many actions take several hundred milliseconds when it's obvious that they could be much faster.
I'm honestly a little disappointed at how smoothly everything works on my Linux machines. It ruins the impression that I'm doing eldritch magic, issuing gnomic commands inherited from the primal hackers, immersing my very self in the unknowable gnostic wisdom of Unix.

Maybe I need to run OpenBSD.
High profits and high inflation suggests an economy dominated by monopolies. You won’t get the combination of high profits and high inflation in eras when competition is running hot.
Let's say you're writing a research paper. You start with an introductory review paper that links to dozens of other sources. You want to evaluate whether these sources are relevant to your paper's topic, so you open them all in new tabs. Then they have other references, so you open those too. Over the course of a couple hours, you might have over 20 tabs you've opened. You then stop opening new tabs, and read them one at a time until you're done. A similar process can happen when doing research for an in-depth blog post, opinion article, or essay (except instead of starting with a review paper, you might start with one or more pages of Google search results).

Outside of work, you might sign up for several emailed newsletters with various links to articles per email. If you get about 20 newsletter emails, and you choose to read 10 of them with 2-3 interesting articles each, you end up with 20+ tabs to read through.

However, if you don't need to do that much research for a particular task (or you can get the information you need from just a few resources like a quality book), you may not encounter a need to open this many tabs.
Monzo Growth
A lot of younger Americans, Finnish, Swedish, Danish, Japanese are pretty unhappy too. Have you talked to them?
Sure, but at this point there's so much else we get from Consul that, like, what's the point...

I guess the path is set but I'd personally much prefer having a recognized deployment scenario be hosting Consul server and Nomad server on the same physical machines, and accommodating (be it through code or just docs) for making that play well with security, certs, and resource usage without becoming a confounding mess.

Even Vault, if the operator accepts and/or mitigates the sidechannel aspects - from a security perspective that still shouldn't be a step down from anything Nomad-specific?

Seeing as HC already provides solutions for all of these supposed to be serving for Nomad, doesn't it make more sense to make them play together smoother and nice on the same machine rather than reinventing a lesser wheel for each of them?
Sorry to disappoint but Docusaurus does not provide that out of the box, however some devs built that as community plugins, but can't tell how qualitative it is.

We believe a documentation can be much better when it's made interactive, so Docusaurus favor interactive experiences over generating a static PDF export. But we'd like to support PDF exorts in the future to please people like you that might have a different opinion
I'm pretty sure cloud and enterprise sales make up the bulk of their revenue and growth. Not consumer.

That being said there's likely still a few years of runway left for their growth. Even if cloud vendors don't push their own chips aggressively, they can use it as leverage to cut into AMD margins.

I don't see how ARM is an argument. AMD will easily be able to create competitive arm processors, there just wasn't a strong financial incentive to do it before
Most discussed vacuums on r/VacuumCleaners
As a Finn, my conception of warfare is probably biased towards a specific type that happens in woodlands with short sightlines and lots of natural concealment. Direct-fire engagement distances tend to be short, infantry tactics are informed by the desire to get as close as possible without being seen, and by unit movement (possibly under aerial surveillance) while giving away as little information as possible.

I do think that the Finnish M05 woodland camo [1] is one of the best in the world =)

[1] https://en.wikipedia.org/wiki/M05
The DB could figure it out IF it had monoid counter type to use as the column's type.
Only? for me it got out of hand years ago... Session Buddy is currently reporting "146 Windows 1371 Tabs" on my personal computer. On top of that, I have more than 100 on my phone, around 200 on my work laptop and several txt files with lists of open tabs saved from years ago when I changed computers.

While I'm sure I want to read / watch over 50% of those, going back through them requires some time off which I'm struggling to find, so they keep piling up slowly...
Government housing projects had a bad outcome in the US... "The Projects".
i love lattice :)
I once knew a penpal who grew up in Singapore. They shared with me how frustrating the repressive cultural norms and strict speech / sexuality laws were. It interfered with basic social trust... Like they couldn't be sure if their friends were gonna out them intentionally or unintentionally for something. I got the feeling they felt safe to vent to me and took the chance to do so.

None of this is to say the US doesn't have its own issues with authoritarianism and repressive cultural norms. Seems like a pretty global thing right now actually.
$7 a month, that's pretty steep. How'd you come to that number for a less featureful version of Google Workspace?
ChiroTouch | Remote | Full Time | Sr. DevOps Engineer

Headquartered in San Diego and Las Vegas, we are an All-In-One EHR Chiropractic Practice Management Solution. Profitable, stable, growing, and we offer great benefits (e.g., Health/401K match/remote work).

Join our growing team of DevOps Engineers!

Our Stack: AWS, NodeJS, Kubernetes, Terraform, MySQL (RDS), Kafka

Speak to the hiring manager directly: mpellon@mychirotouch.com
[1] is a study of the Tsimane people by anthropologists which somewhat, to my mind, casts a shadow on the APOE4 Alz hypothesis. Doesn't rule it out, but suggests the Alz space is much larger than amyloid protein bundles, as the nymag piece suggests. [2] is the record of the Tsimane project

[1] https://www.nytimes.com/2017/07/14/opinion/sunday/alzheimers...
[2] https://tsimane.anth.ucsb.edu/
I had lots of issues on my M1 Mac, mostly it was solved by running their beta version though. No issues on any other platforms
> You don't really need to. Do what Singapore (or Vienna) did. Create a Housing and Development board, build the housing that you need... and that's about it.

Unless you can explain how that's different from what the Warsaw Pact did, or show that the Warsaw Pact housing, while horrible, was still better than what the free market would produce, then I'm not going to sign up for your solution.
A local e-scooter lender said their bikes lasted for 40 days on average. It is like a joke. And ofcourse they are trying to make up for losses per unit by increasing numbers.
I literally meant countries far enough that most physical ways to do so are prohibitive.
-THE- cat from Stray(tm)???
DUDE...
On a somewhat technical note, I think the author is being slightly imprecise, though in a way that will normally not trip up most people. The proof has to be understood either as a proof scheme in first order logic, in which case we technically need a separate proof for each possible choice of predicates P and Q, or we have to implicitly quantify over P and Q, i.e. "for all P, for all Q", which leads us to second order logic, but in this case there is now a single proof (which is exactly what's the case when we're using Coq).

At least that's the case in classical logic (which is enough to understand this article), I'm not knowledgeable enough about intuitionism to know whether it typically includes second-order quantification, but even in that it would probably be better to make the quantification explicit.
Maybe that is the way to hire good ones. Exclude all candidates who went to a 'brand' university.
The problem is that there's no such thing as "public domain" that is consistent in jurisdictions around the world. If you want to make something "public domain," the best way is to slap an OSI-approved license on it.
> The government banning _Wired_ because it contained a critical article immediately confirms so much of the criticism.

and then

> The U.S. also limits foreign control of its media.

Beyond an attempt at a what aboutism, I'm not sure how these two statements are really connected. Just because Xinhua can't purchase Foxnews (which is ironically controlled by an Australian), the USA government lacks the legal power to ban anything except maybe child porn.
@dang or someone could we get a title correction?
There's a concept called 'tooth-to-tail ratio' which is the ratio of combat personnel to non-combat personnel in an army. The modern US army has a tooth-to-tail ratio of about ~1:8. This isn't necessarily a great correlation to physically demanding versus not-physically-demanding jobs, it does illustrate how tiny the front-line portion of the military actually is.
> In fact we would have such a huge surplus of homes, most people would be able to easily upgrade.

given that more than 95% of homes are currently occupied we would not have a surplus. while some of your suggestions could have a place there is no replacement for building more homes