MobNet @MobNet11

No bio Joined January 2021

Tweets

24
Followers

3
Following

250
Likes

6

Mate Soos @SoosMate

3 years ago

ApproxMC got a little faster...

1 2 19 0 0

Download Image

Two teams compete. Team A uses modern SAT solvers on a 20-year-old computer. Team B uses 20-year-old SAT solvers on a modern computer. Who solves more problem instances? New @cp2020conf paper ➡️arxiv.org/pdf/2008.02215… ➡️doi.org/10.1007/978-3-… Funded by @FWF_at @WWTF

10 158 467 0 47

Download Image

Armin Biere @ArminBiere

5 years ago

SAT solvers get faster and faster: all-time winners of the SAT Competition on 2020 instances, featuring our new solver Kissat (fmv.jku.at/kissat), which won in 2020. The web page also has runtime CDFs for 2011 and 2019.

4 63 329 0 24

Download Image

Serokell @serokell

7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI

Computer Science professor @UMich, security researcher, computer architect, entrepreneur, dad, friend, gamer, one who loves loving things!

Todd Austin @ToddMAustin

2K Followers 2K Following Computer Science professor @UMich, security researcher, computer architect, entrepreneur, dad, friend, gamer, one who loves loving things!

yinyang-project @testsmtsolvers

410 Followers 413 Following Regular tweets on interesting bugs in the SMT solvers Z3 and CVC4 (@cvc5_solver) Tool: https://t.co/yg7OJwFw7y

We are building a world class AI R&D company in Tokyo. We want to develop AI solutions for Japan’s needs, and democratize AI in Japan. https://t.co/1q07mb3TzE

Sakana AI @SakanaAILabs

54K Followers 0 Following We are building a world class AI R&D company in Tokyo. We want to develop AI solutions for Japan’s needs, and democratize AI in Japan. https://t.co/1q07mb3TzE

Ross Taylor @rosstaylor90

10K Followers 1K Following Universal intelligence at @GenReasoning. Previously lots of other things like: Llama 3/2, Galactica, Papers with Code.

Ndea @ndea

8K Followers 78 Following A new intelligence science lab founded by @fchollet & @mikeknoop.

Harvard Professor.
Full stack ML and AI.
Co-director of the Kempner Institute for the Study of Artificial and Natural Intelligence.

Sham Kakade @ShamKakade6

16K Followers 495 Following Harvard Professor. Full stack ML and AI. Co-director of the Kempner Institute for the Study of Artificial and Natural Intelligence.

Alexandr Wang @alexandr_wang

327K Followers 833 Following chief ai officer @meta, founder @scale_ai. rational in the fullness of time

Gabriel Peyré @gabrielpeyre

102K Followers 453 Following @CNRS researcher at @ENS_ULM. One tweet a day on computational mathematics.

DeepSeek @deepseek_ai

973K Followers 0 Following Unravel the mystery of AGI with curiosity. Answer the essential question with long-termism.

HackerNewsTop5 @hackernewstop5

327 Followers 161 Following Hacker News Top 5

Transforming AI with efficiency, security, and sovereignty - driven by our relentless pursuit of intelligence. Explore our AI solutions: https://t.co/KqFZFRVyq2

SambaNova @SambaNovaAI

44K Followers 797 Following Transforming AI with efficiency, security, and sovereignty - driven by our relentless pursuit of intelligence. Explore our AI solutions: https://t.co/KqFZFRVyq2

Cerebras @CerebrasSystems

35K Followers 255 Following The world's fastest AI inference and training. Try the latest open models at: https://t.co/jREGhLI2nj

Invented principles of meta-learning (1987), GANs (1990), Transformers (1991), very deep learning (1991), etc. Our AI is used many billions of times every day.

Jürgen Schmidhuber @SchmidhuberAI

163K Followers 0 Following Invented principles of meta-learning (1987), GANs (1990), Transformers (1991), very deep learning (1991), etc. Our AI is used many billions of times every day.

François Fleuret @francoisfleuret

45K Followers 487 Following Research Scientist @meta (FAIR), Prof. @Unige_en, co-founder @nc_shape. I like reality.

I lead @Cohere_Labs. Formerly Research @Google Brain @GoogleDeepmind. ML Efficiency at scale, LLMs, ML reliability. Changing spaces where breakthroughs happen.

Sara Hooker @sarahookr

49K Followers 9K Following I lead @Cohere_Labs. Formerly Research @Google Brain @GoogleDeepmind. ML Efficiency at scale, LLMs, ML reliability. Changing spaces where breakthroughs happen.

Yi-01.AI @01AI_Yi

9K Followers 74 Following A global company building generative AI LLM and applications

Sam Altman @sama

4.0M Followers 966 Following AI is cool i guess

OpenAI’s mission is to ensure that artificial general intelligence benefits all of humanity. We’re hiring: https://t.co/dJGr6Lg202

OpenAI @OpenAI

4.3M Followers 3 Following OpenAI’s mission is to ensure that artificial general intelligence benefits all of humanity. We’re hiring: https://t.co/dJGr6Lg202

Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.

Andrej Karpathy @karpathy

1.4M Followers 1K Following Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.

Eureka Labs @EurekaLabsAI

73K Followers 1 Following We are building a new kind of school that is AI native.

François Chollet @fchollet

572K Followers 813 Following Co-founder @ndea. Co-founder @arcprize. Creator of Keras and ARC-AGI. Author of 'Deep Learning with Python'.

Siraj Raval @sirajraval

63K Followers 1K Following Taught 1M people AI before ChatGPT. Building what tutorials won't teach you. The OG vibe coder

The Bisqwit．Free software author．YouTuber．Founder of @TASVideos．ROM hacker．C++, Hebraic Roots & #IsraeliFolkDance teacher. @Persut /FinnsParty member. 🇫🇮🇮🇱.

Joel Yliluoma @RealBisqwit

6K Followers 99 Following The Bisqwit．Free software author．YouTuber．Founder of @TASVideos．ROM hacker．C++, Hebraic Roots & #IsraeliFolkDance teacher. @Persut /FinnsParty member. 🇫🇮🇮🇱.

Professor in CS, Indian Institute of Science. Founder, PolyMage Labs. Compilers, ML/AI systems, and HPC: automatic, fast, and parallel.

Uday Bondhugula @ukrb84

432 Followers 42 Following Professor in CS, Indian Institute of Science. Founder, PolyMage Labs. Compilers, ML/AI systems, and HPC: automatic, fast, and parallel.

Ukraine / Украї�... @Ukraine

2.2M Followers 28 Following Yes, this is the official X account of Ukraine. Офіційний акаунт твоєї Неньки.

Vulnerability researcher at Google. This is a personal stream, opinions expressed are mine. I'm also @taviso@social.sdf.org

Tavis Ormandy @taviso

130K Followers 631 Following Vulnerability researcher at Google. This is a personal stream, opinions expressed are mine. I'm also @[email protected]

Björkus 'No time_t t... @__phantomderp

13K Followers 2K Following The C Standard Cannot Be Replaced And Will Never Be Destroyed. ➡ https://t.co/IWEB4XZpve | Avatar @KIINGKIISMET | Banner @Reckless_Moss

Sepp Hochreiter @HochreiterSepp

14K Followers 376 Following Pioneer of Deep Learning and known for vanishing gradient and the LSTM.

Sergey Slotin @sergey_slotin

1K Followers 518 Following I'm teaching sand to think. He/он/er/él/il/他

Georgy Evtushenko @g_evtushenko

642 Followers 204 Following Member of CUDA C++ Core Libraries team @nvidia. Opinions are my own.

💖 ➞ λ: CS PhD, into compiler design, programming languages, music, simulation, ML/AI, robotics. Follow me code code reviews, stock picks and dating advice.

Maxime Chevalier @Love2Code

18K Followers 286 Following 💖 ➞ λ: CS PhD, into compiler design, programming languages, music, simulation, ML/AI, robotics. Follow me code code reviews, stock picks and dating advice.

Volodymyr Zelenskyy /... @ZelenskyyUa

8.2M Followers 1 Following President of Ukraine / Президент України

True stories from the dark side of the Internet. Host @jackrhysider.

New episodes released on the first Tuesday of each month.
Discord: https://t.co/bZZRR8C59R

Darknet Diaries @DarknetDiaries

124K Followers 1 Following True stories from the dark side of the Internet. Host @jackrhysider. New episodes released on the first Tuesday of each month. Discord: https://t.co/bZZRR8C59R

Jack Rhysider 🏴‍... @JackRhysider

164K Followers 4K Following Creator of @DarknetDiaries. Tell me a good hacker story. 💻🔦⤵️🐰🕳️ Discord: https://t.co/qxanMuJ5X2

Narendra Patwardhan @overlordayn

102 Followers 333 Following AI Researcher focused on creating performant yet sustainable models. Developing Radix CI.

James Bradbury @jekbradbury

13K Followers 9K Following Compute at @AnthropicAI! Previously JAX, TPUs, and LLMs at Google, MetaMind/@SFResearch, @Stanford Linguistics, @Caixin.

Joshua Achiam @jachiam0

22K Followers 1K Following Freedom, flourishing, and abundance. Head of Mission Alignment at @openai. Main author of https://t.co/cKuSh21yaz

Research@Together.AI (ex-Google Brain, OpenAI, Meta)
New Blog: https://t.co/SLix8Hrt4w
Old Blog: https://t.co/Ur3GWKpmp6

Yaroslav Bulatov @yaroslavvb

8K Followers 929 Following [email protected] (ex-Google Brain, OpenAI, Meta) New Blog: https://t.co/SLix8Hrt4w Old Blog: https://t.co/Ur3GWKpmp6

Oscar Riveros @maxtuno

55 Followers 67 Following Aspie Girl

High performance computing on graphics processing units (GPU): AMD/ATI, nVidia, Intel Xeon Phi, CUDA, OpenCL, OpenGL, GPGPU, HPC

HGPU group @hgpu

3K Followers 119 Following High performance computing on graphics processing units (GPU): AMD/ATI, nVidia, Intel Xeon Phi, CUDA, OpenCL, OpenGL, GPGPU, HPC

All things AI for developers from @NVIDIA.

Additional developer channels: @NVIDIADeveloper, @NVIDIAHPCDev, and @NVIDIAGameDev.

NVIDIA AI Developer @NVIDIAAIDev

81K Followers 321 Following All things AI for developers from @NVIDIA. Additional developer channels: @NVIDIADeveloper, @NVIDIAHPCDev, and @NVIDIAGameDev.

Deep learning R&D: https://t.co/cGBcDU8wJ9;
Education: https://t.co/bNXBttRAuR;
Software: https://t.co/0z7Ws3SHDt;
Book: https://t.co/lVEDyioBtg;
@math_rachel @jeremyphoward

fast.ai @fastdotai

128K Followers 17 Following Deep learning R&D: https://t.co/cGBcDU8wJ9; Education: https://t.co/bNXBttRAuR; Software: https://t.co/0z7Ws3SHDt; Book: https://t.co/lVEDyioBtg; @math_rachel @jeremyphoward

🇦🇺 Co-founder: @AnswerDotAI & @FastDotAI ;
Prev: professor @ UQ; Stanford fellow; @kaggle president; @fastmail/@enlitic/etc founder
https://t.co/16UBFTX7mo

Jeremy Howard @jeremyphoward

260K Followers 6K Following 🇦🇺 Co-founder: @AnswerDotAI & @FastDotAI ; Prev: professor @ UQ; Stanford fellow; @kaggle president; @fastmail/@enlitic/etc founder https://t.co/16UBFTX7mo

NVIDIA AI @NVIDIAAI

237K Followers 793 Following The latest breakthroughs and the future of AI for business leaders.

Saurabh Joshi (@sbjos... @sbjoshi

528 Followers 160 Following * Retweets ≠ endorsement * Views are personal

Byron Cook @byroncook

2K Followers 8 Following logic, math, proof, computation

Lean @leanprover

6K Followers 46 Following Lean is a dependently-typed programming language and theorem prover.

Math prof. Author of long-form textbooks on proofs (https://t.co/YqXnxDmOe0), real analysis (https://t.co/3IGQ6BIx5Z) & math history (https://t.co/KkXMGTxCDK).

Jay Cummings @LongFormMath

44K Followers 598 Following Math prof. Author of long-form textbooks on proofs (https://t.co/YqXnxDmOe0), real analysis (https://t.co/3IGQ6BIx5Z) & math history (https://t.co/KkXMGTxCDK).

Paul Khuong (pkhuong@... @pkhuong

2K Followers 846 Following Failed dentist, causer of situations. Removing the stupid to make room for my own mistakes. Views are my own, etc., etc.

CVC4 is an efficient open-source SMT solver. It is a joint project led by Stanford University and the University of Iowa.

CVC4 @CVC4Solver

183 Followers 15 Following CVC4 is an efficient open-source SMT solver. It is a joint project led by Stanford University and the University of Iowa.

#InfoSec University Professor @ #TUGraz. #meltdown, #spectre, #rowhammer, cache attacks, sustainable security. Produced a side channel security sitcom.

Daniel Gruss @lavados

9K Followers 529 Following #InfoSec University Professor @ #TUGraz. #meltdown, #spectre, #rowhammer, cache attacks, sustainable security. Produced a side channel security sitcom.

WhileyDave@hachyderm.io | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own.

David J. Pearce @whileydave

1K Followers 3K Following [email protected] | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own.

No recent Favorites. New Favorites will appear here.