Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Manav Rathi

@mnvr@mastodon.social
mastodon 4.8.0-nightly.2026-10-06
  • Open on mastodon.social

As you start walking the way appears • Building https://ente.com

76 Followers
21 Following
15 Posts
Joined January 18, 2024
Website:
https://mnvr.in
Open post
Manav Rathi @mnvr@mastodon.social
· 2mo ago

#til std::mem::drop is just an empty function!

fn drop(_x: T) {}

https://doc.rust-lang.org/src/core/ops/drop.rs.html#243

The "drop" happens as a consequence of transferring ownership

(and in case you're wondering, yes, I learnt of this because of the classic let _ = expr vs let _x = expr footgun; the former drops the unowned temporary at the end of the line, the latter binds so the value lives till the end of scope, and drop is the way to force the complier's hand)

#rustlang

mastodon.social

Mastodon

8
2
1
0
Open post
Manav Rathi @mnvr@mastodon.social
· 2mo ago

as_ cheap borrowed view
to_ potentially expensive conversion
into_ consuming conversion

#rustlang

mastodon.social

Mastodon

2
0
1
0
Open post
Manav Rathi @mnvr@mastodon.social
· 2mo ago

How many times do you chop things in half to get to a certain amount

That's -log2!

3b1b defining information aka -log2 in their latest videos (and I agree with them, log 1/2 formulation is clearer!)

#math #machinelearning

mastodon.social

Mastodon

1
0
0
1
Open post
Manav Rathi @mnvr@mastodon.social
· 8mo ago

कर्मण्येवाधिकारस्ते मा फलेषु कदाचन ।
मा कर्मफलहेतुर्भूर्मा ते सङ्गोऽस्त्वकर्मणि ॥

— Gita 2.47

Action alone is your right, never the outcome. Outcomes arise from a wider causal field; you’re not the doer, nor may you attach yourself to inaction.

5
0
2
0
Open post
Manav Rathi @mnvr@mastodon.social
· 3mo ago
Replying to
@trifectatech@fosstodon.org Love the *** feedback when I'm typing passwords. Surprising to me how much that psychologically has reduced, nay eliminated, me typing wrong passwords. Interesting that "This feature was initially not even on our roadmap! " :) So I'm glad it got there.
1
0
0
0
Open post
Manav Rathi @mnvr@mastodon.social
· 7mo ago

Came to me in a dream today. That the hidden CoTs of LLMs are not "thinking" or "reasoning", but the LLM dreaming.

#llm

mastodon.social

Mastodon

1
0
1
0
Open post
Manav Rathi @mnvr@mastodon.social
· 3mo ago
Rust's target/ folder is designed to be safe to share (happy to be corrected!) So I just symlinked it across all project's worktrees :) Saves a lot (lot!) of disk The only issue I faced was that target then becomes a symlink, and the (conventional) .gitignore was target/, so I needed to add a local .git/info/exclude #rustlang
0
2
0
0
Open post
Manav Rathi @mnvr@mastodon.social
· 2mo ago

so map is (a -> b) -> (f a -> f b), and_then/flat_map (a -> f b) -> (f a -> f b)

or equivalently, map is (a -> b) -> f a -> f b, and_then/flat_map is (a -> f b) -> f a -> f b, and map is fmap, and_then/flat_map is bind, but no typeclasses like #haskell, piecemeal instead)

#rustlang

#rustlang

mastodon.social

Mastodon

0
2
0
0
Open post
Manav Rathi @mnvr@mastodon.social
· 3mo ago

I am riding on the limited express, one of the crack trains of the nation.
Hurtling across the prairie into blue haze and dark air go fifteen all-steel coaches holding a thousand people.
(All the coaches shall be scrap and rust and all the men and women laughing in the diners and sleepers shall pass to ashes.)
I ask a man in the smoker where he is going and he answers: "Omaha."

— Carl Sandburg, Limited (1916)

#poem

mastodon.social

Mastodon

0
0
0
0
Open post
Manav Rathi @mnvr@mastodon.social
· 5mo ago

A single function — eml(x,y) = exp(x)−ln(y) — together with the constant 1 is the equivalent of a universal NAND but for mathematics

https://arxiv.org/pdf/2603.21852

arxiv.org
0
0
0
0
Open post
Manav Rathi @mnvr@mastodon.social
· 6mo ago

I think I know what emergence means now:
https://mnvr.in/2026/emergence

mnvr.in

Emergence Saved Our Tofu | mnvr.in

I think I know what emergence means now: concretely, not as a stand-in for things we don

0
0
0
0
Open post
Manav Rathi @mnvr@mastodon.social
· 7mo ago

I've decided to double down on em-dashes.

https://mnvr.in/2026/em-dashes

mnvr.in

em-dashes | mnvr.in

I

0
0
0
0
Open post
Manav Rathi @mnvr@mastodon.social
· 7mo ago

The people against AI are asking the wrong questions. This is my attempt to get them to retest their priors. Maybe I'm being naive, but here goes.

https://mnvr.in/2026/the-important-questions

#AI #llm

mnvr.in

The important questions | mnvr.in

The people against AI are asking the wrong questions

0
0
0
0
Open post
Manav Rathi @mnvr@mastodon.social
· 3mo ago
Replying to
@michalfita@mastodon.social Yes! There's CARGO_TARGET_DIR, I was tempted ngl :), but in my case the problem was much more tractable — monorepo and a fixed set of workspaces, so I thought I'll go with the more deterministic solution.
0
0
1
0
Open post
Manav Rathi @mnvr@mastodon.social
· 2mo ago
Replying to
@6d03@mathstodon.xyz Yes! That's not great, it's just a tradeoff Rust has made for a more familiar dialect
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 06:11:42 UTC