injuly @ptrCast

Manga / Sci-fi / Functional Programming injuly.in Joined January 2020

Tweets

2K
Followers

1K
Following

243
Likes

31K

injuly @ptrCast

6 days ago

Just learned that the original ResNeXt was in Lua

1 0 6 247 1

Download Image

gigi 𓂃⋆.˚ @p0lar_fawn

2 weeks ago

math is beautiful i wish i didnt suck at it

21 6 132 4K 2

Aadit Sheth @aaditsh

3 weeks ago

This is mass hypnotism https://t.co/ghisulZZWa

4K 83 2K 310K 505

3 0 5 510 0

Download Image

I'm on my first bloodborne playthrough. While I've been loving this game so far, I find that there's SO much I'd have missed if not for the wiki/community. This seems to be a common theme with soulsborne games and I'm not sure how I feel about that.

1 0 5 319 0

injuly @ptrCast

3 weeks ago

In-house datacenter:

5 1 35 1K 3

Download Image

DeepSource @DeepSourceHQ

3 weeks ago

Thanks @googlecloud for featuring DeepSource in their latest case study! We've been building on GCP since day one, and now process 1B+ lines of code every month for 7,000+ teams that trust us to ship secure code. We also use Gemini extensively for Autofix™ AI and Agents.

1 2 9 750 0

injuly @ptrCast

3 weeks ago

A little surprised to see Web3 attempts are still around after the 2021-22 catastrophe. AFAICT, the 'decentralized internet' simply didn't work out. What use cases remain, if any?

2 0 8 646 1

injuly @ptrCast

4 weeks ago

Very few people know this, but the official python runtime is called "CPython" because it's half C and half Python.

2 0 22 1K 0

Download Image

Lean @leanprover

a month ago

🎉 Lean 4.22.0 is here! This marks the culmination of our Year 2 roadmap. Two major highlights: 🧠 grind tactic: New SMT-style automated reasoning with theory-specific solvers and Gröbner basis support 🏗️ New compiler: Closes long-standing issues and sets the foundation for…