madmax96

6 ms·

1.
by madmax96 7mo ago
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 formal model. Imagine it -- security policies, infrastructure, et
2.
by madmax96 1y ago
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 performance between Claude, ChatGPT, Grok, and Gemini.
3.
by madmax96 2y ago
Is bandwidth the limiting factor or is it ping?
4.
by madmax96 2y ago
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, so of course I want to do that :) Thanks for pos
5.
by madmax96 2y ago
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 ).
6.
by madmax96 3y ago
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%” of programming language-caused CVEs (reported security vul
7.
by madmax96 3y ago
>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 as a function from old state to new state is the simplest
8.
by madmax96 3y ago
>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 that only has pure, total functions, as their theoretical f
9.
by madmax96 3y ago
Dependently typed languages make it even better. For example, in Lean4: def myDiv (numerator : Nat) {denominator : Nat} (denominatorNotZero : denominator ≠ 0) : Nat := if denominator > numerator then 0 else 1
10.
by madmax96 3y ago
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 examiner uses the learning outcomes to ask probing question
11.
by madmax96 3y ago
Why does Ubuntu almost always perform better on the vec GPU benchmarks but not the scalar benchmarks? Is there a trade off here?
12.
by madmax96 3y ago
The whole situation is really confusing. Some people already ``adjust'' their names for a Western audience, and others don't. So, given the <name 1> <name 2> of a Japanese person, I don't know if <name 1&g
13.
Rust: Generics Considered Colorful(maxtaylor.dev)
3 points by madmax96 3y ago|0 comments
14.
A Concept and Template Metaprogramming Approach to Session Types in C++(maxtaylor.dev)
1 points by madmax96 3y ago|0 comments
15.
by madmax96 3y ago
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 deferred until run time — hence the author’s complaints.
16.
by madmax96 3y ago
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 room that much during my trip, so space and TV simply don’t m
17.
Using F* to Formally Verify Programs(maxtaylor.dev)
1 points by madmax96 3y ago|0 comments
18.
by madmax96 3y ago
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 iteratively computing their union was faster than a hashset. Ot
19.
by madmax96 3y ago
>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 family member out-of-state. I couldn'
20.
by madmax96 4y ago
>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 eggs, that would be suggestive that the reason for the
21.
by madmax96 4y ago
>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 is tricking people into tolerating higher prices by loud
22.
by madmax96 4y ago
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 hardware. Silicon is spent isolating software, etc. Time is sp
23.
by madmax96 4y ago
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. All that’s missing is a clean way for LLMs to engage in the s
24.
by madmax96 4y ago
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 functions such as "and", "xor", etc.,
25.
A Lisp REPL Inside ChatGPT(maxtaylor.dev)
10 points by madmax96 4y ago|4 comments
26.
by madmax96 4y ago
Is it wise to compare spending within defense budgets between these countries? Much AI research in the US is conducted by private firms. How does the current defense budget compare to historical defense budgets, such as during the early day
27.
by madmax96 4y ago
I switched from Firefox to Chrome several years ago. After the announcement of the planned changes, I tried switching back to Firefox. I just couldn't stick with it -- Chromium-based browsers are faster (e.g., [1]). I decided to give B
28.
by madmax96 4y ago
There is a funny notion that professors work for students. They don't. They hardly even work for the university. It is more correct to say that they are affiliated with the university. At top universities, professors bring in grant mon
29.
by madmax96 4y ago
I am unable to reproduce work in CS most of the time. In part, because technology moves so fast. You can’t earn a PhD or tenure by maintaining open source software, so after a few years most implementations are rotten. Research software rot
30.
by madmax96 4y ago
It's not necessarily about the machine's raw performance, but capacity. The compute is a shared utility, and the utilization of supercomputer is quite high. We expect science to grow exponentially. So, compute demand grows exponen

More ›