Ron Garcia

Summer Undergraduate Internship - reposts welcome!

Are you a senior undergrad, interested in Programming Languages? Do you want to visit Canada for a paid 12-week internship?

ONE OF US! ONE OF US! ONE OF US!

A history of Clojure | Proceedings of the ACM on Programming Languages Clojure was designed to be a general-purpose, practical functional language, suitable for use by professionals wherever its host language, e.g., Java, would be. Initially designed in 2005 and released...

Not "can't", but "didn't": so the question is "why not?". In the case of Clojure, you can find some explanation in the HOPL paper:
dl.acm.org/doi/10.1145/...

Probably the most relevant part is Section 3.5 (Clojure and the Host), but tail calls are specifically addressed briefly in Section 3.2.3.

I wonder if there is a connection between these ideas and Default Logic :
en.wikipedia.org/wiki/Default...

(whenever I see some logic called "non-monotonic" I wonder if there is some structure missing from its formulation that could be judgmentally reconstructed)

Caricature of Kuhn by David Levine for The New York Review of Books.

Thomas Kuhn was born OTD in 1922.

Historicity—over revolutions and paradigms—was core to his thought.

“History, if viewed as a repository for more than anecdote or chronology, could produce a decisive transformation in the image of science by which we are now possessed.”

🧠🗃️ #HistSTM #PhilSci 🦋🦫

Also it should be possible to relate the high-level (cyclic) model to a lower-level (acyclic) model. Recent theoretical work along these lines went by here recently:
bsky.app/profile/p-hu...

While this isn't their point, it helped me to think of adding TC to the "micro" model as well. There it would be a descendant of LDL and HDL, but have no arrow to HD. So if you treat LDL and HDL as unmeasured, you get two common causes of TC and HD, i.e. backdoor paths galore :).

Did you hear that I'll be teaching four brand new remote courses this year covering Bayesian mixture modeling, survival modeling, pairwise comparison modeling, and ordinal modeling, www.eventzilla.net/e/advanced-b...?

Reskeets and sharing with your friends and colleges appreciated!

cue my standard mantra 😉:
bsky.app/profile/did:...

Thanks! I likely don't know enough about DAGs, but I had imagined that it would suffice to add a finite number of extra nodes (some function of the nodes one wrote down) to summarize all of the potential threats to inference (as aggregate causal forces). Is that wrong-headed?

Makes sense! For a while I did not understand that the *absent* arrows in a DAG are the assumptions, not the arrows that are visible. Then there is also all those absent "unobserved common causes". Might be educational to draw out the "negative space" of a DAG and then argue why they're absent 🤔

(oh also curious about how these assumptions end up being invisible, since I thought the whole point of the framework was to make the assumptions explicit)

Are these scenarios, assumptions, and the empirical basis for their non-realism, written down anywhere? Makes sense to me that there would be some distance between the theory and applied contexts.

Principles of multilevel modelling Abstract. Background Multilevel modelling, also known as hierarchical regression, generalizes ordinary regression modelling to distinguish multiple levels

I remember appreciating some of an explanation (or at least the diagrams) from a Sander Greenland paper:

academic.oup.com/ije/article/...

Still hurts my brain though.

I will simply allocate on the stack and use delimited continuations to reorder said allocations as needed, forever and ever, amen.

I carry each of my two dads' [*] Catholic trading cards in my portfolio.

[*] one of my dads was on paper my step-dad but in real life my other dad

Thanks! Hope you've been well!

Thanks!

Thanks!

Thanks!

Thanks!

LOL! <3

Thanks!

Thanks!

Thanks!

Thanks!

Added my transition to Full Professor effective today, woohoo!

Not a bad way to celebrate Canada Day: by updating my cv 🤗🇨🇦

As far as "facts" go, I like to regularly remind myself of the Évariste Galois quote: "Science is the work of the human mind, which is destined to study rather than to know, to seek the truth rather than to find it."

Text from the wikipedia page for Peter Carl Fabergé: "His time in Europe had inspired him to make pieces that were more than a sum of their parts. As he later described in his own words: "Expensive things interest me little if the value is merely in so many diamonds or pearls"."

checks out

I think of you as an applied philosopher, but you might prefer to be termed a conceptual engineer?