Articles by ot
168

Muse Spark 1.1 (meta.com)

1

Exposing the Solid State Donut Battery. It's over [video] (youtube.com)

34

The Tax of Living in a Low-Trust Society: How Collapsed Trust Costs You (yourbrainonmoney.substack.com)

1

The Story of VaccinateCA (worksinprogress.co)

2

Max/MSP external for running neural amplifier captures (github.com/apresta)

2

Elon Musk's court battle with Sam Altman exposes Silicon Valley secrets (washingtonpost.com)

1

Generate evolving textures by blending images (github.com/apresta)

1

Apache Iggy's migration to thread-per-core architecture powered by io_uring (apache.org)

3

The Anthropic Hive Mind (steve-yegge.medium.com)

1

Designing AI resistant technical evaluations (anthropic.com)

4

Meta Superintelligence – Leadership Compute, Talent, and Data (semianalysis.com)

1

Formalizing a proof in Lean using Github copilot and canonical [video] (youtube.com)

1

Qwen3 Embedding: Advancing Text Embedding and Reranking with Foundation Models (arxiv.org)

1

Sushi Roll: A CPU research kernel for micro-architectural introspection (2019) (gamozolabs.github.io)

3

Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org)

2

Linear scalable read-write lock (uvdn7.github.io)

5

Apple airlifts 600 tons of iPhones from India 'to beat' Trump tariffs (reuters.com)

8

Trump signs order to establish a sovereign wealth fund that could buy TikTok (cnbc.com)

2

Strobelight: A profiling service built on open source technology (fb.com)

2

AWS re:Invent 2024 – Dive deep on Amazon S3 [video] (youtube.com)

1

Stack-based graph traversal ≠ depth first search (11011110.github.io)

4

Why So Few Matt Levines? (gwern.net)

1

Boeing Starliner returning empty, NASA to use SpaceX to get astronauts (cnbc.com)

2

Uv: An fast Python package and project manager, written in Rust (github.com/astral-sh)

22

Twitter Takeover Is Now the Worst Buyout for Banks Since the Financial Crisis (wsj.com)

1

The Greenwich Meridian is in the wrong place [video] (youtube.com)

2

Design doesn't have to end like this (jovo.design)

1

Meta 2Q'24 Update (mbi-deepdives.com)

1

Bing Generative Search (bing.com)

2

Phi-3 fine-tuning, new generative AI models (microsoft.com)

1

We're Testing SearchGPT (twitter.com/openai)

1

Forward? Error? Correction? (quic.video)

36

Formal methods: Just good engineering practice? (brooker.co.za)

32

Mike Krieger: I've joined AnthropicAI as their Chief Product Officer (threads.net)

1

Formal Methods: Just Good Engineering Practice? (brooker.co.za)

3

webgraph-rs: a Rust port of the WebGraph framework (github.com/vigna)

2

Looking for AI Use-Cases (ben-evans.com)

45

New Assistant: Meta AI, Built with Llama 3 (fb.com)

1

Async C++/Rust Interoperability (medium.com/aidagetoeva)

1

Ray Cat (wikipedia.org)

1

Meta previews 'Fediverse sharing' for Threads (engadget.com)

5

Norfolk County Council beats Apple in £385M iPhone row (bbc.com)

1

How a cheap, generic drug became a darling of longevity enthusiasts (washingtonpost.com)

3

Gemma.cpp: lightweight, standalone C++ inference engine for Gemma models (github.com/google)

2

Every Linux bug fix will get a CVE regardless of security impact (twitter.com/chompie1337)

1

A suite of AI language translation models that preserve expression (meta.com)

57

Emu Video and Emu Edit, our latest generative AI research milestones (meta.com)

46

Intel QuickAssist Technology Zstandard Plugin for Zstandard (intel.com)

9

Immortal Objects for Python (fb.com)

3

Meta's quick Threads launch to rival Twitter – and what's next (washingtonpost.com)

7

Did Facebook fuel political polarization in the 2020 election? It’s complicated (arstechnica.com)

10

Twitter's Dying. Time to Drop the News Paywalls (bloomberg.com)

3

A Tour Around Buck2, Meta's New Build System (tweag.io)

113

Meta developer tools: Working at scale (fb.com)

2

A Concurrency Cost Hierarchy (travisdowns.github.io)

2

Could GPT help with dating anxiety? (scottaaronson.blog)

2

A Concurrency Cost Hierarchy (travisdowns.github.io)

1

Pixel Fold is nearly here (store.google.com)

4

Testing the Performance of ClickHouse (clickhouse.com)

1

A new, unique AI dataset for animating amateur drawings (facebook.com)

3

C++23's New Fold Algorithms (microsoft.com)

1

AI Goes to the Shrink (unimi.it)

2

A Concurrency Cost Hierarchy (travisdowns.github.io)

1

Abseil / SWE Book Freely Available (abseil.io)

1

HyperReel: High-Fidelity 6-DoF Video with Ray-Conditioned Sampling (hyperreel.github.io)

3

Sapling SCM from Meta (sapling-scm.com)

2

MultiRay: Optimizing efficiency for large-scale AI models (facebook.com)

2

The radix 2^51 trick (chosenplaintext.ca)

1

How does a pipe organ work? (youtube.com)

1

Chris Lattner: Linux Kernel Orb: KORBit (2000) (linuxtoday.com)

18

PyTorch strengthens its governance by joining the Linux Foundation

0

Miniselect: Practical and Generic Selection Algorithms (2020)