skysight-inc/HackerNews huggingface dataset:
It's always been a lively topic within Restate. The conversation goes a bit like this

> Let users write code how they want, its our job to make it work!

> Yes, but it's simply not safe to do this!

I think we need to offer our users a lot of stuff to get it right:

1. Tools so they know when a deploy puts in-flight invocations at risk, or maybe even in their editor, showing what invocations exist at each line of a handler

2. Nudge towards delayed call patterns whereever we can

3. Escape hatches if they absolutely have to change a long-running handler - ways to branch their code on the running version, clever cancellation tricks, 'restart as a new call' operation

Sadly no silver bullet. Delayed calls get you a lot of the way though :p
> objectively more readable

Certainly not "objectively" in the literal sense, because there's no measure of "readability". But you can define one if you want, so that we can argue about its biases and relevance ;-)

But Forth programmers sometimes use double spaces to separate sub-expressions:

(d (c b) a) <=> a b c d

... or something like that. But in reality what one writes is (hopefully this is close enough to your abstract example):

(square-root (+ (square a) (square b)))
<=>
a square b square + square-root

Or if we stick to real-forthers-do-not-use-local variables:

square swap square + square-root

Newbies will probably use "training wheels comments":

( a ) square swap ( b ) square + square-root

I know the usual objections that one needs to keep the number of inputs/outputs of each word/function. It's actually not as difficult as it seems with good naming and when you keep things simple. Actually, the former is a well-known hard problem and the latter is a perhaps lesser-known hard problem. But I would say that's good problems to solve.
Unnecessary upload evasion with lftp mirrors
Yes there have been some experiments with that.

https://github.com/hydraulic-software/conveyor/discussions/6...

Gluon has a version of GraalVM that can compile JavaFX apps. They do indeed start impressively fast and use much less memory. It's still a road somewhat less travelled though. Someone also tried it with Compose but it didn't get further than a demo repo and a few comments on our Discord.

There are a few issues left to resolve:

1. General developer usability.

2. Native images aren't deterministic, which reduces the effectiveness of delta updates.

3. Native images can quickly get larger than the JVM+bytecode equivalent, as bytecode is quite compact compared to machine code. So you trade off startup time against download time.
Startups are far more founder-friendly than they used to be (thanks in part to YC’s contributions) but we have a ways to go to make them more employee-friendly too.

To call out the employee-friendly equity policies that OP has instituted at his new startup:

> Our employee option pool is 20% which is double the average

> We have a 3-month equity cliff which is 9 months sooner than the average.

> We allow employees to exercise options up to 10 years after they leave instead of 90 days.

> Our equity packages vest over 3 years instead of the industry standard 4-year period.

> … only taking liquidity if I can also offer it to employees as well.

The 10-year exercise window is especially noteworthy since the cost to exercise options can be substantial.
Upon first look at the map, I thought it had to have loaded wrong to not see it starting at what I expected as a port city. From someone that grew up around rivers that can pretty much run dry during the summers, it's amazing to me that a river runs that wide/deep that far inland to a land locked area to be able to accommodate a ship of this size.
Smartphone-1 to Smartphone-2: adb tcpip 5555 using Alpine Linux, Termux--no WiFi
Lean has the largest existing math library, but you're kind of stuck in a microsoft ecosystem.
What a study of AI copilots for lawyers says about the future of AI for everyone
I could have got an unlimited plan, except that it costs more and even with tethering I don't go through more than 40GB so I saved a bit and downgraded to a limited plan. The data limitations was a personal choice.

I don't see any of the providers here in the UK with different amounts for tethering Vs data.
All true. But these backups must be available publicly-- especially after someone's death (an unfortunate event:/)

Without that -- they become lost.
Spoken like a true frog. FYI your own frog intellectual hacks think that "psychotherapy" should look like this: https://en.wikipedia.org/wiki/Schizoanalysis
I don't think we'll ever see proper packaging integrated into the language. Our best hope is for the ecosystem to coalesce around a particular tool, or at least have standards that all the major players follow. The latter is kind of happening slowly over time.
But why should we assume twice is enough...
That's exciting!

Out of curiosity, have you explored the possibility of a serverless orchestration layer? That's one of the most appealing parts of Step Functions. We have many large workflows that run just a couple times a day and take several hours alongside a few short workflows that run under a minute and are executed more frequently during peak hours. Step Functions ends up being really cost effective even through many state transitions because most of the time, the orchestrator is idle.

Coming from an existing setup where everything is serverless, the fixed cost to add serverfull stuff feels like a lot. For a HA setup, it'd be 3 EC2 instances and 3 NAT gateways spread across 3 AZs. Then multiply that for each environment and dev account, and it ends up being pretty steep. You can cut costs a bit by going single AZ for non-prod envs, but still...

I couldn't find a pricing model for Restate Cloud, but I'm including "managed services" under the definition of serverless for my purposes. Maybe that offering can fill the gap, but then it does raise security concerns if the orchestration is not happening on our own infra.
The paper value was far lower during the exercise window & no guarantee it would ever be liquid. The AMT would also have dwarfed the 10k.
Good, the defaults are so insidiously-designed that you'd be forgiven for assuming it was naturally user-hostile.
Super interesting question! If we were inventing modern tech from scratch, I think there's space for this, definitely. Our goal though is that people can use their primitives in the systems they have already, which means Java, Go, Python, TS support are all table stakes
Clicked just to see if Wyden is involved. Of course he is
I am a big user of SQLite, we use it everywhere in our software.
But I think I would like something in between Postgres and SQLite.

A few issues I have with it:

- Migrations are a real PITA, you often need to copy whole tables over since the DDL available is so limited. Even basic things that are not breaking change like dropping a foreign key is not possible

- Single file doesn't scale that well, you will see select performance degradation, vacuuming will be extremely long/take a lot of disk space. We started splitting our databases in multiple files and using ATTACH but you lose a lot of nice things like FK support.

- No parallelism except on sorting, this one is annoying when you have compute heavy select (like searching on compressed data). It will max out a core but it can't spawn workers for the select. It can for the ordering part so it's not really a "technical" limitation.

Still grateful it exists though.
It happens. Best response is to ignore it or reach out to the actual mods (contact email on pretty much every page here). Commenting about negative moderation generally gets you more negative moderation.
because they are cheap ass people. Pivoted 3 times since 2021 to the latest hype, currently building another generic AI app. They still have 5-6 years of runway left with current burn-rate.

If they go all out in 12 months, they would actually be considered a winner/failure. Purgatory is comfortable.
He's a fourth-generation rancher so the previous owners are his own family. His own family collected the payment for these wells and maybe made a mistake.
Note that if you self-host this, that you are bound by those code publication requirements of the AGPL 3.0 license that apply to your specific circumstance.

Does the $9/user/month plan exempt paying self-hosted users from those requirements?
Exactly, they're plates to follow using a pantograph machine that will in turn engrave your piece. I love the "Himalaya" type in the article, very Art Deco.

If you want a demo of a vintage one, this video from Inheritance Machining [1] is a great watch. It also shows how you can change the scale by adjusting the lever arm positions.

[1]: https://www.youtube.com/watch?v=7am-ysvGD3s
> The transition would be complete as soon as users can moderate replies.

They already can.
They are pretty similar as languages. In general I would recommend Lean because the open source community is very active and helpful and you can easily get help with whatever you're doing on Zulip. (Zulip is a Slack/Discord alternative.) The other ones are technically open source but the developers are far less engaged with the public.

Proof-checking languages are still just quite hard to use, compared to a regular programming language. So you're going to need assistance in order to get things done, and the Lean community is currently the best at that.
This is an industry-wide problem. The solution is not to overhire and crack down on these empire bulders, but this means fewer FAANG jobs. Engineers have to pick their poison.
That seems like a pretty bleak childhood, packed away in a room that has no sharp edges while mom watches you on the surveillance.
I disagree - I think the name is great.

Consider Venn diagrams: the audience for these two homynymous products has small overlap. Further moderated when you consider term stickiness to respective meanings is only high for a small fraction of that audience.

In other words, most people aware of both can cope with a mutual name. And some may even think it's cool. Each name enhancing the other through association and analogy.

Overwatch is definitely the right choice. Consider the 'OG' meaning originates from military terminology. In this context, "overwatch" refers to a tactical position where one unit provides covering fire and surveillance for another unit as it moves forward or performs an action. The overwatch position is typically elevated or strategically placed to have a clear view of the battlefield, allowing the overwatching unit to detect threats and engage enemies to protect the advancing or exposed units.

This concept ensures that the moving or vulnerable unit can operate with reduced risk, as the overwatching unit can neutralize potential dangers and provide critical information about the surroundings. The practice of overwatch is a fundamental tactic in military operations, emphasizing teamwork, communication, and strategic positioning.
I don't think you really illustrated anything. (but don't get me wrong, the image Mike DeWine and Pat Gelsinger in a strip club is extremely funny) Ohio politicians are rather more expensive than your comment implies.

If one wants to dig into how actual corruption of this sort works in Ohio during its current GOP supermajority era, they ought to start here:

https://en.wikipedia.org/wiki/Ohio_nuclear_bribery_scandal
But who is qualified to be the arbiter of Truth when it comes to the reasoning?

Truth and agreement at the abstract level where we're working right now is easy, but the move to the object level is anything but (even though it seems easy).
Southern states have temps >100° so the night time work is also just for the survival of the workers. (only a slight exaggeration)

Also, night time is dark. It makes things much more difficult than it needs to be at the convenience of some drivers in a car. Natural daylight is just so much better than having to have portable lights.
> How would this result in the growth of a new tooth in the right spot?

Huh ? Who said anything about the right spot. This will grow the tooth. Just pray that it grows where you need it. /s
I have personally tried Coq and Lean and stuck to Lean as it has much better tooling, documentation and usability while being functionally similar to Coq.

Caveat that I have only used Coq and Lean side by side for about a month before deciding to stick with Lean.
You wanna share albums if you’re trying to give someone direct access to photos with metadata.

I expect the metadata scrubbing on message-sent images is a security thing.
That policy was actually one of the major reasons I liked that company and stuck with them for so long. Their goal early on was to avoid raising money if at all possible, and they managed that for a long time by mostly being cash-flow positive/profitable. The trade off is slower, but sustainable growth.

We hit an inflection point in the early pandemic where money was cheap and we had a ton of new customers coming in, so we were able to secure very favorable terms for the Series A and used that money to expand the business. Things continued to go in the right direction for the next ~2 years and we ended up doing a Series B round, and that in retrospect was a mistake. We over-hired in 2022 and couldn't back that up with increased business. And because we had given up so much control to investors in the previous rounds, we were unable to return to the sustainable-growth strategy that had worked for us in the past, and had to adopt faster growth strategies, none of which panned out and ultimately hurt the company and led to many rounds of lay-offs.
Ask HN: What's your biggest issue related to sleeping (well)?
Temperature? Noise? Humidity? Being able to fall asleep properly? Mattress comfort? Else?
> To allow for compact filenames of bdists that work with more than one compatibility tag triple, each tag in a filename can instead be a ‘.’-separated, sorted, set of tags.

Is his second point about compressed tag sets right? I would interpret "sorted, set" to disallow unsorted and duplicate tags.
How to test and monitor your APIs with Playwright [video]
> Not imposing one’s personal preferences (i.e. veganism) on others is apparently as well.

How would a guest impose their dietary restriction/preference on the host? All they can do is not eat.
yeah I don’t think anyone’s against the concept of fracking, we’re against the concept of fracking for profit and/or without EPA oversight. Thanks for sharing your expertise tho! TBF “it seems rare to me” isn’t exactly a slam dunk refutation of the quoted expert, but I’m willing to hear it out - your alt explanation seems logical, also
It is also, and more to the point of being a real trademark issue, the name of a managed threat hunting service from Crowdstrike.
> I’m not talking about the the pandemic.
> Then why even mention it?

Listen bud, you can treat antivaxers and bogans like lepers if you want. It is not my problem, they are your cross to bear as fellow citizens. I also think they are retarded, but you seem incapable of understanding this or where we differ.

Read the thread again and observe how you jump to conclusions about strangers (I must be an American who fell down the rabbit hole with those people online and am also like them) and the way you treat people you don't like. That's all.

I don't think you are quite your old selves and don't want to get caught up in your culture wars.

> Why? Whether I refuse to give him my PIN; or I give it to him and he finds nothing of interest; or he does find something of interest: none of that relates to the attitudes of people regarding the pandemic, because none of the things they're searching for are even remotely related to the pandemic.

Hard to believe they are sifting through phones at the border "just looking for kiddie fuckers". There is a reason why you think their approach is completely wrong. You know that makes no kind of sense, it is security theatre.

There is a fellow Australian in this thread describing being searched three times.

In reality you are at the mercy and at the discretion of the border guy. And if he acts like you've acted here and comes across an antivaxer I have a reasonable expectation he would give them a hard time out of spite. Or indeed whomever rubs them the wrong way.

I get how it is supposed to work, I am not claiming anything remotely like they are actively targeting this or that group as defined in the law. I'm talking about how it is enforced.

It isn't something I read online either. Because of this atmosphere people have bad experiences. Normal people.

No point in talking in circles, I'm guessing you'll stay with your cognitive disonnance and keep yelping at me like I'm an antivaxer and this isn't registering at all so I'll wish you the best and stop here.
Show HN: Developing an AI Image Editor: Challenges and Takeaways
Dishwasher: An Energy Star-certified dishwasher can use as little as 3 gallons of water per load, while hand washing can use up to 27 gallons. Some say that dishwashers are four to ten times more water efficient than hand washing. Newer dishwashers also heat water more efficiently than water heaters and can handle food scraps.
Yes! Honestly, I mostly just use it as a really, really fancy iPad. It's great for watching content, like movies and TV shows. Some of the games are also fun too in small doses.
NASA, Global Astronomers Await Rare Nova Explosion
Microsoft is insecure, year of linux incoming.

Don't let anyone tell you Debian-family/Ubutntu/Mint for Desktop. These people are doing a 20 year old reflex reaction from the Canonical free CD era.

Fedora, OpenSUSE, up-to-date linux distros are better than Windows.

Debian-family, is probably not better than Windows 7-era Windows. Windows 11 is too easy to beat.

EDIT:

Justification: Debian-family uses an outdated Kernel. This means everything from software to hardware to drivers to codecs are outdated the moment you install it. Lots of terminal usage required to use a debian-family distro, if you can get it working at all. Most of the time, you will need to use an up-to-date distro on modern hardware.
https://archive.ph/YVhlr
Just recently a major ship was sunk, though:
https://en.wikipedia.org/wiki/Sinking_of_the_Moskva

Did they make mistakes?
I don’t see gpt4 scores there. In fact I’m particularly interested in the performance of a natively multimodal model, like gpt4o or gemini. It does not really make sense to test a model trained on text on those visual/spatial puzzles.
Firebird database can run both as an embedded database and as a server. I’d like to see something like Postgres adopt this model.
That's indeed the part I like least about WhatsApp: The fact that it both requires phone numbers as identifiers, and insists on full phonebook access.

At least on iOS 18 it will become possible to provide partial phonebook access, as far as I've heard.
How's that allowed on YouTube
Your daily reminder of the importance of maintaining board control.
The article says they will move 40 in total
No idea about Cold Stone specifically, but many items in the ice cream section are labeled "frozen dairy dessert" and not "ice cream" because they do not meet the legal requirements for ice cream in the US.
ARM stock is up 7% today, so I guess this is not bad news.
Oof, 70mg is a lot, I can't imagine what that would be like, especially at a young age. Congrats on making it through, sorry that life threw that at you.

I typically stick to just a morning coffee, but I've never actually tried caffeine pills. I suppose if I'm dispensing advice on the benefits of experimentation I might have to look into them, thanks!
Streak (YC W22) is hiring a remote web designer (senior)
The odd vs even versions rule you describe, while followed by a few projects, is not part of Semantic Versioning (aka SemVer) - there's no mention of it whatsoever in the spec at https://semver.org/.

Indeed it is basically incompatible with SemVer given that SemVer has its own way of marking unstable versions (or, equivalently, pre-release versions; SemVer conflates the two concepts). Unstable/pre-release versions under SemVer are indicated by a hyphenated suffix after the patch version - e.g. 1.2.3-alpha
I've always thought it was Apple who dropped the ball with Siri.

When Siri came out in 2011 -- two years before Alexa -- all my coworkers and I had iPhones. I remember sitting in my office as people yelled at Siri all day trying to get her to be useful. "Hey Siri, what's the weather tomorrow? No... No SIRI, WHAT'S -- THE -- WEATHER -- TOMORROW!"

Even though it sucked, it seemed every hardcore Apple user was ready to jump onboard. Who cares if I'm in a crowded office with people trying to get work done while I spend 10x longer to perform a function in the noisiest possible way? I'm using this thing!!

The voice recognition has improved since then. But the functionality still sucks.

When I'm in private, there are a couple commands I'll use.

- "Hey Siri, call xyz" where xyz is someone in my contact list I have tested with Siri and is known to work. Not recommended to try without testing first.

- While cooking, "Hey Siri, set a timer for 10 minutes." Works great.

- While driving and navigating: "Hey Siri, take me to the nearest gas station." That one is pretty good, except the actual maps are not smart enough so sometimes you'll be turned around in the opposite direction you were going, since technically that's where the nearest gas station is.

I never understood why they couldn't make this tool better, even before LLMs and without any AI at all. Just hard-code a bunch of phrases, and ways to translate those phrases into some action.

"Hey Siri, how close is my UPS delivery?"

"Hey Siri, where can I get the best price on xyz cat food?"

"Hey Siri, what's my bank balance?"

"Hey Siri, how much is a Lyft to xyz?"

I bet if they had a single developer working on adding Siri commands full-time, they could announce something like 20-50 new Siri functions at every WWDC.

But it seems the goal now is just "Make it an LLM," instead of focusing on recognizing the task that the user wants to do, and connecting it to APIs that can do those tasks.

They could've dominated the "conversational system" market 13 years ago.
Yes, and little else. A lot of it is land with short grasses as well although that varies by region. I guess I am surprised it would be enough for horses nutritionally.
Great points... as to #3, investors are often happy to be buyers. They are buying shares anyways that would otherwise have to be created. Allowing founders and employees to sell shares lowers dilution vs. creation of new shares... usually this is not a large effect, but still not bad for current & future investors.
God I love pnpm. Literally the only thing I install with npm.
Literally no one in the oil industry cares enough to quit the oil industry. Also: environmentalism will always be politics. Our opponents don’t have “different priorities” as in philosophical differences, it’s a matter of profit and control and freedom to litter when they feel the urge.
Or you can just live somewhere else. The world doesn't end at Bay Area.
https://archive.is/Wp6TF
Thanks for your recommendation. I ended up not putting it down because of this comment. :)
Being accepting of other people's shortcomings (food allergy/sensitivity/intolerance) and tolerant of their lifestyles (vegetarianism/veganism) are things that can be learned. I believe in you.
Seems it would be more universal to highlight the current slide (section) and keep the others faded out a bit. It's still "unfinished" in a way, but it's also more obvious.