Viewing profile — sdbrady

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 …

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 intan…

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 t…

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 exampl…

https://en.wikipedia.org/wiki/Basilica_Cistern https://en.wikipedia.org/wiki/Cistern_of_Philoxenos https://en.wikipedia.org/wiki/Theodosius_Cistern

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 a…

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 w…

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 w…

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 w…

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 w…

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 w…

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 …

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 w…

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 w…

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 w…

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 w…

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 w…