I keep finding myself with complaints about the available basic Lean 4 tutorials. I think that relying on `rfl` too early is not helpful. Also don’t love how typeclasses are brought in so quickly and how unfolding the instance definitions is so hairy.
Anthony Cowley
@acowley
- 589 Followers
- 373 Following
- 2.9K Posts
Functional roboticist.
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
OSS users being hostile to new users of the software is so bizarre. New users have questions, you think onboarding could be better to reduce those questions but aren’t able to (or don’t want to) invest in that onboarding, so you instead make it harder in order to discourage new users. What is that?
wohali
Yining Karl LiBattlefield 6's public level editor is... Godot. I guess they built a bunch of tooling to export from Godot to Frostbite. That's pretty cool!
https://www.reddit.com/r/godot/comments/1mea23b/you_will_be_building_maps_for_battlefield_6_in/
Ricardo B�nffyHas Brazil Invented the Future of Money? - Paul Krugman https://paulkrugman.substack.com/p/has-brazil-invented-the-future-of
bitluni is amazing: 160 RISC-V cores acting as a GPU on an NVME PCBA. The combination of discipline expertise and sheer grit is awesome! https://youtu.be/HRfbQJ6FdF0?si=mj2TRx2WsDsr8ued
I made a GPU at home
Something I don't understand about this story of lawyers using AI is why it matters that they used AI. If you have a process for dealing with incompetence or malpractice, then you're there.
Interesting comments on the GHC #Haskell proposal process. I don't think language proposals are like academic papers as the sense of authorship is very different. A paper is not going to be just the way *I’d* write it, and that’s totally fine! The author chose to emphasize different things. But a language change ends up being owned (maintained) by a larger group.
Some ideas to improve the GHC proposals process for GHC developers · Issue #706 · ghc-proposals/ghc-proposals
The GHC proposal process has been basically the same since it was started. It is a useful process to gather feedback about language changes, but there is also a great reluctance from many GHC devel...
Interesting look at using solar panels to provide shade for farmland. There’s a lot of benefit in that you help some crops while having your shade provider itself generate money, and in fact function better thanks to the crops it is helping. A limitation is that they’re looking at small scale farming here where the necessary up-front investment can be challenging. https://arstechnica.com/science/2025/07/in-the-southwest-solar-panels-in-can-help-both-photovoltaics-and-crops/
Vee
