Adam V @AdamVcoding

Rethinking human-computer interaction, interested in crazy graph problems, evolutionary algorithms, hyperdimensional computing, and AI alignment. adamv.be Belgium Joined July 2013

Tweets

765
Followers

287
Following

45
Likes

2K

François Chollet @fchollet

a week ago

The end will begin when humanity turns away from humanity

78 39 359 32K 32

View Details

Just heard "I'll get a *clanker* to <inaudible> about it" on the London streets, and while I believe we should have more derogatory terms for AI, embodiment is not a requirement. "Bithead!" is more appropriate.

0 0 1 36 0

View Details

Adam V @AdamVcoding

2 months ago

@tangled_zans There's the Scala one, and there used to be meetup.com/london-functio… Definitely a gap to be filled with a new FP meetup!

0 0 1 53 0

View Details

Adam V @AdamVcoding

2 months ago

@ID_AA_Carmack For neural computations where regularizers are ubiquitous, luckily, you're 4σ sure an activation will not land in the coarse (32 bins or less) >4 bf16 region

0 0 0 5K 0

View Details

Adam V @AdamVcoding

3 months ago

@CPUMonkey AVX512_BMM is unironically the most exciting and powerful addition to AVX512, major congrats to AMD. For those interested: docs.amd.com/v/u/en-US/6919…

0 0 0 19 0

View Details

Adam V @AdamVcoding

4 months ago

Adam V @AdamVcoding

4 months ago

Can you spot the transformer's heads, logits, and embeddings?

0 0 0 223 0

0 0 1 101 0

View Details

Adam V @AdamVcoding

4 months ago

Can you spot the transformer's heads, logits, and embeddings?

0 0 0 223 0

View Details

Adam V @AdamVcoding

4 months ago

@karpathy Great t-shirt design

1 0 2 1K 0

View Details

Adam V @AdamVcoding

4 months ago

A small lab without the capacity to train a foundational model, can achieve SOTA with significant margin by using principled factored cognition: breaking up a task in a "well-typed" way not only increases efficiency, but also improves coherency on large tasks.

George Morgan @vr4300

4 months ago

I'm extremely proud to share that the @symbolica research team has achieved a monumental result in program synthesis. We have been able to reach SOTA on ARC-AGI-2 (85.28% @ $6.94/task) using @agenticasdk as a neurosymbolic program synthesis engine. This engine is not ARC

15 37 431 53K 286

1 2 14 758 4

View Details

Adam V @AdamVcoding

8 months ago

@doganuraldesign Uncolor me unimpressed

2 0 0 216 0

View Details

Adam V @AdamVcoding

9 months ago

One of the last great achievements of humanity before AGI and AI-backed design

SpaceX @SpaceX

9 months ago

Splashdown confirmed! Congratulations to the entire SpaceX team on an exciting tenth flight test of Starship!

3K 8K 58K 3.8M 2K

0 0 1 153 0

View Details

Adam V @AdamVcoding

11 months ago

@fchollet They are fun! And perhaps that's needed to complete them. There's more human bias in this set of environments and also more of an implied reward system (think curiosity, minimizing side effects, and temporal discount), and that may lead to some of the same problems humans have.

0 0 1 77 0

View Details

Jared Isaacman @rookisaacman

11 months ago

56 years ago, we achieved one of the most consequential moments in human history. We have waited patiently...it is time for the next giant leap.

National Air and Space Museum @airandspace

11 months ago

Happy Moon Landing Day! On this day in 1969, Apollo 11 astronauts Neil Armstrong and Buzz Aldrin became the first humans to set foot on the Moon. This photo shows both astronauts on the Moon, with Armstrong reflected in the visor of Aldrin's helmet.

99 2K 6K 390K 206

126 427 4K 167K 56

View Details

Adam V @AdamVcoding

a year ago

The most surreal hallucination I ever got from an image generation model. I do like Brussels waffles, but this is with a completely cleared ChatGPT personalization record. chatgpt.com/share/683c2ce0…

2 0 3 180 0

View Details

Adam V @AdamVcoding

a year ago

@insurrealist @prathyvsh @elzr What would those more general objects be?

0 0 2 58 0

View Details

Adam V @AdamVcoding

a year ago

@danghica Analogously @u_map_prop ?

0 0 0 64 0

View Details

Graham Hutton @haskellhutt

a year ago

@tritlo Monads are a simple algebraic structure with two operations and three laws. That’s it. No maths student ever complained that groups are too difficult to understand, and they have more things to remember. CS just need to grow up and stop demonising simple abstractions!

18 30 232 11K 34

View Details

Adam V @AdamVcoding

a year ago

@tangled_zans @_chenson__ Right. Not following Elon anymore helped for me. Although at a lower density than before, there's still many useful connections within tweet range here.