fsmv

11 ms·

1.
by fsmv 7d ago
Computable includes BPP
2.
by fsmv 10d ago
But how will you know that the query plan actually does what your query asked for?
3.
by fsmv 1mo ago
You could set the CSS zoom property to 1/window.devicePixelRatio with JavaScript but I think you can't do it with CSS only. If you do that then px is physical px. This doesn't include browser zoom though or mobile pinch to zo
4.
by fsmv 1mo ago
I think there were some who really cared but I also think a lot of the 4chan types that found him egged him on and tried to trigger his schizophrenia because they treated it like it was all a big joke. It really is tragic. He deserved bette
5.
by fsmv 1mo ago
But what does it mean? The theorems are just symbols in lean. The conjectures humans chose are carefully selected to be the questions that are interesting and relevant to our intuition about the real world. Math often doesn't have appl
6.
by fsmv 1mo ago
The entire point of writing proofs is for advancing human understanding. A giant dump of symbols that passes the lean compiler is meaningless besides human beings understanding it.
7.
by fsmv 1mo ago
Qwen 27B is runnable for that price and it can produce patches that work using opencode as a harness. It's obviously not as capable as frontier models but it can do things if you provide the judgement.
8.
by fsmv 2mo ago
How about we give humans access
9.
by fsmv 2mo ago
Have you not seen vend bench?
10.
by fsmv 2mo ago
I think the difference is in math the problem is fully specified and easily verifiable and in programming it's not. I don't agree that we always know we can solve the problem.
11.
by fsmv 3mo ago
But select statements are the most important part, and second to that is the fact that goroutines are low cost user space threads
12.
by fsmv 3mo ago
But it's not exactly a cosmetic change. x++ is semantically different from x; x++; I wonder if clang would make it branchless if you instead write if (BLQS_CMP(x, piv)) { *lwr = x; ++lwr; } else { *rwr = x; --rwr; } The diff
13.
by fsmv 3mo ago
You should just have it OCR a screenshot of the PDF that would probably work better
14.
by fsmv 3mo ago
> We don't really know how to program yet, or how to manage our programs. We don't really know what we want to say or how to say it. We don't have good computer languages for expressing what we want to computer to do. We d
15.
by fsmv 3mo ago
I think the reason writing a compiler is easy today is the theory I learned in compilers class. How to do context free grammars, the concept of abstract syntax trees, the pattern of writing a recursive descent parser and having a lexer that
16.
by fsmv 3mo ago
There's also the major problem of people expecting Google to be right when it tells them something but OpenAI had no starting reputation so it was okay to say "be aware it might be wrong sometimes"
17.
by fsmv 4mo ago
I don't think that's an ongoing debate looks to me that it ended in 2019 https://github.com/golang/go/issues/31440#issuecomment-53724...
18.
by fsmv 4mo ago
Presumably the missile needs GPS to hit the target so if you jam right when the missile is coming in the missile will miss so you can't really jam the warning Also if you broadcast noise when your missile is about to hit then your own
19.
by fsmv 4mo ago
Now the flaps don't melt! The tiles don't fall off! It's a major overhaul of the design they've been working on for a long time. There was talk of v3 fixing the problems in early v2 test flights. The booster is v3 as wel
20.
by fsmv 5mo ago
I only read the abstract but I got the impression that their solution to this is they have both. They translate all the data as if it was code and if it gets called into they use the translation where if it gets read as memory they use the
21.
by fsmv 5mo ago
Not true, they were down because they still use bluesky's relay
22.
by fsmv 6mo ago
Trade secrets once made public don't have any legal protection and I haven't signed any contract with anthropic
23.
by fsmv 6mo ago
Implying that programming is not an actual job that takes years of training and experience To be clear I don't think the AI can do either job
24.
by fsmv 7mo ago
The champion of compatibility lives on
25.
by fsmv 7mo ago
Yes but the lords are not satisfied with this. They demand the 10x productivity they sold to investors. If you do it this way you will not produce 10x the code.
26.
by fsmv 7mo ago
I'm having trouble understanding to what extent the machine learning used for interfacing with the neurons is doing the learning
27.
by fsmv 7mo ago
In reality it's not that hard for them to work around the constitution e.g. by buying data from private companies
28.
by fsmv 8mo ago
Your cookie banner is very inconvenient and made me leave your website and not read the article
29.
by fsmv 8mo ago
It would be nice to give them some kind of attribution in the readme or something since you know which projects you referenced
30.
by fsmv 8mo ago
A good reason to actually test that you reject man in the middle certs if you rely on TLS in your application

More ›