Viewing profile — ebiederm

I started before the guide was published. I am 40 years in on challenging myself and learning and improving and there remains so much more I have the opportunity to master.

I would change "Codex starts encrypting prompts, uses ciphertext for inference instead" to just "Codex starts encrypting prompts" That is enough. Maybe you could say sub agent prom…

I think a better summary is that google gave someone the responsibility to ensure AI was developed and used ethically, and didn't give them the power to execute that responsibility…

What? That post says very clearly at the beginning that hybrids are the preferred approach right now. No one except the NSA actually wants a non-hybrid. Which raises the question w…

California has another distortion. The property value for tax purposes does not change unless you sell. In many other states there is the lesser distortion of property valuearions …

Dijkstra actually had a much more reasonable title on the article. It was the editor of the publication Niklaus Wirth that changed the title to goto considered harmful. Dijkstra wa…

Yeah no. Not really. That is what was tried. The S&P 500 didn't play along. A comparatively small number of index funds & retirement accounts that use them will get caught. The maj…

It is worth noting that register coalescing gets a lot of attention in interference graph coloring allocators because they typically have a pre-pass that inserts copies everywhere …

The big caveat in what I was saying is that it is only the pure graph coloring portion that has an optimal linear time algorithm. Take code in static single assignment form, or ano…

The academic literature on register allocation is scary. First is presented a linear time optimal algorithm for graph coloring then it is claimed better can be done by a O(N^2) alg…

Not who you asked but I took a quick look. Typically Design by Contract has meant runtime assertions. I like that they are doing verification before runtime. At the same time their…

Thank you. That makes things clearer. I especially appreciate the trick of asserting the intermediate truth to help the prover along. As someone who writes software I very much agr…

> 36. The use of a program to prove the 4 color theorem will not change mathematics -- it merely demonstrates the theorem, a challenge for a century, is probably not important to m…

Have you looked at ADA Spark? If you have does it match your intuition of how things should be done? I am slowly working on something where I hope to integrate such a capability fo…

It is talking about replacing a classic mark/sweep collector for unix domain sockets by something based on Tarjan's Strongly Connected Components.

Weird. The copy I read says they have just deleted that section of their user agreement.

Assuming this is correct that is a very intriguing result. FP64 emulated with FP8 running faster than the native FP64 implementation.

How does it follow that there is no point in trying for formal correctness? In many problems there is an interesting subset that is quickly solvable even when the general case is n…

Please read the article. The unsolicited security reports are the issue.

Thank you for posting this. I had heard LLMs were finding a lot of bugs very quickly and now I can see what that looks like from a user perspective.

Hooray! A static test fire caught a problem. Crap! There was a serious latent problem for the test fire to find.

Plus pretty blantant plagiarism.

In addition to capabilities, which implemented the principle of least privilege (and keep untrusted code sandboxed by default) there is a need for binary verification. A check that…

My reasing of the study is children with significant gut issues and diagnosed with autism see a significant reduction in symptoms when the gut issues are treated. Which leads me to…

The notification happen when the fix was shipped. That people would prefer to been spoon fed only serious security issues is understandable, but not realistic. A large percentage o…