Tibor Vass Profile
Tibor Vass

@tiborvass

Followers
1K
Following
6K
Media
234
Statuses
3K

funemployed, ex-Docker, interested in Go, Open Source, AI, Energy/Climate change, Education

San Francisco, CA
Joined May 2010
Don't wanna be here? Send us removal request.
@IntuitMachine
Carlos E. Perez
15 days
Here's a compelling thread about this economic discovery: Everyone "knows" the government is drowning in debt and will eventually go broke. Except... what if I told you the government's debt is literally your wealth? And that 91% of the "money printing" everyone panics about
8
3
16
@1000brainsproj
Thousand Brains Project
3 months
🔥 Want to understand how the neocortex builds intelligence? @ArtemKRSV made a great video on the Thousand Brains Theory, the foundation of everything we’re building at here Thousand Brains Project! 🎥 https://t.co/yPtog9c8by #Neuroscience #AI #ThousandBrains #Neocortex
1
6
37
@vkakerbeck
Viviane Clay
11 months
It finally happened! The @1000brainsproj is open-source 🚀 What does the future of AI look like? I am betting it will be sensorimotor 🦾 This is our first implementation of an AI system based closely on how the neocortex works 🧠
2
3
15
@ylecun
Yann LeCun
1 year
ZML: a high-performance AI inference stack that can parallelize and run deep learning systems on lots of different hardware. It's out of stealth, impressive, and open source.
26
231
2K
@tiborvass
Tibor Vass
1 year
The main reason I created my Twitter account in 2010 was for when I lived in Finland and decided to hook up @Aurora_Alerts to Skype so it would wake me up at night if solar activity was above a threshold.
0
0
2
@dagger_io
Dagger
2 years
Introducing Dagger Functions. https://t.co/nALoxEXrQc
3
43
144
@cpuguy83
@cpuguy83.bsky.social
2 years
There's also `BUILDX_EXPERIMENTAL=1 docker buildx debug`
@cpuguy83
@cpuguy83.bsky.social
2 years
BUILDX_EXPERIMENTAL=1 docker buildx build --invoke=/bin/sh ... To get a shell into your built (or failed to build) image. There's a whole debugging client in there.
0
2
5
@natfriedman
Nat Friedman
2 years
Ten months ago, we launched the Vesuvius Challenge to solve the ancient problem of the Herculaneum Papyri, a library of scrolls that were flash-fried by the eruption of Mount Vesuvius in 79 AD. Today we are overjoyed to announce that our crazy project has succeeded. After 2000
2K
15K
65K
@sollidnuclear
Johan Christian Sollid
2 years
🇩🇪 German finance minister rejects coal exit in 2030 if country lacks affordable energy 🤦 Welcome to the circus once again 🎪
@cleanenergywire
Clean Energy Wire
2 years
German finance minister rejects 2030 coal exit if country lacks affordable energy If it's unclear that energy will be available and affordable, "we should end the dreams of phasing out coal power in 2030," #Lindner said https://t.co/smwsZiIEPR
38
367
2K
@cleanenergywire
Clean Energy Wire
2 years
German finance minister rejects 2030 coal exit if country lacks affordable energy If it's unclear that energy will be available and affordable, "we should end the dreams of phasing out coal power in 2030," #Lindner said https://t.co/smwsZiIEPR
53
146
266
@tiborvass
Tibor Vass
2 years
Clearly the person in charge of closed captions @YouTube is monolingual. It’s very annoying to have to constantly change CC language to match the original language of a video. Maybe just add an “Original”/“Default” language?
1
0
2
@tiborvass
Tibor Vass
2 years
How is this dog levitating ? Meissner effect ? Diamagnetic ? Flux pinning? #supercondogtur
@contextdogs
out of context dogs
2 years
0
1
4
@tiborvass
Tibor Vass
2 years
Have you ever stopped and wondered how NUTS are Taylor series ? You approximate a function at some LOCAL point by taking successive derivatives at that point and yet with infinite iterations you get the ENTIRE function! (fine, not always, *Terms apply*, but still crazy!)
0
0
2
@LeonSimons8
Leon Simons 🌍
2 years
🔥🌍📈BREAKING @NASA 📈🌍🔥 The Earth's Energy Imbalance from NASA satellite data reached 1.97 W/m² (12-month mean)!! I called this the most important graph in the world. This helps to explain all the records currently being broken around the word! 1/
307
2K
4K
@tiborvass
Tibor Vass
2 years
If the macro structures of the universe evolved from the random quantum fluctuations of the early universe, AND that there is no true randomness, only an unknown Random Number Generator, then MAYBE the seed of that RNG is 42.
0
0
3
@KaiyuYang4
Kaiyu Yang
2 years
Can LLMs generate mathematical proofs that can be rigorously checked? We release LeanDojo ( https://t.co/OGKttlGvmz): an open-source playground consisting of toolkits, benchmarks, and models for LLMs to prove formal theorems in the Lean proof assistant. Key features: - Tools for
36
437
2K
@tiborvass
Tibor Vass
2 years
The speed up brought by the logarithmic revolution was exponential.
1
0
2
@tiborvass
Tibor Vass
3 years
ChatGPT: "I have exhausted the list of unconventional methods that I can think of to meet your specific requirements." Is it me or is this the first time an AI tells me "I don't know" ? #achievementUnlocked
0
1
4
@_AkihiroSuda_
Akihiro Suda (@[email protected])
3 years
Wrote a recap of my presentation at FOSDEM: Bit-for-bit reproducible builds with Dockerfile https://t.co/Ise0ElnZ5f
Tweet card summary image
medium.com
At FOSDEM last month, I talked about the current status of bit-for-bit reproducible builds with Dockerfile:
0
24
55