Not “instead of” but “in addition to”. Government regulation is not perfect but is the first-best solution to imposing such injunctions, and prima facie is much more effective than social norms or industry…
This would be much more convincing if the repos, issue trackers, etc. were accessible.
Life on Earth was hugely ambitious in ideas too, covering the whole history of life, with evolution as an underpinning theory throughout. As a child, it had much more impact on me than anything else on TV, and I still…
I really liked the evaluation method here - testing fidelity by round-tripping through chains of invertible steps. It was striking how even frontier models accumulated errors on seemingly computer-friendly tasks. It…
Indeed. This is just a vibe-coded addition to an already overcrowded space, with no indication of any intent to consult others or support it for real use.
The VLDB paper mentioned is https://www.vldb.org/pvldb/vol16/p1601-budiu.pdf. Abstract: "Incremental view maintenance has been for a long time a central problem in database theory. Many solutions have been proposed for…
I asked the same question to one of the core devs at a recent event and he (1) said that some people in finance have done related things and (2) suggested using the Ray slack to connect with developers and power users…
I also like Racket for a good few of these reasons, but the tooling has a lot of sharp edges and limitations in practice. It would be unfair to expect a full JetBrains/Microsoft IDE experience but it surprised me that a…
Thanks. This focuses on the most common daily need, with really clean design and display of information, and live updates as a flourish. Definitely sparks joy.
I can be pretty cynical about corporate politics but that kind of consultant-IC interview is almost always safe. It’s wildly against the consultant’s interests to cause serious conflict to break out and it’s easy to…
Indeed, and tools like dep-tree provide a combination of 1) making module structure visible 2) making rules about this structure concrete and 3) automatically checking for rule violations. These all help to lower the…
> If I say "Dyson" and you're in the UK, you think of Mathematical Physics :)
There is a more general algorithm called Delta Debugging (https://en.m.wikipedia.org/wiki/Delta_debugging), introduced in Andreas Zeller’s 1999 paper "Yesterday, my program worked. Today, it does not. Why?"…
Coincidentally, today I noticed a surprisingly high number of file accesses from Tenable's Nessus software, caused by it reading a megabyte-sized config file one character at a time without buffering, each going through…
In this case Chotiner didn’t come back at weak arguments as much as he often does. In particular Frank downplayed the importance of stress tests, arguing variously that they are procedural, mostly about contagion, don’t…
Toolz, like seemingly everything Matt Rocklin is a major contributor to, is something of a model library: cleanly designed and coded, with strong documentation. Although Python is not going to match a full Lisp, Haskell…
A bypass provides a route around a population center to offload traffic - this would have done the opposite, reducing quality of life for thousands of nearby residents, workers, and others using the neighborhood. For…
Very nice work. I especially liked the ability to build up a collection of papers, that the response time was good, and that the SQL could be edited directly. Do you have any plans to add a graphical visualization of…
Not “instead of” but “in addition to”. Government regulation is not perfect but is the first-best solution to imposing such injunctions, and prima facie is much more effective than social norms or industry…
This would be much more convincing if the repos, issue trackers, etc. were accessible.
Life on Earth was hugely ambitious in ideas too, covering the whole history of life, with evolution as an underpinning theory throughout. As a child, it had much more impact on me than anything else on TV, and I still…
I really liked the evaluation method here - testing fidelity by round-tripping through chains of invertible steps. It was striking how even frontier models accumulated errors on seemingly computer-friendly tasks. It…
Indeed. This is just a vibe-coded addition to an already overcrowded space, with no indication of any intent to consult others or support it for real use.
The VLDB paper mentioned is https://www.vldb.org/pvldb/vol16/p1601-budiu.pdf. Abstract: "Incremental view maintenance has been for a long time a central problem in database theory. Many solutions have been proposed for…
I asked the same question to one of the core devs at a recent event and he (1) said that some people in finance have done related things and (2) suggested using the Ray slack to connect with developers and power users…
I also like Racket for a good few of these reasons, but the tooling has a lot of sharp edges and limitations in practice. It would be unfair to expect a full JetBrains/Microsoft IDE experience but it surprised me that a…
Thanks. This focuses on the most common daily need, with really clean design and display of information, and live updates as a flourish. Definitely sparks joy.
I can be pretty cynical about corporate politics but that kind of consultant-IC interview is almost always safe. It’s wildly against the consultant’s interests to cause serious conflict to break out and it’s easy to…
Indeed, and tools like dep-tree provide a combination of 1) making module structure visible 2) making rules about this structure concrete and 3) automatically checking for rule violations. These all help to lower the…
> If I say "Dyson" and you're in the UK, you think of Mathematical Physics :)
There is a more general algorithm called Delta Debugging (https://en.m.wikipedia.org/wiki/Delta_debugging), introduced in Andreas Zeller’s 1999 paper "Yesterday, my program worked. Today, it does not. Why?"…
Coincidentally, today I noticed a surprisingly high number of file accesses from Tenable's Nessus software, caused by it reading a megabyte-sized config file one character at a time without buffering, each going through…
In this case Chotiner didn’t come back at weak arguments as much as he often does. In particular Frank downplayed the importance of stress tests, arguing variously that they are procedural, mostly about contagion, don’t…
Toolz, like seemingly everything Matt Rocklin is a major contributor to, is something of a model library: cleanly designed and coded, with strong documentation. Although Python is not going to match a full Lisp, Haskell…
A bypass provides a route around a population center to offload traffic - this would have done the opposite, reducing quality of life for thousands of nearby residents, workers, and others using the neighborhood. For…
Very nice work. I especially liked the ability to build up a collection of papers, that the response time was good, and that the SQL could be edited directly. Do you have any plans to add a graphical visualization of…