Slavomir Kaslev retweeted
Both RCU and hazard pointers have been voted into C++26: herbsutter.com/2023/06/16/tr…
For RCU, this journey started in 2014, with the first paper appearing in April 2015: wg21.link/n4483
A big "THANK YOU" to everyone who helped make this happen!!!
Alexandre Miquel: "Implicative algebras: a new foundation for realizability and forcing"
@ToposInstitute
youtube.com/watch?v=MDLpG7_7…
arxiv.org/pdf/1802.00528.pdf
1
Slavomir Kaslev retweeted
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 adjointschool.com/2023.html
Slavomir Kaslev retweeted
Five layers of Softwares
#BigData #Analytics #DataScience #IIoT #Python #Javascript #TensorFlow #CloudComputing #DevCommunity #Serverless #DataScientist #Coding #DigitalTransformation #Cloud #MachineLearning #ML #ArtificialIntelligence #Technology
Posits, a New Kind of Number, Improves the Math of AI spectrum.ieee.org/floating-p…
Slavomir Kaslev retweeted
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:
github.com/kaust-csg-uaamg/u…
Math error: A new study overturns 100-year-old understanding of color perception phys.org/news/2022-08-math-e… via @physorg_com
Slavomir Kaslev retweeted
[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.
Slavomir Kaslev retweeted
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
theguardian.com/commentisfre…
Slavomir Kaslev retweeted
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! mathoverflow.net/questions/1…
Slavomir Kaslev retweeted
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:
avaxman.github.io/Directiona…
David Jaz Myers: "Three Realisms and The Idea of Sheaves" youtu.be/RPuWHN0BTio
Slavomir Kaslev retweeted
Beautiful new preprint arxiv.org/abs/2104.09366 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).
Slavomir Kaslev retweeted
Our new paper on "Rendering Point Clouds with Compute Shaders and Vertex Order Optimization"
Can brute-force render 796 million points at consistent 62-64 fps on an RTX 3090 with compute shaders.
paper: cg.tuwien.ac.at/research/pub…
code: github.com/m-schuetz/compute…
