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
AI
-
Google and Lund University’s Optimus Learns Optimization Architecture
By
–
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
–
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 -
Recent papers on LLMs for formal mathematics and theorem proving
By
–
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 -
PDEArena Benchmarking and FNO Architectural Improvements in PyTorch
By
–
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 -
Oracle Remains Relevant Despite Legacy Database Claims
By
–
Hacker News: "Nobody uses Oracle anymore, it's just a legacy database" Oracle:
-
Early ML Extraction Story: Manager Unhappy with 95% Accuracy
By
–
Story from the early days of ML in information extraction:
Manager: So how good is your ML-based extractor?
Engineer: 95% accurate.
Manager: How dare you? Don't come back until you've debugged it. -
Computer Science Enrollment: Cyclical Panic About Technology Disruption
By
–
Computer science enrollment trends:
2005: Plummets because all coding will be outsourced to India.
2015: Reaches new peak.
2025: Plummets because all coding will be done by AI.
2035: Reaches new peak. -
CICERO by Meta AI Team Reddit AMA Tomorrow at 10am PT
By
–
Don’t miss it, tomorrow the team will be answering your questions on Reddit — our #CICERObyMetaAI AMA starts at 10am PT. Ask us anything!
