• 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

Slava Pestov

@slava@mathstodon.xyz
mastodon 4.5.7

Programming languages, finitely-presented monoids, horses

0 Followers
0 Following
Joined February 11, 2025
Pronouns:
he/him
Homepage:
https://factorcode.org/slava
Generics:
https://download.swift.org/docs/assets/generics.pdf
<a,b|aaa=a,abba=bb>:
https://factorcode.org/slava/aaaaabbabb.pdf

Posts

slava
Slava Pestov
@slava@mathstodon.xyz

Programming languages, finitely-presented monoids, horses

mathstodon.xyz
Slava Pestov
Slava Pestov
@slava@mathstodon.xyz

Programming languages, finitely-presented monoids, horses

mathstodon.xyz
@slava@mathstodon.xyz · Mar 04, 2026

I landed some performance improvements for the Swift type checker recently, and I'm currently finishing up the next set of changes which I hope to merge soon.

There are two main improvements. The first is a new "disjunction pruning" optimization to help skip impossible overload choices, and the second set of improvements concern implicit conversions and the constraints they generate.

View on mathstodon.xyz
44
0
17
0
slava
Slava Pestov
@slava@mathstodon.xyz

Programming languages, finitely-presented monoids, horses

mathstodon.xyz
Slava Pestov
Slava Pestov
@slava@mathstodon.xyz

Programming languages, finitely-presented monoids, horses

mathstodon.xyz
@slava@mathstodon.xyz · Feb 14, 2026

An interesting cultural phenomenon is prefixing swift-ci commands with “please”. It warms my heart to see new hires adopt this convention. Maybe some of them don’t even realize the “please” does nothing! (Although I like to believe it reduces the odds I’ll hit a flaky test.) I actually don’t even remember how this started and I was around when pull request testing was introduced

View on mathstodon.xyz
22
0
4
0
slava
Slava Pestov
@slava@mathstodon.xyz

Programming languages, finitely-presented monoids, horses

mathstodon.xyz
Slava Pestov
Slava Pestov
@slava@mathstodon.xyz

Programming languages, finitely-presented monoids, horses

mathstodon.xyz
@slava@mathstodon.xyz · Feb 11, 2026

Be sure to keep up with your text editor’s security updates, fellow Notepad users! I heard that vi fans are exploiting this in the wild to install ransomware on people’s computers. The ransomware won’t let you exit vi until you pay up https://www.cve.org/CVERecord?id=CVE-2026-20841

View on mathstodon.xyz
5
0
0
0
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: 05:43:53 UTC