SpaceX Update on Martian Colonization

Comments (1)

d_silin · 2d ago

TL;DR - not much of an actual plan, more of a concept of a plan. A very aspirational schedule and major goals outlined tentatively. A lot more details need to filled in.

We have YT channel on many of those details: https://www.youtube.com/@exodusorbitals4092

RenderFormer: Neural Rendering of Triangle Meshes with Global Illumination (microsoft.github.io)

Precision Clock Mk IV (mitxela.com)

New Adaptive Optics Shows Details of Our Star's Atmosphere (nso.edu)

YOLO-World: Real-Time Open-Vocabulary Object Detection (arxiv.org)

Ovld – Efficient and featureful multiple dispatch for Python (github.com)

Progressive JSON (overreacted.io)

Oniux: Kernel-level Tor isolation for any Linux app (blog.torproject.org)

CCD co-inventor George E. Smith dies at 95 (nytimes.com)

Enhancing MySQL: MySQL improvement project (github.com)

A Lean companion to Analysis I (terrytao.wordpress.com)

Show HN: Patio – Rent tools, learn DIY, reduce waste (patio.so)

Sguaba: Hard-to-misuse rigid body transforms for engineers (blog.helsing.ai)

Of course the Apple Network Server can be hacked into running Doom (oldvcr.blogspot.com)

UK's Vertical VX4 eVTOL flies outside Kemble circuit for first time (flyer.co.uk)

Oxfordshire clock still keeping village on time after 500 years (bbc.com)

The NFS 4 Freezer Spacer In Science Fiction Sets (kolektiva.social)

The Evolution of Software Development: From Machine Code to AI Orchestration (guptadeepak.com)

The Rise of the Japanese Toilet (nytimes.com)

Plutonium Powered Pacemaker (From 1974) (orau.org)

Quantum Computing and the Hidden Subgroup Problem (daniellowengrub.com)

Show HN: AI Peer Reviewer – Multiagent system for scientific manuscript analysis (github.com)

AtomVM, the Erlang virtual machine for IoT devices (atomvm.net)

My five-year experiment with UTC (timestripe.com)

Show HN: PunchCard Key Backup (github.com)

Using lots of little tools to aggressively reject the bots (lambdacreate.com)

Stepping Back (rjp.io)

Webb telescope helps refine Hubble constant (phys.org)

Ask HN: Anyone making a living from a paid API?

Using Ed(1) as My Static Site Generator (aartaka.me)

Surprisingly fast AI-generated kernels we didn't mean to publish yet (crfm.stanford.edu)

Beware of Fast-Math (simonbyrne.github.io)

Every 5x5 Nonogram (pixelogic.app)

Designing Pareto-optimal RAG workflows with syftr (datarobot.com)

Photos taken inside musical instruments (dpreview.com)

The Two Ideals of Fields (susam.net)

Gradients Are the New Intervals (mattkeeter.com)

Show HN: Open-source P2P file transfer (github.com)

From Clocks to Chaos: The Rhythms of Life (press.princeton.edu)

Toxic Proteins for Drug Discovery (asimov.press)

C++ to Rust Phrasebook (cel.cs.brown.edu)

The Trackers and SDKs in ChatGPT, Claude, Grok and Perplexity (jamesoclaire.com)

Beating Google's kernelCTF PoW using AVX512 (anemato.de)

Show HN: Fontofweb – Discover Fonts Used on a Website or Websites Using Font(s) (fontofweb.com)

Atlas: Learning to Optimally Memorize the Context at Test Time (arxiv.org)

Exploring a Language Runtime with Bpftrace (mgaudet.ca)

AccessOwl (YC S22) is hiring an AI TypeScript Engineer to connect 100s of SaaS (ycombinator.com)

Microsandbox: Virtual Machines that feel and perform like containers (github.com)

Searching for Autograms (curiosityarb.blog)

The Illusion of Causality in Charts (filwd.substack.com)

Show HN: Icepi Zero – The FPGA Raspberry Pi Zero Equivalent (github.com)

SpaceX Update on Martian Colonization

Comments (1)