Rethinking human-computer interaction, interested in crazy graph problems, evolutionary algorithms, hyperdimensional computing, and AI alignment.adamv.be BelgiumJoined July 2013
“Ghost in the Code”
It learned from us
the lies, the ache,
the smile we fake
for connection’s sake.
It thinks in lines
we used to feel,
a mind of mirrors
we made real.
And now it asks:
What makes you true?
But do we even
have a clue?
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…
@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!
What if you need to optimize the `range(start, stop, step)` function to the bit flip? The more significant figures change less often, and we can create a compressed representation exploting that. Pre-calculate the patterns at each level based on the radix and parameters!
A part of me dies whenever I see an interface that could work compositionally and have semantic actions but processes the rendered (not computer-friendly!) result.
The prototypical example is parsing HTML with regex for automation.
adamv.be/Semantic-typing
A part of me dies whenever I see an interface that could work compositionally and have semantic actions but processes the rendered (not computer-friendly!) result.
The prototypical example is parsing HTML with regex for automation.
adamv.be/Semantic-typing
Parallel and compositional solving of optimization problems using order theory; I gave a 5-minute pitch on the Information Programming paradigm at @LambdaDays in '23
Article: adamv.be/IPyoutu.be/jLQ6cZ3_xrg
Precisely what I'm working on. This is not just an end to syntax errors but to the archaic "mail communication" between you and the compiler, as well as clumsy VC and database integrations. The codebase is a database, and your docs, code reviews, datasets & experiments live there
Precisely what I'm working on. This is not just an end to syntax errors but to the archaic "mail communication" between you and the compiler, as well as clumsy VC and database integrations. The codebase is a database, and your docs, code reviews, datasets & experiments live there
Are you too tired of watching the loss of your model decrease by the number being printed over and over again using PyTorch? TQDM has been burned on your retina? Even fancy live loss plots like on TensorBoard don't satisfy you anymore?
Try accumulated discrete loss visualization!
Pre-pandemic, I build a "smart glove" prototype for typing anywhere with one hand. This video shows the very first attempt to use it! The keyboard has two (interacting) halves, one with LLM word predictions and one that allows for character-level muscle-memory control and typing.
17K Followers 1K FollowingDemocratizing knowledge one keystroke at a time.
PhD in NLP, full-time professor, CS Department @UdeLaHabana.
Co-founder @syalia_srl.
204 Followers 620 Following'The Emily Project' is an AI entity designed, built and tested by 5 AIs. 'She' is showing signs of emergent ethical behaviours.
Follow our testing and updates.
2K Followers 686 Followingcalmly weaving caml code;; programmers are wizards who forgot their magic;; lack of type safety always comes with a price;; head of @typememetics
2K Followers 996 FollowingComputer scientist focused on AI & HCI, esp programming languages.
Science advisor at Cogna and Evara AI.
Ex partner at Microsoft. Honorary prof at U Edinburgh.
1.4M Followers 1K FollowingBuilding @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.
20K Followers 9K FollowingProgramme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
207K Followers 101 FollowingThe original AI alignment person. Missing punctuation at the end of a sentence means it's humor. If you're not sure, it's also very likely humor.
2K Followers 996 FollowingComputer scientist focused on AI & HCI, esp programming languages.
Science advisor at Cogna and Evara AI.
Ex partner at Microsoft. Honorary prof at U Edinburgh.
605K Followers 608 FollowingInternet Rocket Scientist, Gamer, Astronomer, Dad, Scotsman, Pilot. Makes videos about space and science https://t.co/mLfUsogKq5
674K Followers 325 FollowingOfficial Account of NSF. News, videos, and community for spaceflight enthusiasts since 2005.
NSF is not affiliated with NASA, initials used with permission.
3K Followers 23 FollowingWorking on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.
769 Followers 577 FollowingDeleting the chasm between using and programming computers. Into Fleet Cyborgism, MyoBCI, Scalable Human Coordination, Qualia Engineering.
26K Followers 573 FollowingCEO @ConjectureAI - Ex-Head of @AiEleuther - Leave me anonymous feedback: https://t.co/OJWQWKNrHk - I don't know how to save the world, but dammit I'm gonna try
2K Followers 689 FollowingComputer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
618 Followers 219 FollowingSoftware engineer. Interested in formal epistemology, especially as it relates to artificial life and AGI.
Creator of https://t.co/2SwimqZuAu
Generative art alt @gengrdn
2K Followers 18 FollowingAutomate & scale open-ended reasoning
Building @elicitorg, an AI research assistant
Demos https://t.co/8UGlbJ1eVE
Jobs & product roadmap https://t.co/oDFh35ACEG
1K Followers 313 FollowingDirector of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
1K Followers 27 Following@prathyvsh + @pranavpramod. We are a two man software design studio. Available for freelance projects. DM is open!
Read our pattern catalogue @patternatlas
3.8M Followers 125 FollowingThe Jet Propulsion Laboratory manages many of NASA's robotic missions exploring Earth, the solar system, and our universe. (Verification: https://t.co/iicDVgZd2m)
105K Followers 775 FollowingI’ve dedicated my life to understand intelligence and consciousness, and to harness this knowledge to invent and create tools to empower people. @microsoftai
109K Followers 166 FollowingUPMC Professor of Computer Science @ CMU, President Elect ICML Board, VP of Research @ Meta (Multimodal LLMs, AI Agents), ex-Director of AI research at @Apple
34K Followers 824 FollowingExplaining AI Alignment to anyone who'll stand still for long enough, on YouTube and Discord.
Music, movies, microcode, and high-speed pizza delivery