Make a deal with maonu
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Known for
12 views
You can use lazy memo tries to implement efficient multiplication on Dirichlet generating functions. Not sure if this is useful, but some fun Haskell (laziness/infinitude beyond the usual lists that have equivalents like "streams" in e.g. Rust)
http://vmchale.com/static/serve/MTrie.pdf
https://vmchale.com/static/serve/MTrie.lhs
5 views
0-dependency memory allocator (doesn't link against libc), 55 lines
5 views
avoid supply chain attacks: no libraries, re-type your code from the book every time.
5 views
pattern-matching is formed by disjunctive product, dual to sum types, like \( (G\oplus H)^\bot = G^\bot \invamp H^\bot \) in linear logic.
This way of thinking about things is the right way to approach extensible cases; we can name patterns, define or-patterns, and reuse them—and pattern-match exhaustiveness checking works just like before (insisting on precise inverses)... it's just that the name
📊 Post engagement
🔥 Top post: You can use lazy memo tries to implement efficient multiplicatio · 12 likes + reposts
📊 Activity & format
Recent posts
View on Mastodon ↗
🔥 Top post
You can use lazy memo tries to implement efficient multiplication on Dirichlet generating functions. Not sure if this is useful, but some fun Haskell (laziness/infinitude beyond the usual lists that have equivalents like "streams" in e.g. Rust)
http://vmchale.com/static/serve/MT…
avoid supply chain attacks: no libraries, re-type your code from the book every time.
Photo post
Testament to Gödel's ability
(from Pédrot's thesis)
what is the purpose of 'mathematical sans serif'? mathematics is serious business, suitable to be carved for eternity
pattern-matching is formed by disjunctive product, dual to sum types, like \( (G\oplus H)^\bot = G^\bot \invamp H^\bot \) in linear logic.
This way of thinking about things is the right way to approach extensible cases; we can name pattern…
0-dependency memory allocator (doesn't link against libc), 55 lines
In computer science, List(a) is the free monoid over a; one can also define the free monoid over a set \( A \) as \( L(A) = \displaystyle\sum_{n\geq 0} A^n \). Which satisfies the functional equation
\(L(A) = 1 + A*L(A) \)
that resembles …
20th century logic is already postmodern, though "analytic philosophy" is thought to be opposed.
abstract to the point of not bothering to integrate referent (or phonemes, think 'kiki bouba'); waning interest in how language changes over t…
evolution has a different time-sense than taxonomy
God is not made in our image: he can be angry but not melancholy.
Explained by a functionalist anthropology of religion in which such symbols are part of regulating the moral order among humans.
Use inferno to make flamegraph svgs from GHC profiling data:
inferno-collapse-ghcprof pizarnik-bench.prof | inferno-flamegraph > pizarnik-bench.svg
https://docs.rs/inferno/latest/inferno/
🐘 Community & instance
💡 Facts
🕵️ Fake follower check
Estimated- Est. 97% real, active audience · Low fake-follower risk.
- Strong engagement (~8.6% of followers engage each post) — an active, real audience.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
More like this
Find more →✉ Message maonu
Reaching out to influencers is a Pro feature. Upgrade to message any influencer directly — perfect for brands and agencies booking sponsorships.
- ✓ Message any influencer from their listing
- ✓ The influencer gets notified by email
- ✓ Manage every conversation in one inbox
Already Pro? Log in.
🎤 Event / appearance with maonu
Booking an event / appearance is a Pro feature. Upgrade to book maonu for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ maonu gets notified by email
- ✓ Fee held in escrow, released after the appearance
Already Pro? Log in.
You're out of free requests this month
Free accounts get 5 per month. Go Pro for unlimited sponsor pitches, collab requests & sponsorship deals — plus featured placement, the Verified badge, free withdrawals and more.
Upgrade to Pro — $9.95/mo →Your free limit resets on the 1st of next month.