skysight-inc/HackerNews huggingface dataset:
> If so it seems unclear where to draw the line. If not it sounds nonfunctional.

There is no line. It is just one long linear list. An undo operation is an edit to the text after all. So the edit made by the undo operation also goes as a text edit operation in the undo list.

This is the way undo has always been in Emacs. I wouldn't say it is nonfunctional. I use this in Emacs undo, redo (which is undo-of-undo) and it feels okay most of the time. It is good to know that Emacs will never lose any edit even if I have performed a confusing series of undos and redos. But it can get confusing pretty soon if we are undoing and redoing on the same edit too many times.

That is why many people don't like linear undo history and install an undo-tree plugin which makes undos easy to navigate in a tree. Yet another reason to design some computer/software history lessons so that devs can learn from the existing techniques, their adoption, benefits and complaints.
My company owns some large IP blocks from a while back; they are mulling over selling them since they aren't in use. But then someone internal says "what if we need them for XYZ", so the sale is delayed. Easier to have it and not need it than need it and not have it.
There are 130 (!) companies in the FTX group, across a whole slew of jurisdictions:

https://i.redd.it/078p4g7m6cz91.jpg

The Chapter 11 filing is for the ones in the US, working out what this means for the rest is going to keep a whole lot of lawyers very busy for years.
Theranos was straight up fraudulent lab reports and a tale of numerous people who should've known better getting duped
Nice, this is really cool! I don't see myself waiting for my photo to process as it's a ~4 hour wait but the example image is cool.

Like you said I bet using Stable Diffusion would speed this up dramatically but who knows if you'll get the same effect on your images.
I've seen some comments saying that this is all delayed fallout from the Luna/Terra collapse last spring, it's just that FTX had the means (its own token that it could pump and move around its own entities) to paper over the hole in its balance sheet until now. Can anyone more familiar with the situation elaborate? How much further will the contagion spread?
There is CHERI, which seems pretty cool:

“CHERI extends conventional hardware Instruction-Set Architectures (ISAs) with new architectural features to enable fine-grained memory protection and highly scalable software compartmentalization. The CHERI memory-protection features allow historically memory-unsafe programming languages such as C and C++ to be adapted to provide strong, compatible, and efficient protection against many currently widely exploited vulnerabilities.”

https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/

I forgot the details but iirc it’s not too much work to recompile programs for the architecture.

It was discussed on HN before, e.g. https://news.ycombinator.com/item?id=30007474
Group holdings yes, but the US exchange and some of their other acquisitions are in US. It seems to be quite an elaborate cluster of firms that have filed for bankruptcy, which makes me think maybe someone was doing funny stuff with money.
> never mentioned in the online language specs over at go.dev

hmm, what's this then?

https://go.dev/doc/faq#Does_Go_have_a_ternary_form
Given the similarities in their type systems, languages like Rust or Scala might be easier to pick up with some Haskell knowledge than without. Has that not been your experience?
English (machine) translation: https://lsww-de.translate.goog/shopify-illegal/?_x_tr_sl=aut...
Yeah for something that is supposedly intuitive this is the worst explanation I have ever read. I think what he's saying is that:

It works exactly like normal undo/redo, but if you make an edit that would normally wipe your "redo stack", then instead that redo stack is moved into the undo stack.

So:

Type "hello"
Type "world"
Type "!"
Undo
Undo
(Editor is "hello", with "world" and "!" on the redo stack)
Type "dave"
(This would normally wipe the redo stack but instead it moves it to the undo stack)
Undo
(Editor is "hello")
Undo
(Editor is "helloworld")
Undo
(Editor is "helloworld!")
Undo
(Editor is "helloworld")
Undo
(Editor is "hello")

I like the idea. It's a little weird that typing changes the undo stack but it already can change the redo stack so I don't think it matters.

It needs an understandable explanation and ideally a web demo to gain traction though.
Can you provide citation because quite frankly I don't believe your assertion
It's completely unsurprising that "successful" kids have well connected and successful families.
If you get paid $125,000 a year then I can guarantee that there are a ton of devs in Europe that look on you with envy the same way you’re looking at these guys. Senior wage over here most places is between 50,000 - 80,000. And they in turn probably have a ton of guys from India and other lower income countries looking at their wages with envy.

I left my last dev job because they wanted to pay me £30,000. Such shit salaries are pretty common in the North of England. The average wage across the UK is £39,000 so you get paid 2.5x the average in another 1st world country. I know everything is relative but it seems you’ve got a good thing going to me.
> The tips are also untaxed

afaik tips are taxed as income tax. Yes I'm sure practically it gets underreported but servers definitely would raise suspicions if they reported $0.
> Imagine CEOs who have to manage not thousands or tens of thousands, but millions of people

Except it is an inverse relationship. You have possibly millions of people, all with conflicting ideas, trying to manage you. If you want to use that analogy, it is more like being a CEO with millions of shareholders who have no distinct profit motive and can't come together and decide, in a unified fashion, what they want out of their company. Although the board of directors is a much closer analog.

> it really is not easy to be one.

Nor is there much upside, except in the most prominent positions providing a branding advantage, which is why it is a strange choice for those who aren't limited by their own hangups. Academically interesting, for those into that kind of thing, but being brave and fearless is often at odds with having a proclivity towards those academic interests, so while it indeed takes a lot of talent, you don't expect bravery and fearlessness to necessarily come along for the ride.
Alright I'll make the case then.

People who have kids have to put a bunch of their resources towards those kids: money, time, lost sleep, lost interactions with friends, and so on on. Nothing controversial here so far. Some view this as a choice of those people because they simply want to have kids, raise a family, and so on. But regardless of their intentions, there is a positive outcome for society in that there now exists a next generation that will keep society functioning. Those kids will grow up to be the doctors and farmers and so on that do all the things that need doing. These kids really are an investment in the future. People who don't have kids, but still grow old and live in society, say retired on purpose, or simply because their bodies and minds degraded to the point they can no longer work (happens to everybody), then those people are living in society that is functioning because of the time/money/resource investments of the people who had kids. The people who didn't have kids got a free ride because they didn't have to do any of that, but still get to see food in the grocery store that go there because other people had kids who then grew up and made that happen.

It's fine if you don't want to have kids, but if you plan on being alive and in society in 20-30 years, then you are living off the investments of others. So why not let them have a bit more salary then you?
Scientists are some of the most sadistic people.
This Computerphile video is what convinced me something fishy was going on

https://www.youtube.com/watch?v=nybVFJVXbww
It seems like your value as a "rest-and-vest" is to a specific company
From the discussion of layoffs, this could be dangerous.

Perhaps the best thing to do if you find yourself in this situation is to work on your marketable skills, and learn (or invent) something new.
They also said: https://twitter.com/TeamYouTube/status/1590393940402147328

"we know sorting options are important & we’re still exploring how to bring these back"
The owners should be sued out of existence for negligence
I spent three days in a cadaver lab with two severed heads. I was helping develop a tool to place a wound dressing in the sinuses after an ethmoidectomy. For most of the time we had cloth draped over most of the head except the nose, but I did end up seeing the severed neck and the faces. You really can’t unsee that.

The facility we used also did animal experiments, which I really don’t want to know about, but there was an amazing photocopied chart taped up in the locker room with diagrams of how to put notches in mouse ears in order to encode numbers on them.
I did actually, no history there.

But my point is also that in case of compromise of the (2FA with physical key, but still, Google can mess stuff up) account nobody can see what I watched.
There are certain limitations (which will get better in time) and it's also because it is a stylistic choice. Vocaloid certainly created it's stylistic niche due to early limitations and it is quite hard to find songs in other styles using voicebanks that are suitable for other styles.

EDIT: That being said Miku can also be amazing: https://www.nicovideo.jp/watch/sm23655091

The original in a more Miku style: https://www.youtube.com/watch?v=PqJNc9KVIZE

Or a more jazzy version but not as good as the first: https://www.youtube.com/watch?v=CwG9viczjhs

Compare to a human cover: https://www.youtube.com/watch?v=fEsyBaG-uNw

Here is a different example:

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

Of course the original version which is true to Vocaloid style is like this:

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

Even if Vocaloid is capable of much more than just Miku, Miku is immensely influential in the subculture.

Does it sound better live ( https://www.youtube.com/watch?v=K_xTet06SUo )? Or for a closer comparison with the first link https://www.youtube.com/watch?v=nepNc0Gk1E8 ? Sure, even though the Vocaloid style has its own charm. But you also do not need to be able to be able to sing in order to create a song with Vocaloid, so overall it's a great tool. If the song is good, someone will eventually cover it live.

Vocaloid allows many who want to compose but do not sing to participate in a remixing ecosystem. The collaborative nature of the community is an incredible strength.
It's funny. Banks are widely perceived as corrupt; and lo and behold, the alternative systems to replace banking have been dragged by their heels through Banking 101.

Edit: Also funny, was the unrelated Matt Damon TV ads about how "Fortune Favors the Brave." Obviously it comes from Caesar, but it was also used in Charles Dickens's Little Dorrit by a character encouraging what later turned out a Ponzi scheme...
The one I saw had you browsing the tree, rather than a linear history representation of a tree.
Gaze on the beauty of this chart and despair:

https://i.redd.it/078p4g7m6cz91.jpg
It kept some number of people from withdrawing their funds from FTX US yesterday, leaving more money in the pot to return to other stakeholders. This has nothing to do with game theory, what would that even mean!?
Cap'n Proto v0.15: GATs, CapabilityServerSet, and async packing
Can Rust-wrapped C++ offer stability and performance benefits?
Yes! In the post I talk about both under- and over-parameterization being mitigations for overfitting, though I don't use the term double descent.
Heard of invoice carousels? It’s a thing :)
What's the point? They just refuse to help now.
$70,099,115

70 million in one year. Yikes. Seems like the company was full of bad decisions.
You really think it was necessary to set up a totally fraudulent multi billion dollar crypto company in order to raise money for Biden? You realize they could have just gone to any of a few dozen left leaning billionaires and gotten the money far easier?
Occam's Razor.
This is great! Digging into his interview below to follow his train of thought

https://app.hedgeye.com/insights/122943-marc-cohodes-ftx-is-...

Being confidently non-consensus and correct, is massively profitable in financial markets so it's instructive to follow the reasoning of people like this.
This is a good HBR article on the topic, "Stop Reading Lists of Things Successful People Do":

https://hbr.org/2017/03/stop-reading-lists-of-things-success...

Most analyses show unsuccessful business people do all of the exact same things that successful business people do, at least when it comes to the sorts of things you find in these books.
Yes, these types of recommendations go a long way toward influencing decisions in companies.
As a fellow manager I am with the other guy who responded, you come across as somewhat immature here.

> Salary matters suck for everyone, I hate dealing with this aspect of my job.

What exactly did you think your responsibility as a manager would be?

I once knew a manager who had people reporting into him who made 10X as much as he did (yes, 10X). I asked him about this once and his response indicates what you expect from an excellent manager "they are taking risks that i don't take and they are compensated for those risks".

You seem fixated on the past and salary issues instead of learning from this experience. Perhaps you can read up on how to negotiate and try to make more yourself? Maybe they were better at salary negotiations and this is why they earn what they do?

Being a manager and "resenting people" isn't a good thing.
> Also you're talking like being a "bigot" is some kind of objective condition. However, in fact it's highly subjective and the label has been over-applied by various activists in attempts to enforce ideological conformity. If you, random internet person, call someone a bigot, I'm just going interpret it as a meaningless slur against people you disagree with, because you want it to be unacceptable to disagree with you. Any other interpretation needs far more context.

It's not unacceptable to disagree with me personally. It is unacceptable to hold bigoted positions against other people in our society though. It's like if we were roommates in a small apartment together with some other people and you were being a jerk to them so I called you out for being a jerk.... That's not you and I disagreeing, it's me calling you out for being a jerk to our roommates who we're trying to get along with while we all enjoy our lives in this tiny apartment to the best of our abilities.

You do make a good point though. If I wanted to maintain my relationship with said hypothetical roommate I would probably say that they are "being a jerk" rather than call them a jerk outright. So I guess I'll say that well informed Republicans are being bigots. I would love it if they stopped being bigots.
This is very common and almost always predicted. 4 years is the end of the initial stock vest. If you don't get a major promotion, or even two, your compensation takes a nose dive. It's no wonder they left.
Idk how else he thought that would go lol.
You can't really pick and choose where to have your bankruptcy. This filing is for FTX's US entities, those in Antigua will be wound up with Antigua's rules.
I agree completely. A smart boss, on finding you have another offer, should start looking for your replacement. And if a layoff happens, then she would be top of the list.

That being said, when my boss found me looking for another job, she finally came through with an appropriate raise. I had not negotiated money yet with the new company, but when I did I used the new salary. Myself, if I am interviewing, I am already emotionally gone.

If she was looking for another job she was obviously not satisfied. She can always change, work for a year getting DIFFERENT experience, and then if she finds she does not like the new place shop for a new job doing something she would enjoy better.
The Chapter 11 filing is for pretty much the entire group including ex-US companies.
That thread is completely deranged and uses a lot of tweets to say nothing of substance. Barely above Qanon level here. Well connected kids with successful well connect parents make lots of money, news at 11...
Similar frustration with Vegas: The have Caesar's Palace, which is a long walk from Caesar's Forum. And on top of that, Caesar's Palace also has a food court/shopping center inside it that they call ... The Forum. Facepalm.
Cold & flu weren't the best examples. Here's a more obvious one: getting food poisoning doesn't make you less likely to catch the flu.

Some people treat "the immune system" like a muscle, where stress strengthens. Similar stressors can have cross-reactive effects, but unrelated ones do not.

This can go the other way too: people who have uncontrolled celiac disease (as in, they're still consuming gluten on a regular basis) can also have issues with avenin (a somewhat similar protein in oats) or even lactose. For a lot of folks those sensitivities disappear when they get their gluten consumption down.
A cup of tea on the balcony to get my thoughts together when I start a day.

One or two hours of work then a break, then a little more work then lunch. I set alarms. It's easier to pick up interrupted work than starting something new after a break.

My apartment is quiet. My computing environment is quiet. There are few things to pull me away from work. I agree with perrygeo that feedback loops should be fast to avoid getting distracted.

I sign off in the middle of the afternoon when my productivity wanes.

I'll sometimes use SelfControl to block websites when I really need to stay focused, but can't find the motivation.
Foam, a personal knowledge management and sharing system using VSCode and GitHub
I think we should all switch to programming in SPARK. It won't solve all bugs, but it'll solve the avoidable ones.
In addition to upload/drop image, you could also provide an option to enter an URL of online image. That will make it easy for users to try the project very quickly. Then provide an ephemeral preview URL to see the output.
Not a big user of trackers, even more so nowadays. And never on a mobile device. But I liked SunVox when I tried it.

It's free proprietary software from Russia, so take that into consideration.
Back in the occupy wallstreet days I did some rough calculations, I wondered "If we appropriated the wealth of every billionaire, how much of a boost in the economy would we have?" It turned out surprising low. It was something like (iirc) 3 months of the economy and the money would be gone. And then who are we going to rob? They are massively relatively wealthy, but accumulated wealth is nearly nothing compared to the aggregated flows of the economy.
StableGains literally committed fraud and YC still invested in them. But talking about it here gets the YC apologists out en masse.
Relatedly, have you ever thought about how undo works with text?

Open your mail client, compose a message, type a few words. What do you expect cmd-z to do? How much of the words will it undo? All the line? Try it.

Then after undo, type a bit more. Hit enter and cursor back. Type again.

Undoing typing is no trivial matter.
This puritanical mindset is part of the reason we've made so little progress on things like climate change. When you're first recommendation is for people to live more impoverished lives, don't be surprised when your ideas don't get the traction you think they should.
California climate measure fails after “green” governor opposed it
See response to alexmolas -- I'm using GitHub Pages + Jekyll + Markdeep. You don't see the source repo because it's private, but I'm happy to share a code snapshot with you if you like -- email me for it.
Less bad decisions and more making sure they had political cover for their Ponzi and no one investigated them too hard.
unfortunately this pinToCpu seems to be discouraged or ineffective (not for nim related reason) :/ see this discussion: https://forum.nim-lang.org/t/9596#63093
I do. Seems to be?
The cold & flu were bad examples since they do share some similarities. A better example would be food poisoning and the flu: eating spoiled food doesn't make you less likely to catch a respiratory virus.
VS Code has this feature too, it's just not known.
The requirements for Identification to vote even in the states that currently have Voter ID are surprisingly lax for the most part.

https://ballotpedia.org/Voter_identification_laws_by_state

Most states also have some kind of hardship waivers to help people get a basic government Identification since it's kind of hard to do a lot of things without some form of ID. Some states even have a specific "Election Identification Certificate" process that can only be used for the purpose of voter identification and it's free to get.

Hardship Waivers for IDs in Pennsylvania[2015]
http://sharedprosperityphila.org/documents/Revised-ID-Waiver...

As far as the time investment required to get an ID to vote; if a person isn't willing to spend some time to make sure they can legally vote, do you think they will spend the time to make an informed vote? It's a pipe dream but I would prefer that everyone who votes does so while making an informed decision about who/what they are voting for.

I also support voter ID just because it makes it a little bit harder for foreign agents(A US state vs State example: https://edition.cnn.com/2018/10/16/politics/beto-orourke-con...) to interfere with what should be an internal affair. Although with political action committees (PAC) being a thing and with how hard it is to know where the funds are coming from, it's basically a free pass to have unknown monetary funds being funneled to politicians with questionable moral integrity.
Once upon a time I made a very minimal PoC markdown "browser" in a day or two. It basically had a navigation bar like a browser, only displayed markdown and would only follow links to other markdown documents. It was more of a project to play with React Native for macOS/Windows more than anything serious, but I think the general idea could be neat if implemented correctly in some native GUI toolkits.
That's the FAQ. The official Language Specification says nothing about this little gimmick, at least in the if-else section: https://go.dev/ref/spec#If_statements

You'd think one would want to look for it in that instead of an FAQ page.
> else they can at least block you from the apps.

I mean, this is just out-right wrong. Where are you getting the impression that "the founder" can block you from the apps?
In Emacs, undo makes an undo pointer go down in the undo stack. Pressing undo again goes back another step. If you do any other regular edit, the pointer starts over at the top of the undo stack. Undo puts its own edits on top of the stack like any other command.

So if you "undo, undo" you undo two things. If you "undo, edit, undo", you're keeping the first undo but reverse the edit. If you "undo, edit, undo, undo", you're back to where you started (except your undo stack has now grown).
Sure, up to a certain grade. But regen braking isn't working down hills like the ones in SF.
Projection. It's always projection.
I love how this stinky bomb backfired, they wanted to destroy Binance from the inside but greed blew up their plan

How funny, US intelligence definitely is out of business
If viewing a list of basic links requires client-side JS you're doing it wrong.
Apple ‘at least four years away’ from launching Google search competitor
I also find SQLite to be a poor solution for a backend database.

In particular - it makes it incredibly frustrating to manage multiple instances accessing it, and has some very strict limitations around how the underlying FS is mounted.

SQLite is an incredible tool - but the right place for it is in a deployed client application (where - seriously - it's a first class project and is an incredible joy). It's not really designed to be your web db.