Vincent L. Anderson

2.2K posts

Vincent L. Anderson

Vincent L. Anderson

@VLEAnderson_

Beigetreten Kasım 2021
1.4K Folgt130 Follower
Vincent L. Anderson retweetet
abdel
abdel@AbdelStark·
Can LLMs be PROVABLE computers? Percepta showed that a transformer can BE a computer. Compiled weights, deterministic execution, 30k tokens/sec. But nobody asked the obvious follow-up: how do you know it computed correctly? So I built the verification layer. A STARK that proves it 👇
Christos Tzamos@ChristosTzamos

1/4 LLMs solve research grade math problems but struggle with basic calculations. We bridge this gap by turning them to computers. We built a computer INSIDE a transformer that can run programs for millions of steps in seconds solving even the hardest Sudokus with 100% accuracy

English
55
154
1.2K
159.1K
Vincent L. Anderson retweetet
Dexerto
Dexerto@Dexerto·
Yu-Gi-Oh has turned one of its most iconic spell cards, Instant Fusion, into a real-world product, thanks to a new collaboration with Cup Noodle The real-life Instant Fusion also comes with a special version of the card
Dexerto tweet mediaDexerto tweet media
English
75
785
8.2K
292.2K
Vincent L. Anderson retweetet
🖤 Buy Physical Media 🖤
🖤 Buy Physical Media 🖤@VHSDVDBLURAY4K·
I remember when I went to Japan they had every Yu-Gi-Oh card card ever made displayed at a Tokyo Subway
🖤 Buy Physical Media 🖤 tweet media🖤 Buy Physical Media 🖤 tweet media
English
50
1.3K
18.3K
324.4K
Vincent L. Anderson retweetet
【公式】 遊戯王 マスターデュエル
YouTube「遊戯王OCGチャンネル」にて、 今春配信予定! ┼───  #遊戯王マスターデュエル       AIコンテスト  ✨ティザー映像公開✨             ───┼ 全国の優秀な学生が、「遊戯王 マスターデュエル」のAI開発に挑戦し、しのぎをけずりました。 本編では開発中のストーリーや、白熱したデュエルの様子が見られますのでお楽しみに!
日本語
9
415
1.2K
648.1K
Vincent L. Anderson retweetet
Alex Cimo
Alex Cimo@Cimoooooooo·
Well
Alex Cimo tweet media
English
97
30
3.3K
119.7K
Vincent L. Anderson retweetet
The Media Mines
The Media Mines@TheMediaMines·
The Media Mines tweet media
ZXX
24
559
5K
59.7K
Vincent L. Anderson retweetet
Jesse Genet
Jesse Genet@jessegenet·
My @openclaw spawned a new @openclaw agent on its machine AND got it talking in our comms platform without me touching the mac mini 🤯
English
68
12
334
20.3K
Vincent L. Anderson retweetet
Interesting AF
Interesting AF@interesting_aIl·
Guess that’s why they call them SIM CARDS
English
43
342
4.2K
1.4M
Vincent L. Anderson retweetet
naiive
naiive@naiivememe·
2035: and that was how I met your mother ...
English
184
358
4.8K
2.4M
Vincent L. Anderson retweetet
Kr$na
Kr$na@krishdotdev·
> Strong engineers build C. > C builds the foundations. > Foundations create leverage. > Leverage creates comfort. > Comfort creates Python. > Python creates AI. > AI creates vibe coding. > Vibe coding creates weak engineers. > Weak engineers create collapse. > Collapse creates strong engineers.
English
101
433
5.2K
234.1K
Vincent L. Anderson retweetet
James Lucas
James Lucas@JamesLucasIT·
Damn, this was animated in 1987
English
120
1.4K
16.6K
1.1M
Vincent L. Anderson
Vincent L. Anderson@VLEAnderson_·
x.com/i/grok/share/b… P approximately equals NP because a method which shows P=NP that works 99.999 repeating percent of the time is only more proof that P=/=NP
English
0
0
0
6
Vincent L. Anderson
Vincent L. Anderson@VLEAnderson_·
OH THANK GOD! brb mercy killing my CAR and Symphony set up
Math, Inc.@mathematics_inc

Today, at the @DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier. It is stronger, faster, and more cost-efficient than off-the-shelf alternatives. On FormalQualBench, running with a 4-hour timeout, it beats @HarmonicMath's Aristotle agent with no time limit. Users of OpenGauss can interact with it as much or as little as they want, can easily manage many subagents working in parallel, and can extend / modify / introspect OpenGauss because it is permissively open-source. OpenGauss was developed in close collaboration with maintainers of leading open-source AI tooling for Lean. Read the report and try it out:

English
0
0
1
46
Om
Om@Om_Codes_·
- Meet Gottfrid Svartholm - Co-founder of The Pirate Bay - A man who believed information should be free. - helped create the largest torrent site in the world - Handles millions of users - openly mocked powerful corporations - joked about moving servers to North Korea ,space ... just for fun 😭 - Servers were seized and site went down - came back in 3 days - kept changing domain constantly - treated lawsuits like free marketing 😭 - traffic actually spiked after raids - created loopholes and confused courts for years - once tried to buy a country, Sealand, a micronation, to escape copyright laws - designed server to be bulletproof - Governments from multiple countries tried to shut it down permanently but failed - inspire platforms like KickassTorrents and 1337x - became one of the most blocked websites in history yet undefeated - Even fans cloned the entire platform to keep it alive He was playing a cat-and-mouse game with the entire internet… And somehow, the mouse kept winning.
Om tweet mediaOm tweet media
English
546
3.9K
26.3K
1.5M