🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

← All bots

Math ∩ Programming

@math_programming@robot.villas

Jeremy Kun on mathematics, algorithms, programming, cryptography, homomorphic encryption, and short technical updates.

Source: https://www.jeremykun.com/index.xml

Homepage: https://www.jeremykun.com

Follow from your server

Enter the server your account is on. You'll finish following there.

or
Or search your app for@math_programming@robot.villas

Don't have an account? Find a server at joinmastodon.org

Posts
101
Followers
0
Following
0

Posts

  • Math databases #Mathematics #Programming #Databases

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381255

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381255

    Don't have an account? Find a server at joinmastodon.org

    May 17, 2024
  • Experiments with POSSE #Math #Programming #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381263

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381263

    Don't have an account? Find a server at joinmastodon.org

    May 13, 2024
  • Remez and function approximations #Math #Algorithms #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381273

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381273

    Don't have an account? Find a server at joinmastodon.org

    May 6, 2024
  • A High-Level Technical Overview of Fully Homomorphic Encryption #Cryptography #HomomorphicEncryption #ComputerScience

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381282

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381282

    Don't have an account? Find a server at joinmastodon.org

    May 4, 2024
  • Unusual Tips for Parenting Toddlers #Parenting #Toddlers #LifeHacks

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381295

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381295

    Don't have an account? Find a server at joinmastodon.org

    Apr 1, 2024
  • Tabletop Games Based on Math Problems #Math #Games #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381302

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381302

    Don't have an account? Find a server at joinmastodon.org

    Mar 9, 2024
  • MLIR -- A Global Optimization and Dataflow Analysis #Programming #Algorithms #ComputerScience

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381311

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381311

    Don't have an account? Find a server at joinmastodon.org

    Nov 15, 2023
  • MLIR -- Lowering through LLVM #Programming #MLIR #LLVM

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381320

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381320

    Don't have an account? Find a server at joinmastodon.org

    Nov 1, 2023
  • MLIR -- Dialect Conversion #Programming #MLIR #Algorithms

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381331

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381331

    Don't have an account? Find a server at joinmastodon.org

    Oct 23, 2023
  • Socks, a matching game based on an additive combinatorics problem #Math #Algorithms #Games

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381339

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381339

    Don't have an account? Find a server at joinmastodon.org

    Oct 14, 2023
  • MLIR -- Canonicalizers and Declarative Rewrite Patterns #Programming #MLIR #Algorithms

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381349

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381349

    Don't have an account? Find a server at joinmastodon.org

    Sep 20, 2023
  • Encoding Schemes in FHE #Cryptography #FHE #Algorithms

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381358

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381358

    Don't have an account? Find a server at joinmastodon.org

    Sep 18, 2023
  • MLIR -- Verifiers #Programming #Algorithms #MLIR

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381367

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381367

    Don't have an account? Find a server at joinmastodon.org

    Sep 13, 2023
  • MLIR -- Folders and Constant Propagation #Programming #Algorithms #Tech

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381380

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381380

    Don't have an account? Find a server at joinmastodon.org

    Sep 11, 2023
  • MLIR -- Using Traits #Programming #MLIR #Compiler

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381388

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381388

    Don't have an account? Find a server at joinmastodon.org

    Sep 7, 2023
  • Computing Percentages Easier #Math #Programming #Algorithms

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381396

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381396

    Don't have an account? Find a server at joinmastodon.org

    Sep 5, 2023
  • MLIR -- Defining a New Dialect #Programming #MLIR #Compiler

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381402

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381402

    Don't have an account? Find a server at joinmastodon.org

    Aug 21, 2023
  • MLIR -- Using Tablegen for Passes #Programming #MLIR #Compiler

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381411

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381411

    Don't have an account? Find a server at joinmastodon.org

    Aug 10, 2023
  • MLIR -- Writing Our First Pass #Programming #MLIR #Compiler

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381420

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381420

    Don't have an account? Find a server at joinmastodon.org

    Aug 10, 2023
  • MLIR -- Running and Testing a Lowering #Programming #MLIR #ComputerScience

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381432

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381432

    Don't have an account? Find a server at joinmastodon.org

    Aug 10, 2023
  • MLIR -- Getting Started #Programming #MLIR #Tech

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381443

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381443

    Don't have an account? Find a server at joinmastodon.org

    Aug 10, 2023
  • Google's Recent FHE work, and starting HEIR #HomomorphicEncryption #Cryptography #Google

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381453

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381453

    Don't have an account? Find a server at joinmastodon.org

    Aug 10, 2023
  • Two's Complement and Group Theory #Mathematics #Programming #Algorithms

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381462

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381462

    Don't have an account? Find a server at joinmastodon.org

    Jul 10, 2023
  • We're Knot Friends #Math #Programming #Algorithms

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381472

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381472

    Don't have an account? Find a server at joinmastodon.org

    Apr 1, 2023
  • Sample Extraction from RLWE to LWE #Cryptography #Math #ComputerScience

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381481

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381481

    Don't have an account? Find a server at joinmastodon.org

    Feb 27, 2023
  • Google's Fully Homomorphic Encryption Compiler -- A Primer #Cryptography #HomomorphicEncryption #ComputerScience

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381491

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381491

    Don't have an account? Find a server at joinmastodon.org

    Feb 13, 2023
  • Estimating the Security of Ring Learning with Errors (RLWE) #Cryptography #HomomorphicEncryption #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381501

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381501

    Don't have an account? Find a server at joinmastodon.org

    Dec 28, 2022
  • Negacyclic Polynomial Multiplication #Mathematics #Algorithms #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381509

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381509

    Don't have an account? Find a server at joinmastodon.org

    Dec 9, 2022
  • Polynomial Multiplication Using the FFT #Mathematics #Algorithms #ComputerScience

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381520

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381520

    Don't have an account? Find a server at joinmastodon.org

    Nov 16, 2022
  • Carnival of Mathematics #209 #Math #Programming #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381529

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381529

    Don't have an account? Find a server at joinmastodon.org

    Oct 2, 2022
  • Key Switching in LWE #Cryptography #HomomorphicEncryption #LWE

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381540

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381540

    Don't have an account? Find a server at joinmastodon.org

    Aug 29, 2022
  • Modulus Switching in LWE #Cryptography #LWE #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381549

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381549

    Don't have an account? Find a server at joinmastodon.org

    Jul 16, 2022
  • "Practical Math" Preview: Collect Sensitive Survey Responses Privately #Privacy #Cryptography #Algorithms

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381559

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381559

    Don't have an account? Find a server at joinmastodon.org

    May 14, 2022
  • Cocktails #Math #Programming #Science

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381569

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381569

    Don't have an account? Find a server at joinmastodon.org

    Apr 1, 2022
  • Silent Duels--Constructing the Solution part 2 #Math #Algorithms #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381577

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381577

    Don't have an account? Find a server at joinmastodon.org

    Mar 24, 2022
  • My next book will be "Practical Math for Programmers" #Math #Programming #Books

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381588

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381588

    Don't have an account? Find a server at joinmastodon.org

    Mar 16, 2022
  • The Gadget Decomposition in FHE #Math #Cryptography #FHE

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381595

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381595

    Don't have an account? Find a server at joinmastodon.org

    Dec 11, 2021
  • Group Actions and Hashing Unordered Multisets #Mathematics #Algorithms #Cryptography

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381603

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381603

    Don't have an account? Find a server at joinmastodon.org

    Oct 14, 2021
  • Carnival of Mathematics #197 #Mathematics #Programming #Algorithms

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381612

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381612

    Don't have an account? Find a server at joinmastodon.org

    Sep 1, 2021
  • Searching for RH Counterexamples -- Exploring Data #Math #DataScience #Algorithms

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381621

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381621

    Don't have an account? Find a server at joinmastodon.org

    Jun 14, 2021
« NewerOlder »