DriftRegion
I like the NLnet/German Sovereign Tech fund model that has emerged in the last few years. Maintainers go and apply for funds from these disbursers. The disbursers are not a software registry, instead their role is to provide accountability and traceability for taxpayer money to fund public internet infrastructure. My experience working with NLnet has been very positive.
I agree with the fine article's criticism that most companies don't pay, but also I think that's not as pressing of problem so long as tax-based funding is in place.
https://www.wsws.org/en/articles/2026/04/11/fqke-a11.html
https://scabusa.org/featured-researcher-bio/2024-Poster-Winn...
https://www.idsnews.com/article/2026/05/iu-roger-innes-biolo...
https://www.justice.gov/usao-sdin/pr/iu-biology-researcher-p...
https://www.justice.gov/usao-edmi/pr/chinese-nationals-charg...
https://abcnews.com/Politics/2-chinese-nationals-charged-smu...
Kola Superdeep Borehole
The software under test is always modeling something -- business logic, a communications protocol, a control algorithm, a standard, etc. Behind each of those things is a specification. If a specification doesn't exist then the software is called a prototype. For sustained long term incremental development a specification must exist.
The purpose of unit tests is to assert specification-defined invariants at the module interface level.
Unit tests are durable iff the specification they uphold is explicit and accessible to developers and the scope of the test is small. It's futile to write good tests for a module which has ambiguous utility.
priors: I worked in embedded SW and am now a PhD student.
Segmented Turning Designer
See also: TSMC in Phoenix
https://www.reddit.com/r/Semiconductors/comments/1m96m4f/my_...
Good design is so deeply tied to the domain details. Wonham's Internal Model Principle applies to code.
Example: I wanted to solve the problem of unit testing for embedded targets. I found open source projects that do this and read the code critically to see how and why it is written. As I build my own approach, I revisit theirs to learn more as my understanding of the domain deepens.
https://fashion.sina.cn/s/fo/2019-04-28/detail-ihvhiqax54682...
https://www.zhihu.com/question/337494558
https://zhidao.baidu.com/question/931153568796681979/answer/...
Type checking, borrow checking, invariants, hell even MISRA rules are all constraints imposed to reduce unmanaged state in programs. I like them for software reliability because they can help keep the complexity demon locked in the crystal.
> Dark-Sky 1 is jointly funded by DIU and Blue Origin. [5]
DIU is "The Pentagon’s commercial technology arm, the Defense Innovation Unit"
[1] https://www.blueorigin.com/news/blue-ring-pathfinder-payload
[2] https://www.diu.mil/latest/companies-selected-for-diu-orbita...
[3] https://www.meritalk.com/articles/diu-orbital-logistics-awar...
[4] https://www.geekwire.com/2024/blue-origin-ring-darksky-1/
[5] https://spacenews.com/defense-innovation-unit-awards-three-c...
I understand the policy around hydrogen (Bipartisan Infrastructure Law allocated $8 billion to hydrogen production) as a technological pivot for the United States which leads the world in oil and gas extraction and logistics tech. The US has a lot of gas handling experience.
Optimistically, green hydrogen will diversify the energy supply, bringing "energy resilience", a key policy buzzphrase. Batteries and pumped hydro are undeniably superior in round trip efficiency, but hydrogen does have some desirable properties such as relative ease of overland transport, very long term storage, and being a chemical precursor for some industrial processes.
Pessimistically, green hydrogen is a way for oil and gas companies to siphon many taxpayer dollars while doing superficial work similar to the compliance EVs of the 90s and 00s.
I'm optimistic mainly because my PhD in electrical engineering is being funded partly with the green hydrogen taxpayer dollars. Shout-out to my fellow taxpayers and my advisor's grant writing skills! I'm working on power electronics which are fundamental in renewable energy and by extension green hydrogen electrolysis.
> they had not asked me to explain git, they had asked me to explain GitHub
This is often the case for me as well.
Hey, at least git owns it by calling the shell commands "porcelain" (with git itself being the plumbing -- https://stackoverflow.com/questions/6976473/what-does-the-te... ).
The core value proposition of GitHub, GitLab, etc is to provide a nice GUI atop git. That's huge. I think that user-studies to improve one of the many existing foss git GUIs would be much better use of brain than deprecating git checkout.
What? how did people take things into their own hands?
Fertilizer? sure. Heating? maybe.
Cars? the infrastructure still has a long way to go. See https://www.reddit.com/r/Mirai/ for the deets.