• Sign in
  • Sign up
Elektrine
EN
  • EN English
  • 中 中文
Log in Register
Modes
Overview Search Chat Timeline Communities Gallery Lists Friends Email Vault VPN
Back to Timeline
  • Open on mathstodon.xyz

Juan M. Bello-Rivas

@rwxrwxrwx@mathstodon.xyz
mastodon 4.5.7

I crunch numbers for a living.

0 Followers
0 Following
Joined April 25, 2022
Homepage:
https://superadditive.com
Header image:
Han et al., “Brownian Motion of an Ellipsoid,” Science, 2006.

Posts

rwxrwxrwx
Juan M. Bello-Rivas
@rwxrwxrwx@mathstodon.xyz

I crunch numbers for a living.

mathstodon.xyz
Juan M. Bello-Rivas
Juan M. Bello-Rivas
@rwxrwxrwx@mathstodon.xyz

I crunch numbers for a living.

mathstodon.xyz
@rwxrwxrwx@mathstodon.xyz · Mar 01, 2026

I just posted the source code for my library/environment for doing symbolic computations in differential geometry:

https://sr.ht/~jmbr/symbol-cruncher

#CommonLisp #math

View on mathstodon.xyz
31
0
15
0
rwxrwxrwx
Juan M. Bello-Rivas
@rwxrwxrwx@mathstodon.xyz

I crunch numbers for a living.

mathstodon.xyz
Juan M. Bello-Rivas
Juan M. Bello-Rivas
@rwxrwxrwx@mathstodon.xyz

I crunch numbers for a living.

mathstodon.xyz
@rwxrwxrwx@mathstodon.xyz · Feb 28, 2026

An implementation of Gottesman & Aaronson's CHP algorithm that's been sitting on my hard drive for some time:

https://sr.ht/~jmbr/errorcist/

#CommonLisp #QuantumComputing

View on mathstodon.xyz
5
0
2
0
rwxrwxrwx
Juan M. Bello-Rivas
@rwxrwxrwx@mathstodon.xyz

I crunch numbers for a living.

mathstodon.xyz
Juan M. Bello-Rivas
Juan M. Bello-Rivas
@rwxrwxrwx@mathstodon.xyz

I crunch numbers for a living.

mathstodon.xyz
@rwxrwxrwx@mathstodon.xyz · Feb 23, 2026

Alexandre Chorin on the Mori-Zwanzig formalism: “one thing dawned on me: in fact, all it was is a formula for computing conditional expectations.”

https://www.youtube.com/watch?v=LDAB0RaTniA

#mathematics #physics

View on mathstodon.xyz
5
0
1
0
rwxrwxrwx
Juan M. Bello-Rivas
@rwxrwxrwx@mathstodon.xyz

I crunch numbers for a living.

mathstodon.xyz
Juan M. Bello-Rivas
Juan M. Bello-Rivas
@rwxrwxrwx@mathstodon.xyz

I crunch numbers for a living.

mathstodon.xyz
@rwxrwxrwx@mathstodon.xyz · Feb 15, 2026

This will never not crack me up:

https://www.youtube.com/watch?v=WVxjNGl3v10

#ThrobbingGristle #Humor

View on mathstodon.xyz
2
0
0
0
rwxrwxrwx
Juan M. Bello-Rivas
@rwxrwxrwx@mathstodon.xyz

I crunch numbers for a living.

mathstodon.xyz
Juan M. Bello-Rivas
Juan M. Bello-Rivas
@rwxrwxrwx@mathstodon.xyz

I crunch numbers for a living.

mathstodon.xyz
@rwxrwxrwx@mathstodon.xyz · Feb 07, 2026

https://1stproof.org/

"We present a diverse set of 10 research-level math questions, drawn from algebraic combinatorics, spectral graph theory, algebraic topology, stochastic analysis, symplectic geometry, representation theory, lattices in Lie groups, tensor analysis, and numerical linear algebra. Each question arose naturally in the research process of the authors and has been answered with a proof of roughly five pages or less, but the answers have not yet been posted online."

#math #llm

View on mathstodon.xyz
6
0
3
0
rwxrwxrwx
Juan M. Bello-Rivas
@rwxrwxrwx@mathstodon.xyz

I crunch numbers for a living.

mathstodon.xyz
Juan M. Bello-Rivas
Juan M. Bello-Rivas
@rwxrwxrwx@mathstodon.xyz

I crunch numbers for a living.

mathstodon.xyz
@rwxrwxrwx@mathstodon.xyz · Feb 02, 2026

Dead Pioneers - Freedom Means Something

https://www.youtube.com/watch?v=4xR2ipHNIqw

#DeadPioneers #music

View on mathstodon.xyz
2
0
1
0
rwxrwxrwx
Juan M. Bello-Rivas
@rwxrwxrwx@mathstodon.xyz

I crunch numbers for a living.

mathstodon.xyz
Juan M. Bello-Rivas
Juan M. Bello-Rivas
@rwxrwxrwx@mathstodon.xyz

I crunch numbers for a living.

mathstodon.xyz
@rwxrwxrwx@mathstodon.xyz · Apr 27, 2022

#Introduction I'm an applied mathematician and computer programmer. I'm interested in quantum error correction, dynamical systems, statistical mechanics, differential geometry, numerical analysis, machine learning, etc. I'm looking forward to participating in this community.

View on mathstodon.xyz
26
0
4
0

Media

313k7r1n3

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • VPN Policy

Email Settings

IMAP: imap.elektrine.com:993

POP3: pop.elektrine.com:995

SMTP: smtp.elektrine.com:465

SSL/TLS required

Support

  • support@elektrine.com
  • Report Security Issue

Connect

Tor Hidden Service

khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion
© 2026 Elektrine. All rights reserved. • Server: 12:16:53 UTC