skysight-inc/HackerNews huggingface dataset:
Ask HN: How you understand TLA+ and how you use TLA+ in your projects?
I recently read an article [1] talking about MVC architecture, which mentioned the unfamiliar vocabulary TLA+, so I went to the homepage of TLA+[2] to try to understand it, but I am still a little new to TLA+, so I Want to know what people think of TLA+ and how TLA+ is applied in other fields or projects?

[1] no-more-mvc-frameworks: https://www.infoq.com/articles/no-more-mvc-frameworks/
[2] http://lamport.azurewebsites.net/tla/tla.html
My reply was strictly in regards to

> Yeah completely agree that price is decoupled from quality nowadays

In the world of physic tools, price and quality are highly coupled.

To your other points, I honestly think fashion is very rewarding and healthy so long as you are focused on making yourself look good to you. And I agree, some fashion conformity is unavoidable. Especially depending upon your career field.
Jane Street has a compilers team who do OCaml: https://signalsandthreads.com/future-of-programming/
https://skeptics.stackexchange.com/questions/47416/was-john-...

>From Wikipedia's article on Eidetic memory's prevalence:

According to Herman Goldstine, the mathematician John von Neumann was able to recall from memory every book he had ever read. [15]

Referring to Page 167 of Goldstine's The Computer from Pascal to von Neumann

As far as I could tell, von Neumann was able on once reading a book or article to quote it back verbatim; moreover he could do it years later without hesitation.

He then goes on with a story about him challenging von Neumann to tell how a particular book's first chapter started with and JVN being able to recite it flawlessly.

The same section of the Wikipedia article starts with the following sentence

Eidetic memory is typically found only in young children, as it is virtually nonexistent in adults

Now , extraordinary does little favor in describing von Neumann's mental capabilities and scientific contributions but I think Goldstine's claims are bold even for someone like him. There are many more anecdotes about his abilities and, indeed, there are people who have savant skills, however even the ones who have had those skills "over-developed" performed significantly below average in other cognitive tasks. That makes the story about Von Neumann even less plausible, considering he was a polymath.

Finding a source disputing Goldstine's claims about von Neumann is obviously not the answer one should be looking for however it would be interesting to discuss, from a neuroscientific point of view, if it's really probable that the human brain can store such large amounts of information.
I have seen DAIR members perform ad hominem attacks on qualified researchers and first movers in AI Safety (eg EA community, Yoshua Bengio, etc), they divert the discussion away from x-risks and focus on attacking individuals. For instance, look at the reaction of AI pioneers expressing interest in studying ai safety. This people seem to be focusing way more energy on attacks and discreding than making actual progress that addresses the case of ai safety. I do not understand diverting discussions about existential harm with diversity/patriachy, they seem to be separate discussions. Whereas they seem to attack anyone working on AI Safety who is a white man.

https://twitter.com/Abebab/status/1667150619029676033

DAIR: https://twitter.com/timnitGebru/status/1667251985844666369
Don’t compare Molly White’s excellent editorial and fact reporting to the mediocre attempt at pushing a narrative we have here.
Is there really a need? Consider the on again, off again "the reality" of the lab leak hypothesis for COVID.

Colloquial reality is what matters, and colloquial reality is what's printed in the newspaper, and then repeated on social media as factual reality, closing the loop.

Provided the public is never provided the tools needed to think their way out of this trick, you can fool them indefinitely.

Conspiratorial thinking? Consider how frequently you hear "We need more critical thinking!!!", And then consider what initiatives have been floated to solve the problem.

Pure incompetence?
Sure, and that's why I didn't claim Arch or Endeavour was better than Manjaro. I was just pointing out why I like it. A lot of this is gonna be subjective to what you want - under the hood, almost all of them are essentially the same, or could be made to be the same if you wanted.
the UK, with one of the more powerful militaries, is not part of the EU. many EU members and the UK are part of NATO which performs much the same job that an EU force would.
I think it's the other way around, actually. I think a lot of people, especially in Europe, have FOMO about the salaries in the United States. One of their coping mechanisms is to try to convince themselves that everyone is lying about their salaries.
> I was honestly surprised driving was…so convenient in that part of NYC at least, but midtown is definitely not Manhattan, and also a reverse commute.

Midtown Manhattan isn’t Manhattan?
Heinlein got a lot of flak for Starship Troopers, in the wake of the Korean War and even prior to escalation in Vietnam.

But he was not wrong that there's a fundamental difference in democratic outlook between someone who risks their life (even hypothetically) for their country and someone who does not.

If you can vote to spend a life, even indirectly, you should have some skin in that game too.
I remember seeing this and it's good, partly a history lesson.

https://www.pbs.org/wgbh/americanexperience/films/silicon/#f...
I draw your attention to the fact that the other command I mentioned, see(1), will actually in turn call play(1) (at least on my system). You probably want your programs to call see(1) and not play(1) directly, as this gives the user more control over the commands run. This is why I said that calling play(1) explicitly and directly from a program is probably the wrong thing to do.
Did I say limit children forever? To the point where the human race dies out? Doesn't seem like I did.
That’s not true, the EU is a suprantional entity. https://en.m.wikipedia.org/wiki/Supranational_union

That is, its members transfer part of their sovereignty to the EU
A case could be made that this state-level independence is a strength, not a flaw: you can experiment and see what works and doesn't, and also accommodate to local realities if needed. In practice, I agree with you, states are not doing a good job and we don't see tangible benefits from all this variety.

To be pedantic, this disjointed system IS the German educational system. And I would worry about fixing it before putting the blame on immigrants.
And then you have to realize that it's always been this way
I was one of the last few to go through conscription and service in Germany before it was a abolished I hope it does come back. (including of course the alternative civil service)

For one it instills in young people a sense of duty and direction and also simply physical fitness which many struggle with these days, in Germany an important aspect was always to have civilian supervision in the military ('citizen in uniform') not a sort of separated, private army. A lot of people in the army I talked to have noted that nowadays a lot of people who sign up are just people with limited job prospects. An army of the unemployed is ethically awful. National service should not be pushed on people who do it desperate for a paycheck. Everyone in the country benefits from its defense, so nobody should be able to skip out. I admire the culture of say Israel, Finland, Norway or Switzerland, small countries where this has always been on the mind of people.
Hi Seph, sorry to contact you this way, but as you have left the Braid group, is there a way to contact you? You stated at your departure that we could message you, but your DMs are closed on Discord. No worries if you don't want to be contacted, just asking as you stated to be contacted via DMs, but your DMs are closed.
I have certainly experienced and given 'personalized' treatment, but it was never about going deep on personnel records – and always about the character, performance, and expectations at hand.
In principle, citations should give credible sources of information to the reader and let them reproduce the result ultimately. However, this is impossible for ChatGPT because it generates answers probabilistically and its random number generator cannot be controlled. (Though perhaps this could be partially achieved by setting the temperature to zero through the API?)

I hope open-sourced models will achieve better performance soon.
Stay humble.
"Abundance leads to wastefulness".

To my mind mandatory service doesn't help at all - the German military for example needs more soldiers, but more importantly needs to be run competently by the government since it's had well-known problems for years at this point (any analysis on what would happen if they were actually suddenly needed would find they'd be pretty likely to look an awful lot like the Russians in terms of equipment availability, but for entirely stupid reasons - "just in time" equipment procurement).
Reddit admins swooped in an stole my subreddit from me - I was top mod there for a decade+.

I am positive that several(?) of the mod accounts on that sub are admin-alt accounts.
Which is a red flag. This technology is here today and usable by anyone. So when people focus heavily on ad hominems, it’s likely they have to actual argument or have not taken the time to engage with the technology

Anyone confidently parroting about stochastic parrots and hallucinations for example has slept through the last 3 months for example.

Take the article on chatgpt humor yesterday .. dozens of pages of arxiv and zero mentions of the word temperature tells us all we need to know.
What would "de-fuse this situation" have looked like?
But it is interesting that (some) AI researchers have come to the conclusion that it can be world-ending. Yes, as you say, researchers do have a tendency to over exaggerate their field's importance, but I'm a biologist and it seems we spend a lot of our time with media reassuring people that despite what bad 1950s SF movies said, genetic research isn't going to create horrible monsters that will destroy the world.
>Why did devs get obsessed with a deeply complex jamstack type thing to do even incredibly simple sites?

When all you have are frameworks, everything looks like JavaScript.
> reddit on the other hand, has constantly changing content

You mean like how Wikipedia has pages that anyone can edit that can (and do) get edited many times per minute?

> user configured listings

Kind of like how Wikipedia supports saved articles and reading lists?

> threaded discussion

If only each article on Wikipedia had a discussion page where you could talk about edits to the page. We could call it the Talk page. But I guess that’s too dynamic for them.

> media hosting

I’ve always thought Wikipedia would be better if they had images and maybe even videos to go with each article. Maybe we should petition them to add this.
Not to the same degree. The United States is a major outlier on this. Psychiatric medication, in general, are prescribed at much higher rates than in most other wealthy countries. And not by like 50% more, but like two times or even ten times more, depending on the drug class. In particular, putting children on antidepressants, benzodiazepines, antipsychotics, or stimulants is much less common in most places.

For example, of children under 19 in 2012, about 0.5% of Dutch or German children were prescribed antidepressants, while it's 1.6% of American children: https://www.researchgate.net/publication/293642487_Trends_an...

Similarly, among the general population, Americans use some 3x as much benzodiazepines per capita as Canadians. And the Canadians are drug crazed compared to the Australians, who use about half what the Canadians do.
> The obvious question to me is are they arming to defend themselves from Russia or from other European nations rearming?

From Russia of course.
It has its rough edges but overall it's pretty nice indeed. Nicer than using dumb property files in any case. The only rough edges are with the more advanced things you'd in any case not have access to otherwise.

We actually built a multi platform kotlin library that adapts the jvm implementation and the js implementation for project fluent. The java library we use is indeed a bit limited for some things. We've been working around some of those issues by doing our own variable processing.

Overall, it's been useful for us and we're using the same localization strings in our spring server and kotlin-js web ui.

https://github.com/formation-res/fluent-kotlin

It's not very widely used and has a few rough edges. But it works for us and it should be fairly straightforward to adapt it for e.g. Android and IOS if you need that.

A neat trick these days is to translate fluent localization files with chat gpt and asking it to preserve the structure and identifiers. Actually works. We got it to translate hundreds of strings in a few languages. The translations were good quality and we found very few issues with this. Only took a few minutes. GPT 4 understands most major and minor languages in this world.
I grew up in the nearest large town to Ted’s Montana hideout, Helena. A friend’s father was his early defense attorney. We shopped at the same used book store, borrowed from the same town library.

I just want to say here that lots of smart people fleeing to Montana fetishize the wilderness and vilify American society, even as they continue to depend on the latter in many ways large and small.

Their way has nothing to offer. A primitive existence barely above subsistence, and a closed future in a war they can’t win.

What’s more, despite his intellectual capacity, let’s pause for a moment to consider the arrogance, wrongheadedness and unhappiness tipping into insanity of a man who left civilization and assumed for himself the role of passing death sentences on sometimes random strangers.

He’s a more literate school shooter whose best offering is a form of nihilism.
Yes; I always link to <https://manpages.debian.org/> instead.
When two stores merge, that is one less store collecting your personal information for a "loyalty card discount".

Always look on the bright side of life.
Why on earth was there a sub about staying hydrated? Just drink some water, for crying out loud.
> collapsed and turned out to be blown out of proportion nonsense

I don't agree with this. If anything I see more and more examples every day that makes me think my job is actually in fact threatened.
> Please let's not try to normalize it.

Based on what I've heard anecdotally from e.g. freelancers providing services to large corporations, that ship has unfortunately long sailed.

There seems to be a huge spectrum, with "email an invoice payment instructions to the right department and you'll be paid, whoever you are and regardless of whether you provided any service" on one end, and "consider yourself lucky if you saw a cent at the agreed-upon time without having to resort to small claims court" on the other.

Obviously, it's much harder to pull off the latter when the payee is a huge corporation themselves and/or has leverage in terms of being able to cease providing ongoing services.
> On the positive side, with gender equality the pool of resources is twice as big

Norway and Sweden have conscription for both men and women.

Israel has it for Jews, but not Christians, Muslims, Druze, and Circassians.

https://en.wikipedia.org/wiki/Conscription_and_sexism
I'm not sure I understand what you mean by online and offline in this context?
The UK militaries were apparently very happy to switch to all-professional volunteer recruitment way back when. They couldn't think what to do with conscript cannon-fodder in an increasingly complex technical world.
It's so much so that I would almost define intelligence as the ability to "switch out beliefs".
A few modern youtubers have great Spore videos. My 7yo wanted to play and I assumed it was going to be in the app store, just to find out it was a Windows game from 2012. An easy install through Steam though.
And, given the rarity of aircraft crashes, the benefit to some small subset of the industry adopting an incrementally better system is probably pretty much nil.
It's also worth adding that, as someone who's generally competent and has been bootstrapping/administrating linux computers for years, I recently burned most of a full day trying to get Arch on my laptop before giving up.

When the manual doesn't work (The most recent installer ISO I was using had versions of some commands where what the wiki said to do wasn't a valid flag) you're really gonna have a bad time. Especially when, as is seemingly often the case, you don't realize that the command you ran didn't do everything it needed to until 4-5 commands later when something entirely different fails.
Used to go there all the time - had no idea it was the bar where the iPhone prototype was lost (which happened long before I moved to the Bay).
I agree, I also likes the first part the most. But it wasn't that amazing either, it was just barely good as opposed to the rest of the game.

1st part: Cell - on the level of free Kongregate/Newsgrounds flash games, except with better graphics. Later an online game agar.io came out which I find better in regards to challenge, fun, replayability.

2nd part: Evolution - Very basic MMORPG, except single-player (the mmo part is being able to see other creations in your world). Animal creation was quite innovative, but also underwhelming, because it didn't affect the physics of the animal… Something like QWOP would be nice, where the computer would try to automatically convert simple controls to animal muscles…

3rd part: Tribe - Again, a simple flash game, boring

4th part: Civilization - again a simple game, I think the most challenging phase and quite fun, but building designing being only decorative was again underwhelming…

5th part: Cosmos - it had a Star Control feel to me, except it was simpler, and Star Control is a much older game!
And those NUCs don’t match the performance.
For me, I'm pretty sure it came from childhood trauma. Perhaps there's a biological component, as well -- my mother has extreme memory traits/talents too, but hers are not applicable to personal autobiographical memories. She ended up with more of a photographic memory, but only for books, reading, and school. She also suffered a lot of childhood trauma, which confounds my data points here, I know.

It certainly could be an evolutionary trait, that gets activated in the modern era because of stress. Pure speculation on my part here, though. I would love to read an actual study with real data about these phenomena.
What is at stake? Our collective ability to risk manage. If there is no mechanism to dampen reactions around some resemblance of objectivity our whole mental space becomes unhinged. A large swarm of hyperventilating monkeys trying to outcompete each other in noise making.
It simply doesn't make any sense for most European countries.

First of all, there is no viable way to actually use conscripts. Sending them overseas to die over a patch of dirt is a really bad move, as the Vietnam war has shown. Europe doesn't really want to invade anyone, so you're left with defense. So who's going to invade? The only foe even worth considering is Russia - and NATO's combined professional armies are more than a match for them. Not to mention that there are thousands of kilometers between Russia and the country considering conscription.

Second, it'd actually be a massive burden. The army suddenly has to train a bunch of unmotivated teenager every single year, which in reality ends up being a LARP session in a local forest. This drains a huge amount of resources from the professional soldiers. And all those conscripts will not contribute anything meaningful to the economy while doing so.

Sure, it might make sense if you are bordering Russia, but anything further west just isn't going to happen.
The money keeps coming in, why would they expend and effort?
Why stop with writing notes and forget?

A better way is to combine your notes tool with Readwise. If you use Notion, then save the page link under a custom book titled Notes.

You’ll get reminded once in a while. Just click the link, review the notes like flash card.

Or just use the static reminder feature in notion if you want more control over your reminders.
There are degrees of disinformation.
If GPL was a stepping stone, I'm curious where the possible future(s) of OSS licensing are. I only know the basics when it comes to licenses.

Forcing derivatives to be open source seems on the surface like a good way to provide a project with some protection against market forces while also helping to keep knowledge and development accessible to humanity.

Genuinely curious about pitfalls and other options.
Peugeot's 404 Page
Yeah, I don’t see it as motivation or a positive in my life. I was on that track regardless but he still would say things. He didn’t care. Now that’s he old, it’s different, he looks back with fond memories and calls me his son now. Ironic. I don’t hold it against him, it’s who he was. He truly believed it all. 3 tours of Vietnam and 3 Purple Hearts will do that to a man. I respect him. I did things vastly different with my children.
Cases like MH370 are extremely rare...but they really mash the human emotional buttons - so they stay in the news, ~world-wide, for decades.

Choice: Are we optimizing the air travel system for (1) actual air travel outcomes for air travelers, or for (2) effects on human emotional buttons?
What kind of bagel?
How's the list compiled and how frequently is it updated?

I am a mod on two subs (both > 500K subscribers and they are going dark) and they're not listed.
And the country with the highest rate has compulsory military service.
in the San Francisco corners of counter-culture, CIA mind control with LSD was a common and well-known story past the late 1960s. Also J Edgar Hoover, terror of Red America, was a cross dresser; various stories about the JFK Assassination involving the US Secret Services; support of dictators in South America and the Middle East.. lots of things like that. Stories and attitude like that was one of the many reasons Mr Clean-cut Los Angeles Defense Ronald Reagan especially despised that crowd.
Entire sections of the game were cut. I remember a puzzle section at the very start in which you had to combine aminoacids to start creating life that never made it, for example.

The option to be a water-based species didn't make it either.

The game did overpromise and underdeliver, hard.
Mental flexibility would be a better term but of course finance people rarely perceive much outside their own bubble.
We're done, we've done that. Global population is flatlining. What else do you want
Get perpendicular ! https://m.youtube.com/watch?v=EIzS8XV3Ol4
By showing a 0-day for a game server.
"I didn't but I missed the part where they involved children."

There certainly were also childs (<18) tortured in Iraq. Maybe I feel like digging up some sources.

But right at hand I have boys as sexslaves from afghanistan institutions set up, payed and defended by US forces (and those US soldiers who stood up against it, got problems)

https://www.nytimes.com/2015/09/21/world/asia/us-soldiers-to...

"This legal precedent stuff is rubbish and just more justification of Russians brutal crimes."

And what exactly is rubbish about it? Or do you think international law can (should) get established for everyone minus US?

The problem right now is exactly that russia is NOT isolated enough. They still can trade quite unrestricted. IF there would be a believable international law, the sanctions would work and russia would have to stop the war.
There is no reason why it couldn't have. There are currently already combined German-Dutch military units, for example, and NATO often acts like a single military too.