Slavomir Kaslev

[Paul E. McKenney @paulmckrcu]

Both RCU and hazard pointers have been voted into C++26: https://t.co/khhzAigTFt
For RCU, this journey started in 2014, with the first paper appearing in April 2015: https://t.co/O5Ksp4BK1m
A big "THANK YOU" to everyone who helped make this happen!!!

[Type Theory Forall @ttforall]

ALL KNEEL TO YOUR SOVEREIGN LORD THE LAMBDA CALCULUS

[Slavomir Kaslev @skaslev]

Alexandre Miquel: "Implicative algebras: a new foundation for realizability and forcing"
@ToposInstitute
https://t.co/RkpE4L3Wib
https://t.co/9GO5IBIa2i

[Dr Valeria dePaiva @valeriadepaiva]

Are you interested in applying category-theoretic methods to problems outside of pure mathematics? Apply to The Adjoint School! Check more information about research projects in https://t.co/OBCPNc4wN1

[Tanjila Khan @Tanjilasmm]

Five layers of Softwares

#BigData #Analytics #DataScience #IIoT #Python #Javascript #TensorFlow #CloudComputing #DevCommunity #Serverless #DataScientist #Coding #DigitalTransformation #Cloud #MachineLearning #ML #ArtificialIntelligence #Technology

[Edward Snowden @Snowden]

The most important video of the year was filmed in 1983.

[Slavomir Kaslev @skaslev]

Posits, a New Kind of Number, Improves the Math of AI https://t.co/JPWpqUsez0

[KAUST Computational Sciences @csgKAUST]

Happy to share the code of our #SIGGRAPH2022 state-of-the-art #Multigrid solver enabling efficient #FluidSimulation with 1+ billion particles. Step-by-step build instructions, all example scenes, and #Houdini files to explore the interplay with our solver:
https://t.co/yDcYPlzEDK

[Slavomir Kaslev @skaslev]

Math error: A new study overturns 100-year-old understanding of color perception https://t.co/X2VUsAPf65 via @physorg_com

[Some theorems @CihanPostsThms]

[Ford 1999]: Write φ for Euler's totient function. Then for every k ≥ 2, there exists m such that the equation φ(x) = m has exactly k solutions.

[Peter Kalmus @ClimateHuman]

Please, please share this piece widely. It has the potential to reach deep into the mainstream and raise public urgency on climate breakdown. It is already "most shared" across the Guardian. Push this moment
https://t.co/zTHNPKxxEe

[Slavomir Kaslev @skaslev]

@SMT_Solvers @sigfpe @akarp Simpler because the OGF can be sampled directly and then the isomorphism can be used to convert the sampled values to the data structure of interest
https://t.co/tznEkXKHtR

[Slavomir Kaslev @skaslev]

@SMT_Solvers @sigfpe @akarp There's also a simper sampling algorithm than Boltzmann sampling given an isomorphism between a data structure and it's ordinary generating functor
https://t.co/OkSshvJ3Tn
The OGF is defined as
def ogf (c : ℕ → ℕ) (X) := Σ n:ℕ, fin (c n) × fin n → X
https://t.co/9FHtMa5DLV

[Grant Olney Passmore @grantolney]

@johncarlosbaez @sigfpe It's an amazing fact to me that both Presburger Arithmetic (Th<N,+>) and Skolem Arithmetic (Th<N,*>) are decidable on their own, but as soon as you try to mix them together, things get crazy! https://t.co/TAXT0NAW7O

[Amir Vaxman (BSky @amirvaxman-dgp.bsky.social) @amirvaxman_dgp]

Announcing the (beta) release of the N-function integration and meshing package in Directional---now you can design an N-field, integrate it into N-functions which may contain branching points, but are seamless, and then mesh the result.
Directional:
https://t.co/pHKysHZ0sd

[Slavomir Kaslev @skaslev]

David Jaz Myers: "Three Realisms and The Idea of Sheaves" https://t.co/erSLBb4SUC

[Slavomir Kaslev @skaslev]

@sydgibs @Guriwesu Programmers write partial functions (often in IO monad) while mathematicians write noncomputible total functions (say using AC or LEM). The common between the two groups are the use of total computible functions (the image of the the free topos?).

[Jacques Carette @jjcarett2]

Beautiful new preprint https://t.co/SUJhJeC41q showing how to do Schemes in Isabelle.

To me, the most interesting thing is a rediscovery that if you have a complex enough interface language (here: locales) you can overcome a weak object language (here: HOL).

[Tamás Görbe @TamasGorbe]

@fermatslibrary https://t.co/acHzyCxDhh