AI - AI Dynamics

–

08 December 2022 2h51

still not cool that they own the trademark for Javascript tho

→ View original post on X — @montreal_ai

AI Debate 3 Reaches 14,694 Attendees, Aims for 100,000

By

@montreal_ai

–

08 December 2022 2h30

AI DEBATE 3: Already 14,694 Attendees! Let's make HISTORY. Let's reach 100,000 attendees: Invite your LinkedIn network to #AGIDebate ! LinkedIn: https://
linkedin.com/events/aidebat
e3-thisisthe2021debateth6796651928362221568/
… #AGI #AIDebate #MontrealAI #WeAreAGI

→ View original post on X — @animaanandkumar

Zero-shot Super-resolution Tests for Neural Operators Benchmark

By

@animaanandkumar

–

08 December 2022 2h16

But it is crucial to add zero-shot super-resolution tests. Neural operators can output at any resolution since they learn mappings between function spaces, but U-Nets cannot. Can u please add these tests to the benchmark? @rejuvyesh @jo_brandstetter

CockroachDB Alum Founder Launches New Venture

By

–

08 December 2022 1h57

you might think that they are ngmi but dont be fooled their founder is cockroachdb alum gmi

Historic Low Interest Rates and Economic Impact on Tech Sector

By

–

08 December 2022 1h55

yeah they are such suckers for borrowing money at the lowest interest rates we will see in our lifetimes

New Database Trends: TigerBeetle, Redpanda, DuckDB Dominate

By

–

08 December 2022 1h46

haha your “new DBs” are all like 4-5 years old… the hot stuff now is tigerbeetle redpanda and duckdb basically if your database doesnt have a animal name you are ngmi

→ View original post on X — @jiqizhixin

Google and Lund University’s Optimus Learns Optimization Architecture

By

@jiqizhixin

–

08 December 2022 1h18

Google & Lund U’s Optimus Learned Optimization Architecture Efficiently Captures Complex Dependencies https://
syncedreview.com/2022/12/07/goo
gle-lund-us-optimus-learned-optimization-architecture-efficiently-captures-complex-dependencies/
…

Oracle’s Enduring Lessons: Decades of Tech Business Wisdom

By

–

08 December 2022 1h01

Softwar is a fascinating book. everybody rags on Oracle as a law firm that happens to have a database but there are tons of decades-old lessons to learn from one of the most enduring tech companies of all time https://
share.transistor.fm/s/9313da64 also this

→ View original post on X — @guillaumelample

Recent papers on LLMs for formal mathematics and theorem proving

By

@guillaumelample

–

08 December 2022 1h00

We had two papers on this topic recently, one using a MCTS approach on formal systems (such as Lean or Metamath): https://
arxiv.org/abs/2205.11491 and one where we combine LLMs with formal provers to verify the generations: https://
arxiv.org/abs/2210.12283

→ View original post on X — @animaanandkumar

PDEArena Benchmarking and FNO Architectural Improvements in PyTorch

By

@animaanandkumar

–

08 December 2022 0h49

I agree. Great to see PDEArena as a convenient benchmarking environment for PDE in @pytorchlightnin Also great to see further architectural improvements to FNO by integrating it within U-Net like structure. Would be great if PINO can also be added https://
arxiv.org/abs/2111.03794