ebiederm

8 ms·

1.
by ebiederm 20d ago
Spitting out code as fast as our fingers could type has never been the job. There has always been a lot of think time. Which is why the productivity of people of people has never been correlated with typing speed. In other jobs productivit
2.
by ebiederm 26d ago
What I remember hearing is that exercises and practice are needed to transform words on the page to something you know and master. What I remember being questioned is does it make sense to do those exercises as homework or would they be bet
3.
by ebiederm 29d ago
Part of the problem is AI datacenters make bad neighbors. Because they are in such a rush to become operational they cut corners. Instead of AC they use swamp coolers draining aquifers and thus wells of the neighbors. Instead of using new p
4.
by ebiederm 1mo ago
I am a native speaker and that is how I read it as well.
5.
by ebiederm 2mo ago
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.
6.
by ebiederm 2mo ago
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 prompts. The article can say the rest.
7.
by ebiederm 2mo ago
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. Apparently google did not even give them the freedom
8.
by ebiederm 3mo ago
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 what is the NSA up to. Especially since the NSA has a mission
9.
by ebiederm 3mo ago
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 for tax purposes not being allowed to go up faster than a r
10.
by ebiederm 3mo ago
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 was arguing for procedures with a single entry point and a sin
11.
by ebiederm 3mo ago
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 majority won't.
12.
by ebiederm 3mo ago
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 (because adding copies or spills later is so hard). So inst
13.
by ebiederm 3mo ago
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 another form where it is values that are tracked with live rang
14.
by ebiederm 3mo ago
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) algorithm that uses a heuristic. I do believe the dragon book g
15.
by ebiederm 3mo ago
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 take on loops (you can't write them and have verifica
16.
by ebiederm 3mo ago
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 agree that verification of asserts before run time (written in
17.
by ebiederm 3mo ago
> 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 mathematicians.
18.
by ebiederm 3mo ago
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 for the things that type systems can't handle quickly. So
19.
by ebiederm 3mo ago
It is talking about replacing a classic mark/sweep collector for unix domain sockets by something based on Tarjan's Strongly Connected Components.
20.
by ebiederm 3mo ago
Weird. The copy I read says they have just deleted that section of their user agreement.
21.
by ebiederm 3mo ago
Assuming this is correct that is a very intriguing result. FP64 emulated with FP8 running faster than the native FP64 implementation.
22.
by ebiederm 3mo ago
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 not. SAT solvers in practice are quick on just about everyth
23.
by ebiederm 3mo ago
Please read the article. The unsolicited security reports are the issue.
24.
by ebiederm 4mo ago
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.
25.
by ebiederm 4mo ago
Hooray! A static test fire caught a problem. Crap! There was a serious latent problem for the test fire to find.
26.
by ebiederm 4mo ago
Plus pretty blantant plagiarism.
27.
by ebiederm 4mo ago
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 a whatever is downloaded cannot exceed it's capabiliti
28.
by ebiederm 4mo ago
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 wonder if for some of these children is the root cause just
29.
by ebiederm 5mo ago
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 of kernel fixes have the potential to be similarly bad. For
30.
by ebiederm 5mo ago
For everyone getting into the details about how all of this should work please look at RFC7084: Basic Requirements for IPv6 Customer Edge Routers https://www.rfc-editor.org/rfc/rfc7084 It describes in detail what a ho

More ›