Using #Algebraic #Datatype #PatternMatching in #java into dataseries library (backported from rust implementation) : https://www.javadoc.io/doc/io.github.cboudereau.dataseries/dataseries/latest/io/github/cboudereau/dataseries/package-summary.html

https://blog.shtsoft.eu/2022/12/22/effect-trait-dp.html #algebraic #effects #rust

My presentation, "#KnoBAB: Making #Logic Fast" on bridging #DataScience data processing algorithms with #AI, is accepted to the #AAAI23 Spring Symposia, #SSS. This presentation advocates for the representation of #LTLf as #Algebraic operators for accessing finite traces on #RDBMS.

Link to the fast LTLf solver: https://github.com/datagram-db/knobab

See you in #SanFrancisco!

Shout out to #mathstodon to say hello. I majored in math at ,#ReedCollege, decades ago now but I do try to keep up now and then. My undergrad thesis was on #KnotTheory (#algebraic #topology). My father was an applied mathematician in aerospace. These days I make a living as a software architect and it is the rare and joyous day when I get to use any bit of math.

@wrog I've just done a search and got a very small number of hits for #Topology, #Algebraic, and #AlbebraicTopology.

But Mastodon-as-a-Platform is not a place where you can search the mass of posts, it's a place to build a network in which you can then have the conversations. Searches can supplement this, but it's not about building a searchable body of data.

That's both a strength and a limitation.

2/n

List of papers about #algebraic #effects #fp #functionalprogramming https://github.com/yallop/effects-bibliography

Ie. I'm pondering a quandary.

#NumberTheory #Algebraic #NumberFields #cm

Let F CM over ℚ with max real subfield K then α generate F over K, α totally imaginary unit. Take the partial norm of α by the Galois group of K lifted over F; I assert that since it is a generator of an extension, its norm should NOT collapse into ℚ. Thus being a unit it must have its partial norm also a unit, and being totally imaginary in a quadratic extension this must be i.