skysight-inc/HackerNews huggingface dataset:
With a tool like this, you could get back into the animutation scene.
(Edit: I guess it's a bit of a non-sequitur, but I enjoyed Suzukisan, so there's that.)
There is this project

https://github.com/paulhoule/ferocity/

which I might finish up when I'm done with the report I'm writing. It is possible to create Java expression trees with trees of static method calls that look a lot like S-expressions and stick them together into statements, methods and classes.

You should be able to do the same tricks people do with LISP macros and it could work code generation miracles but it would have that "LISP curse" problem in spades.

The plan is to generate a code generator that is sufficient to generate the full DSL implementation (ferocity0) and use that to generate the full implementation (ferocity.)

I have some tests for ferocity0 writing .java files to get fed to javac and for ferocity0 running expression trees with a primitive interpreter. Already the type system is enriched over the type system because interpreted ferocity0 can handle Java expressions as a type at run time so you get issues like quoting and unquoting in LISP.
This could have been protected using OTP or some 2FA good online credit card payments. Little hastle but goes long way to protecting fraud like this.
Presumably he would’ve made a greater effort to show up to trial had he an airtight case for the truth.
Nobody said anything about the flavor of boots.

I wonder if you realize the source of that phrase. That would be quite a remarkable reference if you made it on purpose.

A screed is a long discourse between two people - typically 20+ pages, whereas this was about a quarter of one - which is taken from a larger work. This isn't a screed, although people who learn from the Google robot-written definition might think that it is.

If you didn't read, it's not clear why you replied. Good day.
When I was in college, I had this "friend" who, when we went out on the town, in a bar, or club, would walk right up to women and ask them if they wanted to fuck. Just like that, it was embarrassing. But he persisted. I asked him, why do you keep doing this when such an approach almost never is successful. He simply replied, because, when she says yes, I know that I have a sure thing. It saves a lot of time.
Realistically he may not take a loss in the end. If Elon does buy it and is able to get into payments and charge Businesses for their account, they could quite possibly quadruple or better their income.
Why are you doing through a car every 4 years?
Having, a less understood SQL clause
> What damages were actually done here? $50m for "emotional distress" is ridiculous in any context.

Let me guess: you don’t have kids
This is exactly what I am looking for.
Scratch was produced at MIT just like Logo and I think it is an evolution of what they were trying to do with Logo.
There was a good article the other day, I'll see if I can find it, that breaks down why legally Musk can't really be asked for specific performance since he's an individual.

It comes down to anti slavery laws

so probably not enforceable, though he could be fined.

https://www.barrons.com/articles/twitter-elon-musk-thirteent...
The clothing company LL Bean dealt with this same sort of issue. It used to be that if you weren't happy with a purchase, you could return any item you bought from Bean, at any time, for a full refund.

One day, the CEO of the company donated some of his old LL Bean clothing to a charity that accepts used clothing. One of the shirts he donated had his initials embroidered on it. In less than a month, that same shirt had been returned to Bean, stating the person was unsatisfied with his purchase, and requesting a full refund of the purchase price.
The title of the linked article has been updated (or the original submission was editorialized against HN guidelines) to "Alex Jones must pay $50m for Sandy Hook hoax claim" which is at least accurate to reasonable levels of rounding.

Caps on punitive damages have always annoyed me, especially for things like the Exon Valdeze or similar oil spills, where the companies nickel and dime out the compensatory damages over years and then with capped punitive damages it barely impacts their bottom lines.
C and gotos are common from what I've seen -- userspace and kernel C code deals with error handling and resource freeing easier that way.

Open to see examples of (good) C code that doesn't use it though.
Isn't that what you'd expect in a "Worker's State?"
It's not specified what subnet the switch on eth3 is on, but assuming they're on the 10.42.42 network, then I wonder why not just plug the router into the modem, then add a sufficiently large switch behind the router to hold everything on the 10.42.42 block? Unless I'm missing something.
There is broad overlap between feminists and democrats but you’re conflating issues that affect women — sex positivity, destigmatizing sex work, trying to undo “purity culture”, and fighting for the rights of trans women — and the unrelated issues that many feminists are also involved in because they’re also democrats — the class struggle, public services, social safety nets. It’s hard to untangle those two things because people care a whole heck of a lot about lots of political issues and it’s not too often you see “how about side by side with a friend” happen in real life all that often, especially since abortion rights is such a fundamental feminist issue that neatly divides D/R.

The easiest way to understand this is that for every victory the movement gets to start tackling issues further up Maslow’s hierarchy of needs where the top three are way more nuanced than “equal pay for equal work.”
Humanized substitutions of Vmat1 in mice alter anxiety-associated behaviors
In many ways the Truther’s are also tragic victims, if I was a relative of theirs I would also sue:

https://slate.com/human-interest/2022/06/shooting-school-tex...

> In our exchanges, Kelley Watt had spoken proudly of Madison, a gifted artist and linguist, who to Watt’s frustration “doesn’t question things the way her mother does.”

> In a fraught, seven-hour conversation, Madison relived the breakdown of her family while her mother pursued self-actualization through conspiracy-mongering. A reserved, cerebral young woman, she left Tulsa for good when she won a scholarship to a prestigious university in New York. Today she lives with her family in Europe, where she works as a consultant. She pushes back against her mother’s beliefs, but has never been able to dissuade her.

> When cornered by the truth, Kelley Watt “moves the goalposts,” Madison said, and she didn’t see much hope for changing her mother’s mind. “The only thing that could make her question it would be if that inner circle of hers started to doubt or chip away, but even then, it would be hard,” she told me.

https://nymag.com/intelligencer/2016/09/the-sandy-hook-hoax....

> Alex Jones invited Halbig on his show to share his run-in with the police and to detail the 16 questions Halbig believed needed to be answered about Sandy Hook. (“12. Why did the parents of the two children who died at the Danbury hospital not allow their children to donate their organs to other children waiting for the gift of life?”) Halbig told Jones the stress of the investigation was threatening his marriage, but said in another interview that nothing could stop him. “You’re willing to die for this?” the host asked.

> “Yes, I will,” Halbig said.
Why do you assume corporate jobs are boring and empty of morals?
All you're saying here is that NIST failed to comply with FOIA. That's not unusual. No public body does a reliably good job of complying with FOIA, and many public bodies seem to have a bad habit of pre-judging the "merits" of FOIA requests, when no merit threshold exists for their open records requirements.

NIST failing to comply with FOIA makes them an intransigent public body, like all the rest of them, from your local water reclamation board to the Department of Energy.

It emphatically does not lend support to any of this litigants concerns about the PQC process. I don't know enough (really, anything) about the PQC "contest" to judge claims about its validity, but I do know enough --- like, the small amount of background information needed --- to say that it's risible to suggest that any of the participating teams were compromised by intelligence agencies; that claim having been made in this post saps its credibility.

So, two things I think a reasonable person would want to establish here: first, that NIST's behavior with respect to the FOIA request is hardly any kind of smoking gun, and second that the narrative being presented in this post about the PQC contest seems somewhere between "hand-wavy" and "embarrassing".
In theory, the challenge to a default judgement would be due process based. In practice, this particular case is practically a textbook example of when due process is appropriate, so I don't see how such a claim could possibly succeed.

The point I was making by bringing up a due process claim was that there is no path for this case to become precedent regarding free speech.
He said in court he does not believe it, so if your assessment is correct he committed yet another act of perjury.
That's just wrong on so many levels. Troy Hunt has an excellent explanation: https://www.troyhunt.com/heres-why-your-static-website-needs...
The KKK was thoroughly defeated as a power in the US thanks entirely to the US system of freedom of speech; the KKK had a very large, potent base at one time. They were not outlawed as a group, sunlight-as-disinfectant overwhelmingly won out (and no, the US still having a small number of KKK members with next to zero political power isn't a good counter point). It was the ability to tightly regulate and limit speech that assisted the Nazis in coming to power and implementing totalitarianism in Germany.

It's extremely obvious that Trump (his government, his admin) not being able to control the media, control speech, was a really good thing. And that's true whether it's a terrible Republican or terrible Democrat, or any other terrible politician, that is in power. If you give them one big lever of speech control to start from, they'll expand that control, you can count on that.
this is so not true.

where else would questions like: how did commander keen come to be?
would emerge?
Believing both "Don't roll your own crypto" and "Don't trust the standards" would seem to leave the average developer in something of a quandry, no?
The number of logical fallacies at play are impressive, however I would like to address a couple of points

>>I find that people on HN frequently fail to understand that the law is a carefully crafted work by tens of thousands of professionals over centuries, that they almost cannot actually upgrade with a hot take.

Seems like you have a rather rose colored view, and fall into a Fallacy Of Expertise to believe that because the law was "crafted" over many years by "professionals" that is somehow makes it infallible, or correct, or anything other than what is is in reality.

Which in reality the law is a very flawed patchwork reactionary policies, regulations, rulings, and statutes all crafted by imperfect people many of which did not and do not have "the best interests" of the public in mind when they crafted them, instead have personal power, ego, or personal wealth at the center of their rational for invoking the regulation, ruling or statute into existence

I find it concerning that one would have such reverence for a clearly flawed, abusive, and often unethical institution such as "the law", there is nothing more unjust than the laws the come from "do-gooders" steeped false philanthropy attempting to tell us all what is best for us... What ever the noble origins (if there ever was any) in "the law" it has clearly been perverted by greed, ego, power, and false philanthropy

>"it's authoritarian hypocrisy that i can't use an unregulated gambling website which failed for eight years to follow the agreement that it made with the government"

It is authoritarian that one would need to seek permission from the government to run a website like PredictIT in the first place.
So buying "Star Blast" chewing gum what star one can expect to get blasted?

It is like that guy drinking a beer and suing the beer producer for all those women and the military jet from that beer ads not materializing in his life.
Assange too.
Maybe not entirely, but remote work accounts for half of the price increase: https://www.nber.org/papers/w30041
In many countries you can study Homeopathy in the university. Is that a professor you should trust?

Do you remember peak ivermectin? There were many articles published by real medical doctors in real journals. Is that a professor you should trust? (I read a few of the articles. Most of them were just awful, and I was ignoring the non statistically significant ones.)

The list of food that babies can not eat before they are one year old changes from country to country, and even from one medical doctor to another. Find a few friends abroad and compare.

What if a military expert tells you that a normal looking truck is a secret mobile factory of weapons of mass destruction? Should you invade?

What about cold fusion, aka low energy nuclear reactions, aka [I don't remember the new name]? I think they are published by people with real degree. (I recommend to ignore the heat measurements because it's too difficult. Look for the data about neutrons or isotopes.)

I'd like too that people follow the advice from serious professors instead of voodoo man, but sometimes the distinction is not so clear. At one point people must choose the expert to follow.

For some topics there are easy rules, like "preregistered double blind randomized controlled trial published in a serious peer review journal or it didn't happen", but each word there need a long explanation of the meaning and a long explanation of why it is there. (And remember to read the details, because some papar have weird exclusion criteria, like dropping the death cases.) (And defining which journal are "serious" is a very difficult task.)
Post-quantum cryptography is essentially a full-employment program for elite academic public key cryptographers, which is largely what the "winning" PQC teams consist of. So, yeah, suggesting that one of those teams was compromised by an intelligence agency is "conspiracy theory level".

Nobody is denying the legitimacy of the suit itself. NIST is obligated to follow public records law, and public records law is important. Filippo's message, which we're all commenting on here, says that directly.
Those people aren't buying Tesla.
Obituary: Gary Schroen, the CIA Spy Sent to Get Osama Bin Laden
I agree, I was into hardcore shows when I was a teenager. Hardcore shows are more violent in my opinion. My hands would get bruised up from hitting other people but no one gives a damn because everyone is aware that this is a hardcore show, not an Abba concert.
I believe you have a very naive and trusting view of these US governmental bodies. I don't intend that to be an insult, but by now I think the jury is out that these agencies cannot be trusted (the NSA less so, than NIST).
Oh it was fun for a few exchanges, but the thing seemed incapable of deviating from its topic no matter what I did.
Well it's quite obvious what's going on here just by using a little deduction.

Obviously the gigantic fleet of cloaked UFOs that are in orbit are getting closer to earth in preparation for the invasion.
The Hunga-Tonga eruption of Jan 15 was a big geological event that pushed 160 Million tons (146 teragrams) of water vapor into the stratosphere. [https://www.nasa.gov/feature/jpl/tonga-eruption-blasted-unpr...] That took a lot of force. Maybe it affected the 'Chandler wobble'. [https://en.wikipedia.org/wiki/Chandler_wobble]
The 'old guard' is not populist and the least PR savvy. They are speaking out, just not making the rounds on the news.

Note that as long as Trump had 'populist power' then Fox etc. would kind of following along supporting that. The Romneys, Cheneys, Bushes just didn't have the outlets.

It's changed a bit as Murdoch has dumped Trump, but the current trend is definitely a bit populist as they are backing DeSantis, who is frankly probably more traditionally conservative, but playing the 'Noise Game'. Same thing in Canada with new conservative leadership.

Note, young people are really, really pissed. Housing is completely unnafordable, they are in debt, inflation is taking off, and most of COVID wasn't a huge risk to them for 21 year olds it really was kind of 'a bad flu' it's really 40+ where the risk starts. So they are naturally going to be more emotively pissed off about all of that pain 'they endured' on behalf of others.

In Canada, the likely new Conservative Candidate is taking a 'populist turn' and kind of supporting the 'anti mask wave' (I mean, it's not crazy up here, but still it's a movement) - but shockingly he's more popular among 18-35 year olds than the far left NDP which is traditionally where they are strong. Shockingly, the 'Establishment Liberals' are the #1 party among 45+ all the way past 75.

This is an artifact that more clearly highlights what is going on everywhere, it's just not as clear.

The 'geriotoocracy' in the West is a bit left on social issues, and pro 'big business' on others. The 'establishment' policies are hugely favouring stock owners, real estate owners, retirees, pensions etc. etc..

Paradoxically literally just today I'm reading 'Russian Telegram' and they are complaining about the opposite: Putin and a massive class of Neo-Soviet jerkoffs stealing decades of hope from young Russians.

Young people have more opportunities than ever before, and have had a cushy upbringing for sure - that said - their challenges are very real and they have a right to be angry

I see very desperate kinds of comments on Reddit these days, sad people who feel completely voiceless.

In that context, a bit of populism is understandable. Musk is playing into that. Trump a little bit. WallStreetBets etc..

For some reason, it's not 'Bernie' this time around, it's a bit more 'Musky'.

So I think that is a big part of the appeal, and specifically with Musk it's probably not fairly traditional values.

Musk is also becoming a serious magnate, I mean, he was literally the richest guy in the world, and so the reality of people wanting to have 'higher taxes on the rich' surely grates on him, how long can he truly, culturally identify with the 'rebellious youth changing the world?'. He now has to 'get the goddam factories moving, this COVID stuff is overplayed!' and 'these greedy politicians want all my damn money, can't they see I'm changing the world?'. It's a bit of 'There Will Be Blood' going on. And he's pumping it all up on Twitter.

I think we don't need to worry about Musk though, he just has a bit of an opinion, a bit of a big mouth, oh well.
The second file was lossless, the first was ripped from a CD.
He should be careful, but presumably it depends upon which way the trade is going.

I don't believe Israel had any issue with Emirates. It was Emirates blocking Israel (side note: this seems to have changed recently).

So, as long as you cover yourself with Emirates, you can execute that trade and not get hung up.

If, however, Israel were the one embargoing the export, you would get yourself in really deep shit.
Is 20x charitable? For many highly political topics attention varies wildly between times when it is topical and when it is not. And further, some big contributors may contribute zero on most days, and contribute huge sums on one day.

Many political fundraisers bring in large fractions of their income on only during a few key days or events.
Sure, the judge gets final say but they rarely change these things unless the jury awards something ridiculous like a billion dollars for a broken bone.
The lost nuclear bombs that no one can find
First, last I checked, Filippo does not in fact work at Google.

Second: the guidelines on this site forbid you to write comments like this; in fact, this pattern of comments is literally the most frequent source of moderator admonitions on HN.

Filippo hardly needs me to defend his reputation, but, as a service to HN and to you in particular, I'd want to raise your awareness of the risk of beclowning yourself by suggesting that he, of all people, is somehow compromised.
Air Force must allow trolling on their social media pages after lawsuit
It's not effective because he was able to build a rabid group of suckers. He always mentioned his website all over and steered people to it.
There is the concept of "byte" when talking about a string of characters which make up a password, though, which is why I said bytes. But yes, I am aware, and your statement just further supports my point.
You must have missed out on the 2014 Technoprogressive declaration, which was co-signed by a number of prominent transhumanists (including the author of the OP).

https://web.archive.org/web/20170203004407/http://ieet.org/i...

> Emerging technologies could make things dramatically better or worse. Unfortunately too few people yet understand the dimensions of both the threats and rewards that humanity faces. It is time for technoprogressives, transhumanists and futurists to step up our political engagement and attempt to influence the course of events.
I’ve heard stories about things like the cannon sounds in the Telarc vinyl of the 1812 Overture blowing out unfiltered speakers. Are they myths?
Just a small correction, this is a civil case so there's no prosecution but instead a plaintiff. The workings of civil and criminal trials are similar though, the plaintiff has to make a case in court like a criminal prosecution would. Also in civil cases can result in criminal charges for things like contempt of court and perjury. Those are separate criminal proceedings but you can't just go into a civil trial and lie or otherwise break the law.
No. I don't think we should rely on formal standards, like FIPS, NIST, and the IETF. Like Bernstein himself, I do think we should rely on peer-reviewed expert cryptography. I use Chapoly, not a stream cipher I concocted myself, or some bizarro cipher cascade posted to HN. This is what I'm talking about when I mentioned the Noise Protocol Framework.

If IETF standards happen to end up with good cryptography because they too adopt things like Noise or Ed25519, that's great. I don't distrust the IETF's ability to standardize something like HTTP/3. I do deeply distrust the process they use to arrive at cryptographic architectures. It's gotten markedly better, but there's every reason to believe it'll backslide a generation from now.

(There are very excellent people who contribute to things like CFRG and I wouldn't want to be read as disparaging any of them. It's the process I have an issue with, not anything happening there currently.)
It's by definition a promise
Find the industry standards you're supposed to follow. If your job requires safety compliant code, the company should have documents that give good style guides. As mentioned by other commenters, aviation has its own standards, and you linked to some of the NASA work.

In automotive, where I've done ISO26262 work (Functional Safety standards), there are MISRA and Cert C static checkers and guidelines to make them not scream too much, not to mention the fact that you'll be following the style of the code you modify. Beyond that, you can find the industry guidelines for whatever standards you're responsible to follow. It gets worse as you get more strict -- brake controller code in the safety critical path has to meet the strictest formal methods checking as well as a bunch of in-use, on-controller testing. Generally, no one gets thrown into that without any training on the grounds of safety and liability alone.
Have you used this? Did you do it on company time or your own? Seems like quite the time investment (but also very cool)
I do the same, 5mm square a4 and a good biro.

For everything else there is markdown.
Cryptography experts know when to care about security. Cryptography enthusiasts try to slap encryption on everything.