sdbrady

6 ms·

1.
by sdbrady 1y ago
I'm not sure what you mean by "statements" in Prolog as it's not a term the language defines. If you're referring to clauses, it's not true that execution is unordered: the Prolog interpreter attempts to unify
2.
by sdbrady 4y ago
Having been inside earlier this year, you would be doing yourself a huge disservice not visiting this IRL. Yes, the visual fidelity of this is amazing, but there are a lot of intangibles missing (i.e., the sonic resonance).
3.
by sdbrady 5y ago
I think what you're getting has truth. For myself, I would generalize what you're saying as any given formula/expression is embedded in some context/environment. If one continues to "step back" or go one meta (
4.
by sdbrady 5y ago
My instincts say that you're saying something revelatory/insightful here, at least to me, but I'm not quite sure. Would you mind expounding, either with more context or more examples?
5.
by sdbrady 5y ago
https://en.wikipedia.org/wiki/Basilica_Cistern https://en.wikipedia.org/wiki/Cistern_of_Philoxenos https://en.wikipedia.org/wiki/Theodosius_Cistern
6.
Prolog Meta-Interpreters(youtube.com)
6 points by sdbrady 5y ago|0 comments
7.
High-frequency silicon chips with a polymer cable as thin a strand of hair(computing.mit.edu)
1 points by sdbrady 6y ago|0 comments
8.
by sdbrady 6y ago
I think this is a good write up, but I think the notation is still carrying some mental baggage. It's not necessary to have these open and closed brackets/parenthesis. They don't add anything, and if anything, they confuse th
9.
The Five-Minute Rule 30 Years Later and Its Impact on the Storage Hierarchy(cacm.acm.org)
1 points by sdbrady 7y ago|0 comments
10.
A Labor Shortage Could Explain Negative Interest Rates(bloomberg.com)
3 points by sdbrady 7y ago|6 comments
11.
by sdbrady 7y ago
Fact Labs | Founding Engineer | San Francisco and New York (NYC) | Onsite or Remote (US only) | Full Time Building models in spreadsheets is broken. Spreadsheet models break down when you alter them, modularize them, or add more collaborato
12.
by sdbrady 7y ago
Fact Labs | Founding Engineer | San Francisco and New York (NYC) | Onsite or Remote (US only) | Full Time Building models in spreadsheets is broken. Spreadsheet models break down when you alter them, modularize them, or add more collaborato
13.
by sdbrady 7y ago
Fact Labs | Founding Engineer | San Francisco and New York (NYC) | Onsite or Remote (US only) | Full Time Building models in spreadsheets is broken. Spreadsheet models break down when you alter them, modularize them, or add more collaborato
14.
by sdbrady 7y ago
Fact Labs | Founding Engineer | San Francisco and New York (NYC) | Onsite or Remote (US only) | Full Time Building models in spreadsheets is broken. Spreadsheet models break down when you alter them, modularize them, or add more collaborato
15.
by sdbrady 8y ago
Fact Labs | Founding Engineer | San Francisco and New York (NYC) | Onsite or Remote (US only) | Full Time Building models in spreadsheets is broken. Spreadsheet models break down when you alter them, modularize them, or add more collaborato
16.
by sdbrady 8y ago
Thanks for sharing. There is one very significant conceptual error early on, however, and it is captured first in this statement: "The :- means if and only if, or iff". `:-` means if - or more precisely represents material conditi
17.
by sdbrady 8y ago
Fact Labs | Founding Engineer | San Francisco and New York (NYC) | Onsite or Remote (US only) | Full Time Building models in spreadsheets is broken. Spreadsheet models break down when you alter them, modularize them, or add more collaborato
18.
by sdbrady 8y ago
Fact Labs | Founding Engineer | San Francisco and New York (NYC) | Onsite or Remote (US only) | Full Time Building models in spreadsheets is broken. Spreadsheet models break down when you alter them, modularize them, or add more collaborato
19.
by sdbrady 8y ago
Fact Labs | Founding Engineer | San Francisco and New York (NYC) | Onsite or Remote (US only) | Full Time Building models in spreadsheets is broken. Spreadsheet models break down when you alter them, modularize them, or add more collaborato
20.
by sdbrady 8y ago
Fact Labs | Founding Engineer | San Francisco and New York (NYC) | Onsite or Remote (US only) | Full Time Building models in spreadsheets is broken. Spreadsheet models break down when you alter them, modularize them, or add more collaborato
21.
by sdbrady 8y ago
Fact Labs | Founding Engineer | San Francisco and New York (NYC) | Onsite or Remote (US only) | Full Time Building models in spreadsheets is broken. Spreadsheet models break down when you alter them, modularize them, or add more collaborato