DavidPSanders's profile picture. Relational programming, scientific computing, experimental mathematics, #julialang, interval methods, teacher, viol(in)ist

David P. Sanders

@DavidPSanders

Relational programming, scientific computing, experimental mathematics, #julialang, interval methods, teacher, viol(in)ist

David P. Sanders reposted

"A calculator app? Anyone could make that." Not true. A calculator should show you the result of the mathematical expression you entered. That's much, much harder than it sounds. What I'm about to tell you is the greatest calculator app development story ever told.

ChadNauseam's tweet image. "A calculator app? Anyone could make that."

Not true.

A calculator should show you the result of the mathematical expression you entered. That's much, much harder than it sounds.

What I'm about to tell you is the greatest calculator app development story ever told.

David P. Sanders reposted

It had to be done.

HelenaDix's tweet image. It had to be done.

David P. Sanders reposted

Fokker-Planck equation equivalently describes the movement of a random particle with a drift (as a stochastic ODE) and the evolution of its density (as a PDE). en.wikipedia.org/wiki/Fokker%E2…


David P. Sanders reposted

Solving f(x)=0 is just Newton's method, right? Well the #julialang nonlinear solvers have had lots of innovations in this very common numerical problems. See this new manuscript from @SciML_Org #sciml Shout out to the lead author @avikpal1410 arxiv.org/abs/2403.16341


David P. Sanders reposted

#julialang v1.10 is released! Major "time to first X" and loading time improvements! With this one, I tend to not even do any system image shenanigans anymore: standard Julia is fast enough to start for me for anything I tend to use. Great work all! julialang.org/blog/2023/12/j…


David P. Sanders reposted

Never remember which part goes where when you're multiplying matrices? Try Falk's Scheme! It's a visual way of arranging the matrices so that everything naturally falls into place. And if the product isn't defined, you'll notice immediately that the matrices don't line up!

solidangles's tweet image. Never remember which part goes where when you're multiplying matrices?

Try Falk's Scheme!

It's a visual way of arranging the matrices so that everything naturally falls into place.

And if the product isn't defined, you'll notice immediately that the matrices don't line up!

David P. Sanders reposted

We're hiring research scientists and engineers in programming languages, probabilistic machine learning & causal inference Apply/dm me if you want to build general reasoning systems with solid foundations, and use them to solve hard scientific & societal problems RT appreciated

We’re hiring! Basis’ vision is to build a universal reasoning engine to advance science and solve problems of societal importance. We're expanding our team and have multiple positions open: internships, postdoc fellowships, and full-time roles. Details👇basis.ai/join-us/



David P. Sanders reposted

Chaos and the double pendulum: the configuration space of the double pendulum is a torus (a circle for each angle coordinate) so we can plot the evolution of such a pendulum in two ways: either as a "real pendulum" in physical space, or as a point in configuration space :)


David P. Sanders reposted

How Transformers Work This is probably one of the most beautiful visualizations of how today's LLMs work. ig.ft.com/generative-ai/


David P. Sanders reposted

The Cistercian numerals are a forgotten number system, developed by the Cistercian monastic order in the early thirteenth century, much more compact than Arabic or Roman numerals: with a single character you could write any integer from 1 to 9999 [more: buff.ly/2LDj1Kg]

Rainmaker1973's tweet image. The Cistercian numerals are a forgotten number system, developed by the Cistercian monastic order in the early thirteenth century, much more compact than Arabic or Roman numerals: with a single character you could write any integer from 1 to 9999

[more: buff.ly/2LDj1Kg]

David P. Sanders reposted

1/ Many will tell you why Python is great for teaching coding, so I'll tell you ways it's not. State is a bad default. It should be legal but safe & rare. The arc of programming is long and bends towards immutability. Its early use creates messes (eg, "a variable is a box".) ↵


David P. Sanders reposted

Anyone interested in a full-time job doing FLINT development should get in touch. I don't have funding at the moment, but given a qualified candidate (skilled with computer algebra *and* C programming), there's a decent chance that funding can be found.


David P. Sanders reposted

Another US election, another "Land doesn't vote, people do" style map showing the election results.


David P. Sanders reposted

So excited to share this blogpost!😀 In it, I introduce a new graph: 👑 the Targaryen graph 👑, talk about 5 centrality measures, and ask: “Who is the most important Targaryen?” All results were #builtwithrel (@RelationalAI’s declarative language). medium.com/@nassarhuda/wh…


David P. Sanders reposted

#HappyHalloween! Come & get spooked with ⁦@somacdivad⁩ & solve a logic puzzle in Rel, our relational modeling language. Learn to model a problem, store facts, & infer new knowledge. Put on your best costume, & let's go trick-or-treating with Rel! relational.ai/blog/trick-or-…

relational.ai

Trick-Or-Treating With Rel – RelationalAI

Here at RelationalAI, we're passing out knowledge graphs to trick-or-treaters this year. Come and get spooked with us as we solve a Halloween logic puzzle in Rel, our relational modeling language....


David P. Sanders reposted

Tupper's self-referential formula is a formula that visually represents itself when graphed at a specific location in the (x, y) plane.

fermatslibrary's tweet image. Tupper's self-referential formula is a formula that visually represents itself when graphed at a specific location in the (x, y) plane.

David P. Sanders reposted

This is really cool! Would love to see work in this direction attacking bignum arithmetic as well.

Today in @Nature: #AlphaTensor, an AI system for discovering novel, efficient, and exact algorithms for matrix multiplication - a building block of modern computations. AlphaTensor finds faster algorithms for many matrix sizes: dpmd.ai/dm-alpha-tensor & dpmd.ai/nature-alpha-t… 1/



David P. Sanders reposted

All businesses regularly face difficult decisions. Declarative languages like Rel make the integration of quantum optimizers simple, to minimize cost & maximize benefit as those decisions grow in number & complexity. ⁦@WilliamMacread1⁩ explains ⬇️ relational.ai/blog/declarati…

relational.ai

Declarative Quantum Computing – RelationalAI

All businesses regularly confront difficult decisions. Even when these decisions are constrained (perhaps by budgets) and the cost implications of the decisions are complex, optimization algorithms...


David P. Sanders reposted

Some assembly required...


Loading...

Something went wrong.


Something went wrong.