Viewing profile — madmax96

This is exactly what model-based systems engineering tools like SysML v2 are designed for. Model-based systems engineering aims to generate _all_ engineering artifacts from a forma…

Came here to say pretty much this. Hardware seems more valuable than a model. I think AI could be commoditized. Look at DeepSeek stealing OpenAI's model. Look at the competitive pe…

Is bandwidth the limiting factor or is it ping?

Granted, it’s not restrictive if you only want to use Nix for general utilities and Unix libraries. But it’s extremely restricting if you want to use Nix to manage macOS apps. And …

I love nix on macOS. But one word of caution: nix uses a very outdated, EOL’d, macOS SDK ( https://github.com/NixOS/nixpkgs/issues/101229 ).

This post contains a number of statements that mislead the reader into believing that we are overreacting to memory safety bugs. For example: > An oft-quoted number is that “70%” o…

>For methods modifying internal state, I think you’ll have a hard time with the assertion that “purity is easier to reason about”. Modeling the method that modifies internal state …

>Prove it. Proofs are good evidence that pure functions are easier to reason about. Many proof assistants (Coq, Lean, F*) use the Calculus of Inductive Constructions, a language th…

Dependently typed languages make it even better. For example, in Lean4: def myDiv (numerator : Nat) {denominator : Nat} (denominatorNotZero : denominator ≠ 0) : Nat := if denominat…

It doesn’t matter if students know what to expect. An oral exam isn’t the same as reading a written exam out loud. There are a set of learning outcomes defined in the syllabus. The…

Why does Ubuntu almost always perform better on the vec GPU benchmarks but not the scalar benchmarks? Is there a trade off here?

The whole situation is really confusing. Some people already ``adjust'' their names for a Western audience, and others don't. So, given the of a Japanese person, I don't know if is…

Even dynamically typed languages like CL have type systems. However, CL implementations are under no obligation to statically check that a program is type-safe. Those checks are de…

Airbnbs only make sense in rural areas. Hotels are more competitive in terms of price and location inside of cities. Cities have enough to do that I don’t want to be inside of my r…

Nice article. I discovered this myself recently, but in a slightly different context: Taking the union of two sets represented as arrays. To my surprise, sorting the arrays and ite…

>And before you mention the 3rd world needs crypto as a "usecase" I'm an American. I got into crypto completely by accident. I needed to quickly send a large amount of cash to a fa…

>It seems plausible to me that the price elasticity of demand[1] for eggs is small Agreed. >If the prices jumped by 60%, and now the shelves were full of an abundance of expensive …

>Egg supply is down Egg production fell 6.6% [1]. Egg prices rose 60%. The author knows exactly how markets work: Prices are high because there is not enough competition. Cal-Maine…

This is not a completely hashed-out thought. But I'll share it and see what others think. My impression is that the simplest way to improve energy efficiency is to simplify hardwar…

I do agree. But being able to combine old ideas in new ways is also intelligence. LLMs have memorized a ton of information, and learned “information combinators” to compose them. A…

When I ask the question, what I really mean is ``is there a mechanical structure that guarantees the correct output?'' For example, we can train neural networks to perform function…