fsmv

5 ms·

1.
by fsmv 25d 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
2.
by fsmv 29d 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
3.
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
4.
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.
5.
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.
6.
by fsmv 2mo ago
How about we give humans access
7.
by fsmv 2mo ago
Have you not seen vend bench?
8.
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.
9.
by fsmv 2mo ago
But select statements are the most important part, and second to that is the fact that goroutines are low cost user space threads
10.
by fsmv 2mo 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
11.
by fsmv 3mo ago
You should just have it OCR a screenshot of the PDF that would probably work better
12.
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
13.
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
14.
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"
15.
by fsmv 3mo 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...
16.
by fsmv 3mo 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
17.
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
18.
by fsmv 4mo 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
19.
by fsmv 5mo ago
Not true, they were down because they still use bluesky's relay
20.
by fsmv 6mo ago
Trade secrets once made public don't have any legal protection and I haven't signed any contract with anthropic
21.
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
22.
by fsmv 6mo ago
The champion of compatibility lives on
23.
by fsmv 6mo 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.
24.
by fsmv 6mo ago
I'm having trouble understanding to what extent the machine learning used for interfacing with the neurons is doing the learning
25.
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
26.
by fsmv 7mo ago
Your cookie banner is very inconvenient and made me leave your website and not read the article
27.
by fsmv 7mo ago
It would be nice to give them some kind of attribution in the readme or something since you know which projects you referenced
28.
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
29.
by fsmv 8mo ago
I don't understand, yay updates itself. I've never once had this problem.
30.
by fsmv 8mo ago
There was a short thread about this on mastodon involving Rob Pike the other day https://hachyderm.io/@robpike/115896334649905170

More ›