steego

10 ms·

61.
by steego 2y ago
In Rod Burstall's 1980 paper titled, "ELECTRONIC CATEGORY THEORY", he explores "using algebraic and categorical ideas to write programs", and explains how his interest in "using algebraic ideas in programming g
62.
by steego 2y ago
From what I’m reading, it’s a specification language that’s an alternative to TLA+ with a more familiar syntax. Here’s an overview presentation by the creator: https://youtu.be/OZIX8rs-kOA?si=b2U_fNB0U2wDoR-F
63.
by steego 2y ago
It really is and I’m glad you appreciated it. I love these stories and how you can show the lasting impact that these very direct and personal influences had on the tools we use today. I recently learned that Burstall met Peter Landin and C
64.
by steego 2y ago
K Framework is very interesting. On its surface, you could say it’s a language and toolset for language designers to implement languages and construct formal proofs of your language’s semantics. The underlying semantics for this language is
65.
by steego 2y ago
It shouldn’t count. We need to require it be able to ELI5 the proof to Goldbach’s conjecture to an actual class of graduating kindergartners.
66.
by steego 2y ago
How about you vote for politicians that pass laws to protect your privacy and minimize junk mail instead? I personally use the USPS quite a bit to ship things and I prefer to use them over FedEx or UPS any chance I get.
67.
by steego 2y ago
From the website: The engine strikes a good balance between performance and maintainability. The LIR code can be compiled to many CPU architectures, and the performance of the generated code is very close to code writte
68.
by steego 2y ago
This is still very much a feature. I often write/compile .NET Core code in watch mode and then use LinqPad to explore existing libraries.
69.
by steego 2y ago
Yes - When you connect to a database, it generates code for that database using something called a LinqPad Driver. You can make your own driver as well as use about a dozen of other drivers.
70.
by steego 2y ago
I hear you. Logic based and relational languages, like Prolog and miniKanren, have captured my attention a lot lately. One reason: I wondered if they might complement LLMs nicely, or if LLMs might be a good tool for helping people learn&#x2
71.
by steego 2y ago
Or you could look at Kaiser Permanente, which is the exact opposite of this and the biggest nonprofit cited in this paper. Unless you go to 3rd party provider for a non-emergency, you will never get hit with this type of nonsense. Everythin
72.
by steego 2y ago
That is an interesting point when you start taking it to different conclusions. For example, It’s funny how often that people who claim to believe in free will often adopt the language of determinism when they say things like: “It was meant
73.
by steego 2y ago
Can you be more specific? He starts with a premise that if time is a real and fundamental feature, then he concludes the future isn’t predetermined. So far, it’s not very interesting.
74.
by steego 2y ago
So you’re asserting that people are engaging in riskier behavior because they feel safer? I don’t want to put words in your mouth, I’d like for you to expand on your two sentences.
75.
by steego 2y ago
Lately it’s been The Lobster. I’ve always been one to recognize a lot of absurdities in life, but this movie got me asking: “What if the absurd false dichotomies are the feature that influential people use over their supporters to test the
76.
by steego 3y ago
That’s what I figured. I can tell when someone is trying to shoehorn a premise into the joke to make it work.
77.
by steego 3y ago
That’s only true if the list of programming languages is infinite or if the list of features is infinite. If you want the list to be expandable without ever reindexing AND you want it to still be relatively compact, you can use Rosenberg-St
78.
by steego 3y ago
Why would someone buy a company at a huge premium if that premium provides each employee financial freedom to leave, thus destroying the value of the company upon purchase? We’re all disappointed with the inequities in reality on some level
79.
by steego 3y ago
“We don't know how much a company is worth if it is expected to be immediately destroyed upon purchase.” That’s what you wanted to say. Better, you could have lead with a question, “Why would someone buy a company at a huge premium if
80.
by steego 3y ago
I know it’s silly. Speaking of which, how did you arrive at a few pennies in your estimate?
81.
by steego 3y ago
You think the total valuation of all companies divided by the total number of people comes out to a few cents? The US GDP per capita was $80k in 2023. The global GDP per capita is $13K. Even if you were to split up the valuation of OpenAI f
82.
by steego 3y ago
What if they never expected to go anywhere with the lawsuit but used it to get publicity so they could test a change in political narrative or to see if they could recruit politicians during an active fundraising season to see who is willin
83.
by steego 3y ago
I remember that time and I too appreciate what the different browsers contributed feature-wise, but you’re missing the big picture. In late 1995, Netscape released a browser that provided investors a comprehensive proof-of-concept online pl
84.
by steego 3y ago
Alan Kay didn’t claim to invent it. He coined the term. He’ll be the first to tell you he was inspired by Simula. https://www.quora.com/What-did-Alan-Kay-mean-by-I-made-up-th...
85.
by steego 3y ago
I remember watching The Secret Life of Machines in the US in the 90s long before MythBusters. It may have been on The Discovery Channel back when it was truly educational.
86.
by steego 3y ago
If you’re struggling to imagine AI having a significant and measurable impact, then I think you’re failing account how many people, who are not extremely gullible, are influenced simply by repetitive narratives and group think. AI will simp
87.
by steego 3y ago
Just so I understand this correctly, this is a tool where, if you provide it a program, it will use reduction/rewrite rules to find a simpler program that exhibits some given behavior? In practice, how is this applied? Do compiler dev
88.
by steego 3y ago
A few prominent stormers really changed the game about 15+ years ago because they were very forward looking when it came to leveraging technology in the industry. APIs provided them with hail data and they used that data to send out targete
89.
by steego 3y ago
Inflation doesn’t account for 5x increase in the last 20 years. Asking questions is good, but some of you should actually make an effort to answer your own questions. Knowing nothing else, do you have enough common sense to figure out if yo
90.
by steego 3y ago
You’re right and thank you for correcting this. I was playing fast and loose with the term verification and was thinking about it in a broader context.

More ›