Where's that? :D
491 karma · joined February 23, 2020
lucas dot a dot morton at [remove this] protonmail dot com
Where's that? :D
Another source says: "Setting the capital cost of the fusion-specific technology to zero results in a LCOE of 72 $/MWh, which borders current prices for renewables, but is clearly physically implausible."[1]
[0] https://www.sciencedirect.com/science/article/pii/S036054421... [1] https://arxiv.org/abs/2101.05727
Edit: but that was only after I had grokked Shannon's paper on information theory, which I felt was pretty intuitive.
https://thegradient.pub/gpt2-and-the-nature-of-intelligence/
I don't hold out much hope for a practical, economical reactor from inertial confinement, but it's certainly exciting to see them achieve ignition & scientific breakeven, even if it's 10 years behind schedule. The one nice thing about ICF is that the energy gain shoots up dramatically once you cross the ignition threshold. That means they're arguably closer than tokamaks, even though both concepts need ~100x the demonstrated gain to get from where they are now to a workable reactor. (Ie, tokamaks have hit Q~0.3, need to get Q~30, vs ICF that has hit Q~1, needs Q~100).
I would love to see a two-stage pipeline using a LLM to convert natural language specifications into formal specifications for something like Dafny, and then follow up with another model like AlphaZero that would generate code & assertions to help the verifier. This seems like something that a major group like DeepMind or OpenAI could pull off in a few years.
"As a manager, your job is that of a bullshit umbrella. You need to decide what crap your team needs to deal with and what crap can be ignored." https://randsinrepose.com/archives/managementese/
Leaders are shock-absorbers: https://www.edbatista.com/2022/10/leader-as-shock-absorber.h...
Leaders need to ensure alignment: "[Manager's] goals do not automatically become their employees' goals. On the contrary, much or most of a manager's job is to align these goals." http://yosefk.com/blog/people-can-read-their-managers-mind.h...
OK, maybe it doesn't help people build on the proof, but does it help computers build on the proof? Why does it have to come back to human understanding? Maybe it's not possible right now for computers to generalize proof strategies, but I wouldn't bet against it becoming possible down the road.
[0] https://heteroskedasticblog.wordpress.com/2021/12/04/softwar...
[1] https://erikbern.com/2019/04/15/why-software-projects-take-l...
Frankly, I feel like making the metadata of a scientific data structure human-editable is something of a mis-feature, or at best a non-feature. I use metadata in HDF5 files as a form of provenance tracking and I'd rather there be some friction to editing it.
[0] https://asdf-standard.readthedocs.io/en/1.0.3/intro.html
[0] www.rbsp.info/rbs/PDF/aiaa05.pdf
The major issues I can see are (1) achieving sufficient efficiency at a reasonable cost, by recycling the low-energy photons instead of absorbing them as heat (2) avoiding radiation damage to this sophisticated device - maybe this isn't too hard with a liquid salt heat exchanger?
- Mathematics: A Human Endeavor - Elementary Algebra
They are peppered with cartoons (especially B.C.) and have lots of real-world motivation. I definitely recommend them for your kids if you have the choice.
[0] https://dothemath.ucsd.edu/2011/07/galactic-scale-energy/