skysight-inc/HackerNews huggingface dataset:
My org solved this problem for our use case (handling travel booking) by versioning workflow runs. Most of our runs are very shortlived but there are cases where we have a run that lasts for days because of some long running polling process e.g. waiting on a human to perform some kind of action.

If we deploy a new version of the workflow, we just keep around the existing deployed version until all of its in-flight runs are completed. Usually this can be done within a few minutes but sometimes we need to wait days.

We don't actually tie service releases 1:1 with the workflow versions just in case we need a hotfix for a given workflow version, but the general pattern has worked very well for our use cases.
no, because fracking is the deliberate fracturing of the reservoir with increased pressure, which can penetrate into the water table and contaminate water wells. This is using the old well as a disposal for the used/fracking/whatever water - not repressurizing this well. The column of fluid acts as a cap on the reservoir pressure that wants to vacate the old well. What's likely happening is an alternative exit (maybe created by fracking, maybe not?) is allowing the well to produce, vacating water, contaminants and oil.
No need to be sarcastic. What page load speed at "slow 3G" speeds do you believe is necessary to avoid that?

(I work for a non-profit cultural heritage organization, we don't really have "conversions")
The company is Phantom, and the VCs are Paradigm.
Why is a Railroad Commission in charge of capping oil wells?
US company claims nuclear battery breakthrough
It's not either/or. You shouldn't have to program, but programming should be made available to you by default.
I couldn't remember the color (brown noise?) so white noise was the best thing I could come up with.
It's important to understand that this study indicates that hybrid is better than full-time office. It isn't comparing hybrid to full-time remote.

So it's pretty obvious that remote work doesn't need to hurt productivity and employees prefer it because commuting sucks.

Interestingly, since the trial randomized based on birthday one would expect that individual clusters (4-6 people) were often split such that two days a week the cluster should be considered fully remote. That is, about half the cluster was at home so everybody would need to communicate in a remote-friendly way on those days.
If you move forward then the next round:

Interviewer: Why are you looking for work?

Candidate: I am not currently employed and need a job.

Interviewer: But, why now?

Candidate: I have bills to pay for home and food.

Interviewer: Of course, but, why are you looking now?

Candidate: I have been looking for some time, not just now.

Interviewer: Shakes head, unable to understand why candidate is looking for a job.
This definitely seems useful, but it's arguably not an HSM. It's literally downloadable software! (You wouldn't download an HSM.)

HSMs of course also run software, but they usually provide at least some level of hardening against physical attacks. In other words, it shouldn't be possible to just extract key from them. Is that the case here?

I think it would be more honest to call this a (possibly hardened) key server/service. Often, that's all people want from an HSM! But sometimes it isn't (whether for compliance or other reasons).
Yes, I totally get that (and have been doing that). My complaint/suggestion is more around the marketing and messaging. There is so much more to Elixir than LiveView!
> a grand conspiracy that a large percentage of that state is working together on a secret project that they have guarded from the public.

But this is a straw man. Do you know any conspiracy theorists that believe that a large percentage of the state is working together on a secret project that they have guarded from the public, or is that just the easiest thing to discount? The conspiracy theories I hear about are about small groups of people that "control things from behind the scenes."

> The government is not "an entity", it is layers and levels of elected and unelected officials working towards their own personal goals.

This is a false dichotomy. The non-existence of government as an entity is a conspiracy theory so wild that very few people believe it. It's like saying Apple doesn't exist, just some people who happen to be sitting at desks near each other that conspiracy theorists decided to make a big deal about.
Has 50M: wishes they had 250M

Has 250M: wishes they had 1B
What is the deal with Bitcoin always falling when the stock market is so strong?
here again we see Bitcoin suddenly reversing intraday when the stock market keeps making new highs:

https://i.imgur.com/YSReDo7.png

This has happened so many times over the past year.

I have yet to find any media coverage of this or any explanation but it happens so often.

last week it happened on Friday too, Bitcoin suddenly plunged 5% from $71k to $69k:

https://imgur.com/gL94YWH

I think this is the last stage. buyers completely exhausted and funds dumping.
Restate is built as a sharded replicated state machine similar to how TiKV (https://tikv.org/), Kudu (https://kudu.apache.org/kudu.pdf) or CockroachDB (https://github.com/cockroachdb/cockroach) are designed. Instead of relying on a specific consensus implementation, we have decided to encapsulate this part into a virtual log (inspired by Delos https://www.usenix.org/system/files/osdi20-balakrishnan.pdf) since it makes it possible to tune the system more easily for different deployment scenarios (on-prem, cloud, cost-effective blob storage). Moreover, it allows for some other cool things like seamlessly moving from one log implementation to another. Apart from that the whole system design has been influenced by ideas from stream processing systems such as Apache Flink (https://flink.apache.org/), log storage systems such as LogDevice (https://logdevice.io/) and others.

We plan to publish a more detailed follow-up blog post where we explain why we developed a new stateful system, how we implemented it, and what the benefits are. Stay tuned!
The Cause of My Mental Illness
In Texas that's how it works, the Railroad Commission of Texas. The RRC was created in 1891 to regulate railroads, but its role expanded to include oil and gas regulation in the early 20th century.
> I've done [0] benchmarks, with [1] source to recreate it.

Where's the source for the data files? Without that it's not possible to make sense of these benchmarks. Are the keys sorted?

Comparing random-insert to insert-at-end, if that is what you are indeed doing, is silly and not representative of real-world scenarios.

Even then, it's _less than_ a 2x overhead, which is far from an order-of-magnitude difference and squarely within the realm of "I don't care."

> All of which become compounded by the use of non-k-sortable keys.

But that's the thing -- they don't! Bad queries, like missing an index, improperly pruning via predicate pushdown and recursive queries will all dominate performance regardless of what you do here. We're not talking _quadratic_ behavior here. The compounding effect you are worried about is negligible for the vast, vast majority of workloads.

> With Postgres specifically, the use of UUIDv4 (or ULID) PKs will also cause an enormous amount of WAL bloat [2],

Again, only for _random insertions_, which is not a problem specific to UUIDs. Yes I agree that if you are rewriting all of your tables all the time you're going to have a bad time. However UUIDs are not inherently problematic as UUIDv7 or their predecessor ULIDs facilitate temporal ordering, which nearly eliminates the disadvantages discussed here.

I fail to see how ULIDs inherently cause WAL bloat, and checking my notes (read: databases) shows they do not. Why do _you_ believe otherwise?

> Using UUIDs as a PK without having an extremely good reason to do so demonstrates a lack of understanding of how the underlying technology works. Worse, it demonstrates a lack of understanding of a basic data structure, something that devs should have near and dear to their heart.

What is problematic is not understanding the basic data structures and the underlying technology, which is the root of most database issues, which is my point: you almost always have bigger fish to fry. Whether or not you opt to wield UUIDs will not save you here.

In fact, 2ndquadrant agrees with me[0]:

> Chances are your database schema is more complicated and uses various other indexes, so maybe the issues due to UUIDs are fairly negligible in the bigger picture.

[0]: https://www.2ndquadrant.com/en/blog/sequential-uuid-generato...
There's definitely an orphan well problem and cases of very irresponsible O&G companies, but you gloss over the challenges with hindsight and an incomplete understanding of the science & technologies involved. It's more like space exploration than it's like "digging a deep hole"
Exploring Migration Options from PostgreSQL Using YugabyteDB Voyager
AI is not a Net Positive for Society
Linux VM. /s

( sorry, couldn't resist :p )
Not realistic to maintain control past A unless you built a real rocketship. The board doesn’t usually want to run your company - they have enough other companies, some evidently better than yours as they don’t require this intervention.
I don't think I get the 1-Click reference here – could you please elaborate?
Well, this is relevant to my interests. I do a lot of CNC laser engraving and rotary milling. Unfortunately a lot of the links to the digital fonts are broken.

The National Park Typeface was designed for pantograph-style engraving machines way back in the day, and still looks and works great for modern projects. I've made a few aircraft instrument panels using it.

https://nationalparktypeface.com/

DIN 1451 is nice too.

https://en.wikipedia.org/wiki/DIN_1451
So the entire misinformation spiral basically traces back to the New York Post? Damn.

I'm always shocked that anyone ever takes the Post seriously, but they're in a double whammy situation where (1) 90% of their content is sensationalist garbage and (2) most people seem unaware of this prior point. Which means they can spin up whatever shit and it'll get a lot of traction, way more than most other tabloids.
Shared augmented reality is the killer feature that I'm still waiting for. I'm really surprised that Apple didn't have that from the start. We could have things like going through your photo collection together. Or collaborating on a virtual sculpture. Or discussing ideas in front of a virtual blackboard. There are a lot of really cool things you could do with shared augmented reality.

Maybe Apple scheduled this feature for a later release? This is something that can probably be done efficiently 100% in software.
That'd mean that a twice as heavy vehicle would cause 16 times more damage than the lighter one. Wild and not really intuitive!
That’s the transparency I alluded to, but disclosure is not forced, and as you mention the values are disambiguated and not standardized. Plenty of room for improvement.
i add alcohol directly to flame all the time, and even burn it on my skin. there are real risks to be careful of, but i think you are exaggerating them

alcohol is great for this kind of thing for several reasons:

- you can extinguish a spill with water

- its low boiling point protects your skin and other materials from high heat, but only when they are wet with it

- you can mix a little water into it to enhance this surface-protecting effect

- unlike many organic solvents, its toxicity is quite low (ethanol and isopropanol, not methanol)

- it produces very little carbon monoxide or soot

that said, it can still spread fire quite far quite fast, and a house fire can go from the size of a small campfire to deadly flashover in under a minute, so be very careful
I used Alexa for audible a few times and it was a nightmare. It wouldn't start where I stopped listening on my phone, and then when I stopped listening with the alexa it wouldn't record the correct timeslot back to my phone. So I either had to _only_ listen with alexa, or listen with everything else on my phone.

Guess which I picked?
But you can leave easily. and in 2024 I think people should insist on getting a decent salary (FAANG is impossible, but for most of the country, “even just” $170K is eye watering), and work life balance (sure, you will have to put in extra hours sometimes, but if it’s a 12 hours a day shop, don’t join). Founder should work a lot more aggressively, live a lot more spartan, and obviously is shackled to the damn thing with no optionality.
I'm saying this with no data, but could it be because energy is just cheaper in the States? I have been using considerably less electricity since moving to NYC, since the price-per-KWh is about double what my costs were when I lived in Texas.

Also, I'd be curious how much of this could be due to electric car usage increasing?

This of course is anecdata, but I think a large percentage of it might come down to the fact that UK houses don't seem to run AC nearly as much. I spent two weeks in York a few years ago, during an extremely hot summer, and I was missing my AC very very much.
Yeah IMO its a red flag to compare yourself to Salesforce unless you:

* Offer a managed database system that can support common ETL workloads, custom fields, event hooks like post-save, etc

* A embeded-DSL for scripting custom actions, no an API does not replace this functionality

* Consultants/Support-engineering/and other escape valves when a really important business process needs to get fixed or built NOW

* A lot more

And frankly many startups don't have the muscle for this. Its not easy to do database work and its not easy to create functional (not necessarily good, just functional) DSLs and programming languages. These are harder computer science problems that take real talent to solve well. There are valid reasons Salesforce has the market cap it does.
Too many to count... pretty much everyone acquired by Facebook or Google. One that I used until FB acquired them was Drop.io

https://en.wikipedia.org/wiki/List_of_mergers_and_acquisitio...

https://en.wikipedia.org/wiki/Lists_of_corporate_mergers_and...
Yes. It wasn't inevitable that Russia would take this route. There were a few years of freedom, but with a broken economy. Then the era of the oligarchs. That didn't work out too well either. So now there's a strongman.

That it would be a strongman who wants to go back to the era of the tsars was unexpected.
Show HN: Grokking Trends from Across the World
I'm happy to share a project I've been working on for the past year, available to everyone. It aggregates trends across the world from various cities and niches. It includes summaries, sentiments and sources for every trend.

I recently pushed out a feature for being able to search trends. Should be useful for querying trends based on your specific interests!
Never worked with Swift before, but this checks out: https://swiftfiddle.com/mt5uptmbynbt7bi4jot7m5laum

Careful though, if you don't have :Float on ts it still gives 0.
The 90 day exercise window is the most obviously broken thing about startup equity in my opinion. We changed this to 5 years at Shogun.
Exploring PostgreSQL 17 Beta – Null's Constraint and Performance
may, but doesn't. christ
Automated theorem proving is a concept that has been around for a long time already.

Isabelle's sledgehammer strategy combines automatic theorem provers (E, Z3, SPASS, Vampire, ...) and attempts to prove/refute a goal. In theory this seems fine, but in practice you end up with a reconstructed proof that applies 12 seemingly arbitrary lemmas. This sort of proof is unreadable and very fragile. I don't see how AI will magically solve this issue.
Yes, that’s how it works. Same data as in the API.
I just came across a comment of yours (1 yr ago) on setting up an LLC in California as I'm about to pull the trigger/looking for recommendations on who to choose for formation/setting up etc

You mentioned not to do it in SF! This thread is kinda of connected - do you mind elaborating on why not to setup your LLC in SF?
I'm sure this also depends a lot on the field within mathematics. Areas like mathematical logic or algebra have a pretty formal style anyway, so it's comparatively less effort to translate proofs to lean. I would expect more people from these areas to use proof checkers than say from low-dimensional topology, which has a more "intuitive" style. Of course by "intuitive" I don't mean it's any less rigorous. But a picture proof of some homotopy equivalence is just much harder to translate to something lean can understand than some sequence of inequalities. To add a data point, I'm in geometry/topology and I've never seen or heard of anyone who uses this stuff (so far).
There are so many missing species that I spent more time hunting for plants in the database than trying to deduce the mystery plant.
That's pretty much exactly the calculation I'm positing. But actually with an even earlier terminus (late 30s or 40 at most).

Assume an "effective" average pay (i.e. "net" pay + retirement and other deductions, inflation-adjusted to today's dollars and averaged over the course of your career) of $120k/year.

From age 22 to 40, you've earned $2.16mm in inflation-adjusted-to-today dollars as a single earner. With a not-unreasonable average savings rate of 30%, not accounting for tax-advantaged growth or any growth at all, you'll come out with $650k of inflation-adjusted-to-today capital in savings.

Realistically, this should end up invested in some kind of equity (housing, stocks, bonds, whatever). If you finance the purchase of a house at 30, you're only 10 years into a traditional 30-year mortgage at this point, for reference. So you're roughly 1/3rd of your way to owning all the equity in your home. That's fairly comfortably a $1mm home (home equity being 30% of your assets at 40).

Of course, if you're DCA-ing into something that yields a modest average of 5%/year in inflation-adjusted returns, that $650k is closer to $1mm inflation-adjusted-to-today capital. And you still have 25 years at that point for your retirement savings to compound. And you can work part-time in something more fulfilling until retirement to supplement your income.

YMMV, but the marginal utility of money beyond $1mm in equity at 40 and $6k/month in expendable (on rental housing, food, travel, social events) income during your 20s and 30s is pretty small for most people. If you add a partner with any kind of income to the mix, it makes the marginal stress of earning more money even less appealing.

Edit: the main thing you ought to avoid like the plague is lifestyle creep. Spending money on things with zero or vanishingly-small happiness ROI. Read this story every year or two, or whenever you get a raise at work. https://www.marxists.org/archive/tolstoy/1886/how-much-land-...
(Disclaimer, I work for Restate on SDKs) We definitely plan to introduce helpers for the common use cases, for example right now we provide helpers to generate random numbers or uuids. We could definitely provide a wrapped HTTP client that records the HTTP calls you perform and store them in Restate, in particular in Golang this should be easier than in other languages, given the std library provides itself an HTTP client we can wrap/integrate on.

In general, we aim to make our SDKs as tweakable as possible, such that you could easily overlay your API on top of our SDKs to create your own experience.
Reminds me of the Kurt Vonnegut novel where they call mirrors "leaks" and stealing a mirror is "taking a leak".
Boeing's Urgent Mission to Train Rookies How to Build an Airplane
Yes, they get grants to work on it. Other questions? I can't say I enjoy this "gotcha" tone.
Oh yeah I remember that! My wife had to turn around and iirc that road was closed at least 2 days.
Sad that EU is (likely) banning e2e encryption ("chat control") before RCS ever got an accepted standard for it.

To their defense, that was what Apple key saying was their blocker on RCS. Some reasonable truth to it. I don't know how far or how hard Google went trying to make their extensions standards; AFAIK it's not like the web where this work & activity on it is easily seen.
Super interesting. Thanks for sharing the detail.

The trouble that you’ve probably felt is CRM are sold to sales exec and as such, focus on sales exec needs.

You’d be better served not with CRM, but a personal contact management system.

Something like https://www.monicahq.com/
UN declares 2025 as the year of quantum
I come occasionally for pizza and ice cream, sorry.
> If you push in any way they start to scream "tech debt" and everyone just accepts it.

Just as real-life debt, building a company without it is unrealistic and unwise. You just have to manage it.
And the DIN article lead to this Wiki of other public signage typefaces.

https://en.wikipedia.org/wiki/List_of_public_signage_typefac...
Our only hope is massive regulations with billions in potential fines and/or actual jail time. But I doubt that will ever happen.
Yeah, that's incredibly frustrating.

There's an open issue about it which you can express support for, and some marginally-hacky code that you can paste into a "debug_wheel.py"-ish script to get unblocked in the short term, here: https://github.com/pypa/pip/issues/10793
"Having other priorities" uses different words to say exactly the same thing. I'm guessing you did not look at pnpm. It works on all major operating systems; deduplication works everywhere too, which shows that it can be solved if needed. As far as I know, it has been developed by one guy in Ukraine.
Limitless (Previously Rewind) | Full-time | Remote | https://limitless.ai

At Limitless, our vision is to free the human mind from its biological limits. Limitless is a web app, Mac app, Windows app, and wearable that records what you've seen, said, or heard and makes it useful. Our investors include Sam Altman, Alexis Ohanian, a16z, First Round, NEA, and many others. We are a well-funded, 20-person, remote-first startup.

We are hiring for:

Head of Engineering - https://jobs.lever.co/limitless/0ea60957-a98c-4da8-ae32-62c7...

Senior / Staff Software Engineer (Firmware) - https://jobs.lever.co/limitless/8a93eb30-3a09-4faf-bf54-48e7...

Senior / Staff Software Engineer (Systems Backend) - https://jobs.lever.co/limitless/ad9305b2-b31b-45f0-b47b-51de...

Senior / Staff Software Engineer (Frontend) - https://jobs.lever.co/limitless/fce2c9f5-6a85-499c-b252-2eac...

Senior / Staff Software Engineer (Generalist) - https://jobs.lever.co/limitless/46409f9d-b6cd-4490-a8ff-a873...

For more information about our benefits and culture (including quarterly retreats, office reimbursement, final week of the year off, etc), check out our careers page - https://limitless.ai/careers
You're absolutely right: If a HSM is just used as a signing/decryption oracle, it doesn't add much value.

They're most useful if they can perform high-level operations, such as "please validate whether the entered card PIN <encrypted PIN block> here matches <PIN verification value on file>, given <credit card number>". The output of that example operation would only be a single bit of information (yes or no), rather than e.g. leaking the entire correct PIN, or even just the decrypted PIN that was entered at the POS.

But even just a signing/decryption oracle can be a step up from just storing long-lived private and secret keys on your application servers, where you'll never know for sure whether they were exfiltrated at some point.
https://github.com/apple/swift-for-wasm-examples?tab=readme-...
I've used ShareX and Greenshot, and the latter is more straightforward. I don't want to upload retouched/annotated screenshots, but ShareX is a image sharing application at its core, so it had too much unused baggage for me. Greenshot hits the sweet spot for my use cases perfectly.

Also, Greenshot is lighter and snappier than every other Windows screenshot application I've tried.