Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

Manav Rathi

@mnvr@mastodon.social
mastodon 4.7.0-beta.1
  • 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

Posts

Open post
mnvr
Manav Rathi @mnvr@mastodon.social · Jul 18, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social

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

1
0
0
0
Open post
mnvr
Manav Rathi @mnvr@mastodon.social · Jul 14, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social

as_ cheap borrowed view
to_ potentially expensive conversion
into_ consuming conversion

#rustlang

mastodon.social

Mastodon

2
0
1
0
Open post
mnvr
Manav Rathi @mnvr@mastodon.social · Jul 12, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social
Replying to @6d03@mathstodon.xyz
@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
Open post
mnvr
Manav Rathi @mnvr@mastodon.social · Jul 12, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social

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

0
2
0
0
Open post
mnvr
Manav Rathi @mnvr@mastodon.social · Jul 11, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social

#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

8
2
1
0
Open post
mnvr
Manav Rathi @mnvr@mastodon.social · Jun 27, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social
Replying to @michalfita@mastodon.social
@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
mnvr
Manav Rathi @mnvr@mastodon.social · Jun 27, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social

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
mnvr
Manav Rathi @mnvr@mastodon.social · Jun 27, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social
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
mnvr
Manav Rathi @mnvr@mastodon.social · Jun 21, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social
Replying to @trifectatech@fosstodon.org
@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
mnvr
Manav Rathi @mnvr@mastodon.social · Apr 13, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social

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

0
0
0
0
Open post
mnvr
Manav Rathi @mnvr@mastodon.social · Mar 19, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social

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

0
0
0
0
Open post
mnvr
Manav Rathi @mnvr@mastodon.social · Mar 06, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social

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

#llm

1
0
1
0
Open post
mnvr
Manav Rathi @mnvr@mastodon.social · Feb 28, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social

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

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

0
0
0
0
Open post
mnvr
Manav Rathi @mnvr@mastodon.social · Feb 27, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social

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

0
0
0
0
Open post
mnvr
Manav Rathi @mnvr@mastodon.social · Feb 08, 2026
Manav Rathi
@mnvr@mastodon.social

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

mastodon.social

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

— 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.

4
0
2
0

Remote instance

mastodon.social
Open on original server

Media

313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

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: 10:05:13 UTC