max_

12 ms·

121.
by max_ 1y ago
TLA+ was invented in the first place because we Leslie Lamport thought natural language was a dubious tool for "specifying systems". Yes an LLM may generate the TLA+ code even correctly, but model checking is not the end goal of T
122.
by max_ 1y ago
Leslie Lamport said that he invented TLA+ so people could "think above the code". It was meant as a tool for people to improve their thinking and description of systems. LLM generation of TLA+ code is just intellectual masterbatio
123.
by max_ 1y ago
In finance there are some people that say "All roads lead to quantitative finance"
124.
by max_ 1y ago
I actually hate Rust. That was just a question based on curiosity. [ladybird's author does alot of Rust so I thought I would ask him] In no way was I asking for the project to switch to it. I just wanted to know if it would help with t
125.
by max_ 1y ago
One of which people?
126.
by max_ 1y ago
My personal blog is — https://asindu.xyz/
127.
by max_ 1y ago
Its such great recursive acronym. [1] [1]: https://en.m.wikipedia.org/wiki/Recursive_acronym
128.
by max_ 1y ago
How "private" is graphene? How much do I gain from switching to it instead of say, remaining on the Stock Android? Edit: This looks comprehensive — https://staging.grapheneos.org/features
129.
by max_ 1y ago
What exactly do these two people do. The marketing BS on their websites say alot of generic, motivational crack. Could someone help me break down the real bread & butter of these firms and why people give them money?
130.
by max_ 1y ago
How does this compare to HTMX (security wise)?
131.
by max_ 1y ago
Its so beautiful. I wonder what alloy it was made of. I am surprised it looks in such a good condition after 2,500 years buried in a lump of clay.
132.
by max_ 2y ago
Those that are long Gold
133.
Ask HN: Where to Get the Matthew Prince College Thesis?
1 points by max_ 2y ago|0 comments
134.
by max_ 2y ago
Any good magazines you recommend?
135.
by max_ 2y ago
Its more like a dictionary. Whats does the word "anthropomorphism" mean? But not just words but also phrases like meaning of "lay of the land"
136.
by max_ 2y ago
Why is IMAP/SMTP so important? What exactly are people missing out on by Proton not having this support?
137.
by max_ 2y ago
It is definitely not healthy. But I don't think you can limit people's wealth and not call it communism. I think the real problem is abuse of power, not accumulation of it. Power cannot be eliminated. It will either end up in the
138.
by max_ 2y ago
>Noone should be as big as Zuck, Musk, Altman, Bezos... What should be the maximum of how big someone should be? Humans are not perfect, whether "big" or "small".
139.
by max_ 2y ago
I wish there was a mailing list I could subscribe to so I could know when the book os complete. Or a pre-order on Amazon?
140.
by max_ 2y ago
So this does not need large training data sets like traditional models? The lizard and the Game of life example seem to illustate that you only need one data points to create or "reverse" engineer a an algorithm that "generat
141.
by max_ 2y ago
I think it won't be any different from how we use different software libraries we don't understand.
142.
by max_ 2y ago
Thanks, could you expand more on 2?
143.
by max_ 2y ago
A night mare I have is that alot of these products like 8 Sleep are actually scams. Not scams in the sense of swindling money, but that they are appendages of a private or government intelligence network. If you genuinely care about your cu
144.
A Visual Explanation of the Fourier Transform(desmos.com)
2 points by max_ 2y ago|0 comments
145.
Ask HN: Recommend Books on Online Advertising?
1 points by max_ 2y ago|2 comments
146.
by max_ 2y ago
The reason why cryptography is so bad. Is this elitist culture in cryptography. Alot of algorithms are described incomprehensively. Let me give you an example. You might get a well documented specification for implementation of ECDSA. But i
147.
by max_ 2y ago
I just use a filter for different things. I have a "newsletter" filter for substacks & news letters. A filter for for people I am currently talking to about something i.e someone I reached out to and expecting a response. Filt
148.
Antiqua et Nova: Note on the relationship between AI and human intelligence(vatican.va)
580 points by max_ 2y ago|476 comments
149.
by max_ 2y ago
I disagree. People just need to build a good social networking protocol. Email for example can be thought of as a social networking app but it's really decentralised. While you can ban Gmail, it's really hard to ban Email. Somethi
150.
by max_ 2y ago
Why can't people just run businesses decently without deception & scams? I'm sure they can be profitable. This deceptive behaviour actually makes the business loose customers in the long term.

More ›