skysight-inc/HackerNews huggingface dataset:
The vest schedule means "if you're still at the company on day X, you'll get Y amount of equity".

You have a specific vest date for a reason.

If you wait to get rid of that employee just because they have equity vesting in a few weeks, it means that the vest is not on "day X", but on "day X - a few weeks". But that's not what the vesting schedule says.

The only logical decision is that whether or not they are vesting soon does not matter, what matters is you want to fire them now, so do it.

I understand that there is a supposed moral aspect to it as well, and that's probably why you asked online. Once again the decision is easy, do you want to fire them today because they are not performing, or do you want to fire them today because they have their vest in a few weeks?

For me the fact that you are even exploring the possibility to keep them onboard a few more weeks means it's the first situation, so I see no wrong there.

Lastly, some comments are predicting doom for your startup due to the bad reputation this would cause, including journalists knocking at your door and customers setting up a guillotine outside of your door, but this is all BS and isn't going to happen. Even your other employees will probably not know about this vesting schedule "problem".
There's J if you don't want glyphs
I've been using it since the initial announcement too. I filed one bug (on iOS after you send the file there was no way to close the send dialog) but otherwise it has worked well. I use it mainly to send images from my iPhone to my personal Linux desktop.

I'm hoping one day they will add some way on the Linux CLI to pick a file instead of just getting all the files at once. Or, dare to ask, a TUI file picker.
Don't deviate too much from the zeitgeist or they'll downvote you to oblivion. It will also cause tears in the spacetime fabric.
I'm not talking about Gemini, but about your proposal: “Mostly imagine if everything was an API and then we had a single interface for that which was purely text based e.g /google search hackernews”. Isn't this text-based interface which interacts with services just a shell?
Not hugely positive, but I had some sympathy for him once upon a time: I suspect he was a well-meaning but not especially strong leader of his party, who went into the coalition with mostly good intent. Once there, mind, I'm not sure why he didn't fight harder, and he lost all of the goodwill he'd built up during the election campaign through some of the policies that the coalition enacted.

I appreciate he'll have made an absolute boatload of money, but going to Facebook seemed a very odd choice. Or maybe he judged that his public profile couldn't be saved, and cashing in in the US was his best option?
I really don't even care that much about skin colors.

White, black, purple Americans tend to have similar perspectives on things, so do white, black and purple Swedes.

The issue is that the articles on many international things are clearly written from an Anglo-Saxon perspective, often citing purely English sources on events that happen in, say, France or Syria.
I just keep my irssi running on a Vultr VM.
The criticism is mainly on last-generation frameworks that came around before React and the like. They bundled together an all-in-one approach to writing web apps. Django comes with an admin tool!

The world has largely moved to richer frontends so stacks are more flexible.
Modafinil is disruptive to the circadian rhythm, which can exacerbate mania. It won't push dopamine on its own but in combination I'm sure it contributed, especially if, as is common with mania (which this article clearly describes without naming it, which is shameful frankly), she started taking her meds whenever she felt like it, instead of on a schedule.
The paper doesn't mention any baseline, and so claims like "86% accuracy" are a bit useless: what if players do the same action 85% of the time? Then the model wouldn't be not predicting much. If on the other hand the most common action happens only 30% of the time, then that would be an incredibly strong result.
ScyllaDB's obsession with performance by working closely with deep understanding of hardware and software and not simply adding more machines is really impressive.

They consistently demonstrate that we are under using our CPUs compared to potential.
Why the West Is Afraid of Color
See also https://www.theregister.com/2022/10/13/canonical_ubuntu_ad/
>The appeal, it seems, is not having to independently form many minor decisions.

No. It's also to make the work easier and do the heavy lifting, too. Conventions alone are useless if the work becomes more difficult.

It's a vague term but it is pretty darn obvious what the desired intent is behind frameworks and why the endless discussions on their costs and benefits exist. Frankly, most developers couldn't care less about the semantics, they only care if the outcome is beneficial.
There's an actual article linked inside this blogspam here: https://gizmodo.com/clegg-meta-executives-identified-in-only...
Scientists Taught Brain Cells in a Dish to Play Video Games and It's Pretty Wild
At which point it is no longer C, rather a programing language that vaguely resembles ISO C.
Yeah, sounds best. I'd still run it past the lawyers to make sure it's fine to "badmouth" a former employee in your jurisdiction.

It means taking ownership of the mistake, even if it does mean that you're effectively apologizing for devaluing the company to the other stockholders and other stakeholders.

Still, there's a little bit of "oh, so when I leave I can expect management to talk shit about my performance", which wouldn't do wonders for my impostor syndrome.
Unfinished art stolen, finished with AI – robber demands reference
A layoff is not comparable to firing a specific individual because they are incompetent.
There is a third type: those of us that work with frameworks and build our own with libraries when needed. The right tool for the job essentially. The "right" framework is absolutely a net benefit, even in academia, but it can be very hard to pick the right one. Sometimes none of the available framework options are "right" either. The downsides of picking the wrong framework for a project are massive and worse than custom code in my experience. I rarely hear pro-framework-only people talk about the downsides, and I always wonder how experienced they are. Have they never seen a project go sideways by picking the wrong framework?
I'm surprised nobody had linked to this yet.. the I'm sorry song

https://m.youtube.com/watch?v=KUDjRZ30SNo
I don't think so. There can be good reasons not to tell the whole truth about why someone was fired, and it's normal for managers to have only a rough idea of how well people are performing, even in a small company.
How much equity do you typically give up in a seed round?
I don't have any inside information on this, but at the end of the day, the level of service or availability you offer is up to you. There's no legally mandated support response time or SLA, so unless you're promising something else in your Terms of Service, there's nothing stopping you from offering no support.

How customers respond to this is another question, and most of the time companies strive to have good service because they value growth higher than 'lack of employees'. But everyone is entitled to their own approach.
> This was a pretty low bar, though. For example one of the memorable parts of the first debate was that during his closing statement he namechecked the audience members (name, location and issue) who asked the candidates questions. The media liked this. Needless to say, all the candidates did the same in the second debate :D

It always shocked me that this was what the media jumped on, and seemed to matter most to people. Really shows how appallingly low the standard of political debate and reporting has become.

(Personally, I'd be much happier with someone who didn't spend time on such obvious PR guff, and was a good and incorruptible administrator of a country.)
To your point...add cost of high priced law firm familiar with such gov contracts.

Come to think of it, add liability insurance as well.
This post is all true. One caveat (which is mentioned in the post): this person has multiple VC’s in his network and knows multiple founders who have raised on nothing but a deck.

Many, many, many future founders are not as lucky.

So, I guess rule -1 is: get to know VC’s, Angels and other previously funded founders.
Basically all of them as long as their used.

Would love to know more about your use case, email is somewhere in the comments
I don't see how that applies if the employee was deliberately malperforming. A bonus should only be paid if the employee performed well and sometimes perhaps if you feel sympathetic towards the employee, but it seems neither is the case. The legal side should be no concern if other employees are on your side.
Agreed. Also, there are not "two ways to teach quantum mechanics".

For example, take the hugely popular book of Griffiths: if I remember correctly, equation 1.1 is just the time-dependent Schrodinger equation.

From what I have seen, most teachers do not spend too long on the history of quantum mechanics but they do focus more on the physics of quantum mechanics that this introduction does. The difference is important, and completely ignored in the first paragraph of the linked article.
It's called a de facto union. Example:

"Unmarried Couples ...This page is about partners in a stable relationship who are not married or registered with any authority..." - https://europa.eu/youreurope/citizens/family/couple/de-facto...
You can connect them through the air and through the ground. That gives you two. The third has to be connected through the houses, which might be an option. Four is essentially the same. Where it gets really difficult is when there are more utilities than there is vertical space.
I'm aiming at trying to make myself useless by automating everything I can and teaching others to do what I do so I don't have to. One day I may succeed but so far when I've been on the brink of success I've been offered more and more interesting work and I don't think the world will run out of work to be done anytime soon :-)
I want to provide a bit of a counterpoint from personal experience:

A harsh firing process can actually even improve trust into management/leadership.

Poor performance especially in smaller companies is often very noticeable to coworkers and firing people for not performing at all can signal that management is willing to follow through with hard decisions for the good of the company (and that IS important to employees!)

If there is consensus in your team that your disappointing employee is useless, than firing him on the spot might be the best thing you can do to increase trust in leadership (but this is a hard decision and a lot more context would be needed to judge).
> They were a small player at the time in the phone market, so they couldn’t expect an iPhone-only solution to succeed, and writing an app wasn’t really a thing yet, so they couldn’t have gone the route WhatsApp later took, so what could they have done instead?

Mate, iMessage debuted in 2011 - 2 years after Whatsapp appeared on the platform.
Other than having someone keep track of it, across all projects it gets included, even if it gets vendored somewhere there is the issue with symbol duplication across binary libraries used across teams.

Also it is a toy library in size, then there are those that can be used to stress test compilers.
I wonder how many people are using 'async' just for the sake of it without a real need for it and shooting themselves in the foot while at it
There's a bit more to the story than that.

British universities were pushing hard for the raised tuition fees at the time, a legacy of Labour's drive to drastically increase the numbers of people going. They claimed that they were going broke and needed the possibility of charging more to decrease class sizes and scale up their operations. They also claimed that very few universities would actually raise prices to the new cap, that in most cases the new prices would be hardly different.

The coalition, both Tories and Lib Dems, were completely suckered by this claim. They came to see raising the price cap as an unpleasant compromise, needed in order to ensure education remained high quality at the very highest end (russell group etc). What actually happened next showed that the claims of universities were a lie: every university immediately raised their prices to the max and faced with a tidal wave of new money, the academics that had been claiming they needed it to benefit students immediately went on "strike", except it was the sort of strike where they continued to turn up and do research (the fun bits), but refused to mark students exams. In other words they held students hostage at the start of their careers. I remember because I was there at the time.

Because the university sector has pathetically weak management this tactic worked very well, and within months the "strike" was ended by the simple expedient of allocating nearly all the new money to wage increases for lecturers and other academic staff. The new money was swallowed whole by the existing system, the big promised expansion never happened.

The ironic thing is that universities are heavily biased towards Labour/Lib Dem voting, with university towns being much more orange than typical, even though it was the Tories who gave them all massive pay rises and Clegg who notionally opposed it.
THIS point though,
Im inclined to share our edge case doc with HN and let people add stuff.
I would add though, that if the framework consumes much of the attention of the developers, then it is still a loss.

And I would add to the title, that using a overly _hyped_ framework will harm the maintenance. Using some framework, simply because it is new or hyped, that will get teams and companies in trouble.
We’ve got a load of good public domain short fiction compilations at Standard Ebooks;[1] the favourite that I’ve produced has to be Leonid Andreyev’s work.[2] He’s often referred to as the Russian equivalent of Edger Allan Poe, but he has his own definite flavour. “The Wall” is a good example.[3]

[1] https://standardebooks.org/subjects/shorts

[2] https://standardebooks.org/ebooks/leonid-andreyev/short-fict...

[3] https://standardebooks.org/ebooks/leonid-andreyev/short-fict...
I've been let go 3 times in the month before vesting. No one cared. Let him go.
Hi there! Martin here.

I agree that for most engineers, getting into formal proof is intimidatingly hard and perhaps not a good use of time, because lighter-weight specification languages and model-checking can help develop a good understanding of a system's behaviour with a much lower time investment.

But the intended audience for this post was not engineers working on production systems; it was intended for researchers studying distributed algorithms (e.g. consensus algorithms), and researchers who already know proof assistants and want to know how to use their skills to verify distributed algorithms. Note that this post appeared on a blog called "Machine Logic", not "Practical Distributed Systems Engineering"!

I have personally got a lot of value out of formal verification because the distributed algorithms I work on (CRDTs) are sometimes so subtle that without a proof of correctness, I simply don't believe that they are correct. I have several times developed algorithms that I believed to be correct, only later to find out that I was wrong. Here's a case study of one such example: https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-969.pdf

For people like myself, who are designing such algorithms, I believe that formal proof is worth the effort. But most people are not in this situation.
How about Scaleway?

https://www.scaleway.com/en/pricing/
I haven’t used Tailscale [1][2], but is this very easy (UI/UX) to turn off temporarily? Does NextDNS assign a unique IPv6 address for each account to know this is my account and to apply my chosen filter lists?

I use NextDNS on my devices and turn it off temporarily when something I need to access doesn’t work because of something getting blocked by the filter lists (I do manage the allow list on my NextDNS account for any permanent or long term changes).

Seems like this doesn’t support multiple NextDNS profiles (says it’s in alpha) and the UX looks a bit rough to me.

[1]: I don’t seem to have a need to use Tailscale so far since the devices in my home network are shutdown when I travel and I don’t need access to them at all.

[2]: Besides, I don’t wish to signup for something through a Google or Microsoft or GitHub account (or other third party account), which are the only options supported by Tailscale. I’ll consider Tailscale if/when it supports a simple email/password account registration.
Maybe, but compared to the US they're hotbeds of rampant leftism. Probably a good 1/3 or more of UK conservatives would vote Democrat if it came right down to it.
Can you explain? That's not how I interpret either. Every quantum state can be realized as a classical mixture of pure quantum states (i.e. as a density matrix).
Yeah it's weird. I don't actually remember TV debates being a big thing before that election, did we just start it for 2010?
Yup. A hackathon might be 80% of the work. But it's the easy 80%.

The proven rule of thumb:

The first 80% of the work takes 20% of the time / resources.

The remaining 20% of the work sucks up 80% of the time / resources.

The latter? The Devil is in the details.
> We don't call a Dell "American laptop".

Most of them isn't even American.
That's almost as bad as the Brexit busses!
Jefferson is speaking there of a political-philosophical hypothesis. It's not a statement of fact that laws do, or that the Constitution does, expire after 19 years. Clearly they don't by default.

By all means, let's hold a constitutional convention periodically. Whether it's every 20 years or every 100, we're overdue. The founders even foresaw the potential need for that, and provided a procedure utilizing constitutional conventions to bypass state legislatures, a procedure which the country has not once utilized.

Failure to go through the amendment procedure doesn't grant us the right to ignore the Constitution as written. It's very easy to say you don't like some part of the Constitution. It's very difficult to propose and pass an alternative.
> then where does "abstracting things" and "framework" start and end?

It doesn’t. If you abstract things enough there is your framework.

The only things I’ve seen that were truly without a framework were raw php files that did everything contained within that single file. And even these had headers that combined some common functionality.
The voice of reason. Frameworks just work for a reasonable cost, offer an easy upgrade pathway to follow, and facilitate the integration of new devs. In most case (depending of your business domain, of course), they should be more than adequate.

The cold hard truth is that most developers are not the genius hackers they fancy themselves to be.
His perspective is essentially the same as ours would be of four-dimensional space: The space can exist, we can move through it, but we can only ever see three dimensions of it at a time. It is the same for mario and the way that makes sense to you is as a line. Even if it is a line with no inherent width, that doesn't mean that Mario cannot see it.
Speaking as someone who has spent time optimizing C++ and Rust, memory allocation in hot loops is often where performance goes to die. GC or not, if you want to fast, reducing allocation is one of the first things to benchmark.

(One fast way to manage allocations is to use an arena allocator that allocates memory by incrementing a pointer, and frees memory all at once. This is pretty effective for simple, short-lived requests.)
For searching/expansion, it's a constant number of fields I use my own ctrl-r handler, which just runs `cut -d" " -f 4-`. Before that, I just used the standard history and used this as a comprehensive backup - grep, and seeing everything in context was valuable for me alone.
I found it very noisy. I wonder if we can make it less noisy with a different blade design. I have the feeling that counter-rotating propellers also don't help much at that (neither with the noise, nor with CFD models of it). Ducted fans, perhaps?
There is a typescript library called runtypes which offers really great runtime type checking. It’s a vanilla TypeScript library, so it doesn’t require any modifications to your tool chain. It provides library functions for defining types that are very similar to how you’d define the types in typescript. Once you define the types via library functions, the library has offers access to the underlying TypeScript type using typeof and also provides checked JSON deserialization methods.
I don't think .at is mismanaged, quite the opposite, but in the way of many ccTLDs it is a little bit eccentric. I don't know why route53 might not support them: perhaps it's to do with contractual faff, or possibly because nic.at uses a less common flavour of EPP.

(Sadly the common flavour of EPP has a bonkers data model; a few ccTLDs use an alternative model with a more sensible data model, but although the more sensible flavour of EPP is easier to use in isolation, it has the downside of being different from the ICANN flavour.)
Disclaimer: I'm a DevOps, not a developer, but enjoy writting software side projects at home where I am free to chose whatever I want and don't suffer from real world engineering decisions. So, take my opinion on this with that in mind.

Traditionally, I've always used Python with whatever framework (Django, Flask, FastAPI) but always had this feeling that I am learning a framework, not digging into the language which is what I would like. Django, for instance: you end up feeling that a big part of it is magical, which is something that I personally dislike.

A few months ago I found Go and fell in love with it's pragmatism and its non-written (as far as I am aware) rule of not relying on frameworks but instead on just libraries. I find it great, but again, I don't have direct experience in the real world to know the trade offs on multiple levels this can bring.
Before electronics can be sold in the US, the go through testing to prove it doesn't create electromagnetic interference. Those rules are set by the FCC. Some uses (e.g. R&D prototypes) are exempted. This is Google's legal team covering their asses by making it clear these are prototypes.

There's every reason to assume these will pass the tests, but there's no reason to do so until you have the hardware pretty locked down.
I wonder what accuracy you'd get in a basketball game with the following constant predictor: “the player who has the ball will dribble”.
We are stuck with egrep and fgrep (unless you like beating people)
> If you refuse because of tech... you didn't care enough about that person to begin with.

This has been every iPhone user I've ever found. I've been willing to use any messaging system and have tried many. But not a single iPhone user I know uses anything other than iMessage. And they blame me.

Welcome to adulthood. Adults can be just as stupid, hypocritical, uncaring, and ruthless as anyone else.
> Do you think it's healthy for boys to be taught that they are expendable and that their lives only have conditional value that can go away at any time if they are unable to work?

I do see your point, however this is an issue with all self-help advice. As a person who looks for such advice, you're looking for something you can fix about yourself. Whether it is a good thing on a society level is not the question.
Economists win Nobel Prize for showing why banks fail
I think it’s a common principle of modern computing. We trade productivity for performance all the time. The idea being machines are fast enough it doesn’t matter. There are order of magnitude gains to be made at most levels in the modern stack - it’s just the effort required is immense.
Isn't HTTP/1.1 transfer encoding chunked a simpler solution to the same problem?
Thank you for that article, it was a thought-provoking read.