Brian Beckman @lorentzframe

Astrophysicist, GSI Technology Fellow, Ex-Amazon, Ex-Microsft, Ex-NASA/JPL rebcabin.github.com Joined March 2009

Tweets

1K
Followers

2K
Following

212
Likes

2K

Brian Beckman @lorentzframe

2 years ago

Travesties for Logic and for Types community.wolfram.com/groups/-/m/t/3…

0 1 10 2K 5

Brian Beckman @lorentzframe

2 years ago

nice derivation of Planck's radiation law from first principles, 19th-century style thecuriousastronomer.wordpress.com/2016/01/07/der…

0 0 2 602 1

Overheard in the compiler commissary: "There are smart people who would rather work hard than think hard. We outsmart them by making them think they're working hard by working hard to save them from thinking hard."

0 0 3 537 1

TeX and Typography @TeXtip

2 years ago

The margins aren't too wide, the paper's too big. johndcook.com/blog/2012/09/1…

0 5 27 8K 2

Brian Beckman @lorentzframe

2 years ago

My latest Staff Pick at Wolfram Community: Algebraic Travesties, or How to Generate Random Algebra Expressions from a grammar :) community.wolfram.com/groups/-/m/t/3…

0 0 2 372 0

Brian Beckman @lorentzframe

2 years ago

Why not power arctic data hypercenters with container-sized reactors? gao.gov/assets/gao-20-…

1 0 3 409 0

Signal Processing @DSP_fact

2 years ago

Unified theory of Fourier analysis johndcook.com/blog/2017/08/2…

0 4 18 3K 8

Topology Fact @TopologyFact

2 years ago

An unusual introduction to manifolds johndcook.com/blog/2023/12/2… "This tutorial offers a bridge between the abstract mathematics of manifolds and computational practice."

1 10 58 8K 38

Download Image

Hacker News Bot @newsycombinator

3 years ago

Beyond Functional Programming: The Verse Programming Language [pdf] simon.peytonjones.org/assets/pdfs/ha…

0 3 17 0 9

Brian Beckman @lorentzframe

3 years ago

Tech weekend: Free Mathematica in Jupyter (AT LAST!) nicoguaro.github.io/posts/wolfram_… and finally a good reason to use Coq; Emacs and Proof General WORKS GREAT! softwarefoundations.cis.upenn.edu. Almost no installation drama on a Mac M1. Amazing. Not in a very long time has "stuff" just worked.

0 0 5 0 0

Brian Beckman @lorentzframe

3 years ago

lambda semantics for all of Python? Well, someday. For now I got Scheme's BEGIN, LET*, LET, and LETREC going in pure Python. Long-term, all the rest of Lambda, the Pynultimate Imperative. github.com/rebcabin/rebca…

0 1 13 0 7

LFortran @lfortranorg

3 years ago

LFortran can now parse all of the Fortran code in SciPy (~0.5M lines) to AST (Abstract Syntax Tree). LFortran's been able to parse free-form code for about a year. But SciPy's Fortran code is in fixed-form, we wrote a recursive descent parser just to tokenize for Bison to parse.

4 26 158 0 10

Brian Beckman @lorentzframe

3 years ago

We decided to embed our new programming language in Python (1) don't burden users with gratuitoush syntactical innovations (2) Python has enough overloadable operators to support our semantical needs (3) automatically get great tooling & libraries; that's really the hard part.

3 4 20 0 1

Brian Beckman @lorentzframe

3 years ago

Falling down the memory rabbit-hole again: rebcabin.wordpress.com/2022/05/20/a-n…

0 0 1 0 0

Brian Beckman @lorentzframe

3 years ago

A New Method for Radices 16, 36, and 64 rebcabin.wordpress.com/2022/05/20/a-n…

0 0 0 0 0

Brian Beckman @lorentzframe

6 years ago

TIL that a millimeter is 9 nanodegrees of latitude to four decimal places ( 8.99928e-9; follows from def of nautical mile as 1 arc minute of latitude or exactly 1852 m ).