RT @sdwfrost: I'm hiring a new postdoc! Come and work @LSHTM on the intersection of epidemiological modeling, decision support, and applied…

RT @ShengwuLi:

I'm rebooting some course materials that I did with Julia Spring 2022. Pkg.upgrade(); include("src/main.jl") just worked. We have come so far since I was running julia's main branch in grad school and all my packages broke every Monday.

The city buses in Gainesville have digital displays of the route number. I just saw one that was broken and “fixed” with 📝&📼. That’s a good metaphor for Tech innovation.

@u_map_prop @kendrictonn I like that in the video where they are trying to show how scary it is, it actually works fine and nobody gets hurt because they are driving so slow and attentively.

@evanewashington I teach something like this out of 7 sketches. It’s in CS so we build towards Graphs and Databases (copresheaves)

@VinceVatter A number is the equivalence class of all formulas that evaluate to that number. Never to early to learn HoTT.

@Anthony_Bonato Is that more or less disturbing to them than {}?

@tobydriscoll has a github activity that reflects the natural rhythm of the semester. Look at those Fall, Spring, Summer boundaries.

@u_map_prop @SandMouth We have proofs at home The proofs at home: sorry

@u_map_prop Use dependently typed FP they said, you can do vector spaces of a fixed dimension they said.

@VinceVatter Your brain on set-theoretic foundations

@nassarhuda 🔥 ?

@PaoloPMath 2 birds, 1 stone: A string diagrammatic proof of de Finetti’s theorem

PowerpointAI is learning

So excited about #JuliaCon this week! We are hiring a Julia Programmer for a research software engineering job @UF working on Track down Owen Lynch (@u_map_prop) or Patrick Stokes for more info.

@ejpatters @ksb_id The article is available free for 50 days at this link

If you have been working in industry and are looking for a PhD opportunity, there is an NSF program just for you! If you want to do applied category theory or #julialang research, let me know!