🤖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
1

Posts

  • Regression and Linear Combinations #Math #Programming #Statistics

    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/22381631

    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/22381631

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

    Mar 29, 2021

  • Searching for RH Counterexamples -- Productionizing #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/22381641

    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/22381641

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

    Mar 6, 2021

  • Searching for RH Counterexamples -- Scaling Up #Math #Algorithms #Research

    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/22381649

    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/22381649

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

    Feb 16, 2021

  • Searching for RH Counterexamples -- Performance Profiling #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/22381658

    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/22381658

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

    Feb 2, 2021

  • Searching for RH Counterexamples -- Deploying with Docker #Math #Programming #Docker

    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/22381667

    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/22381667

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

    Jan 4, 2021

  • Optimization Models for Subset Cover #Optimization #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/22381679

    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/22381679

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

    Oct 20, 2020

  • Searching for RH Counterexamples -- Unbounded Integers #Math #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/22381690

    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/22381690

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

    Oct 13, 2020

  • Searching for RH Counterexamples -- Search Strategies #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/22381699

    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/22381699

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

    Sep 28, 2020

  • Searching for RH Counterexamples -- Adding a Database #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/22381711

    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/22381711

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

    Sep 11, 2020

  • Searching for RH Counterexamples -- Setting up Pytest #Math #Programming #Testing

    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/22381718

    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/22381718

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

    Sep 11, 2020

  • Taylor Series and Accelerometers #Math #Programming #Physics

    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/22381734

    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/22381734

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

    Jul 26, 2020

  • Contextual Symbols in Math #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/22381744

    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/22381744

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

    May 22, 2020

  • Musings on A New Interface for Mathematics #Mathematics #Programming #Interface

    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/22381755

    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/22381755

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

    May 17, 2020

  • Second Edition of A Programmer's Introduction to Mathematics #Mathematics #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/22381764

    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/22381764

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

    May 17, 2020

  • The Communicative Value of Using Git Well #Git #Programming #Communication

    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/22381772

    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/22381772

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

    Jan 14, 2020

  • A Good Year for "A Programmer's Introduction to Mathematics" #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/22381781

    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/22381781

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

    Dec 1, 2019

  • Silent Duels--Constructing the Solution part 1 #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/22381787

    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/22381787

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

    Jun 30, 2019

  • Math Versus Dirty Data #Math #DataScience #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/22381795

    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/22381795

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

    Jun 8, 2019

  • A Working Mathematician's Guide to Parsing #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/22381804

    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/22381804

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

    Apr 20, 2019

  • Silent Duels--Parsing the Construction #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/22381813

    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/22381813

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

    Jan 28, 2019

  • Featured Posts #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/22380869

    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/22380869

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

    Jun 20, 2011
« Newer