kachnuv_ocasek

8 ms·

31.
by kachnuv_ocasek 4mo ago
Why those arbitrary thresholds?
32.
by kachnuv_ocasek 5mo ago
Do you truly believe most of that goes towards wages?
33.
by kachnuv_ocasek 5mo ago
What exactly do you mean by “make state explicit”?
34.
by kachnuv_ocasek 6mo ago
What would be the product they're marketing by this campaign?
35.
Why Lean?(leodemoura.github.io)
2 points by kachnuv_ocasek 7mo ago|0 comments
36.
by kachnuv_ocasek 8mo ago
Perfect for hedging the emotional damage on my daily commute in monetary units.
37.
by kachnuv_ocasek 8mo ago
Composition, lighting and creativity are no more than tools either.
38.
by kachnuv_ocasek 8mo ago
This is not in any way specific to the government or public institution. Many (perhaps most) private companies work the same way.
39.
by kachnuv_ocasek 9mo ago
One could argue share buybacks are more tax-efficient.
40.
by kachnuv_ocasek 10mo ago
How does Spotify defend people who actually make art? There's virtually no difference between pirating and steaming through Spotify for the vast majority of artists.
41.
by kachnuv_ocasek 11mo ago
Same argument applies. You, as the developer, always know in what context the text appears. Whether it's "dwa zdjęcia przesłane" or "dodano tagi do dwóch zdjęć".
42.
by kachnuv_ocasek 1y ago
Lean has much better UX to be frank. Rocq is fine, but if I were to start formalising today, I'd pick Lean.
43.
PyPSA 1.0 Is Here(docs.pypsa.org)
1 points by kachnuv_ocasek 1y ago|0 comments
44.
by kachnuv_ocasek 1y ago
But what are the specific regulations you would cut, dude?
45.
by kachnuv_ocasek 1y ago
> a system cannot be both sound a complete Huh, what do you mean by this? There are many sound and complete systems – propositional logic, first-order logic, Presburger arithmetic, the list goes on. These are the basic properties you wan
46.
by kachnuv_ocasek 2y ago
Same background here. I finally got into stochastic calculus last year thanks to a local college course (after several unsuccessful attempts on my own). You need at least 1. a basic grasp of classical calculus, measure theory and topology 2
47.
Algorithms for Decision Making(algorithmsbook.com)
5 points by kachnuv_ocasek 2y ago|0 comments
48.
by kachnuv_ocasek 2y ago
Interestingly, I feel like I can "feel" small numbers (up to 4 or 5) easier than than thinking about them as objects in a language.
49.
by kachnuv_ocasek 2y ago
Why would an OS need to be Turing complete?
50.
by kachnuv_ocasek 2y ago
But why would FBI take the servers down then?
51.
by kachnuv_ocasek 3y ago
Perhaps I belong to the minority, but I really don't think about containers as Docker. Actually, I don't remember the last time I used Docker for anything. For the past several years, I've been using either Podman or systemd-
52.
by kachnuv_ocasek 3y ago
Mostly yes.
53.
by kachnuv_ocasek 3y ago
That's a whole another can of worms.
54.
by kachnuv_ocasek 3y ago
> Also, it is 2022 and the future is wireless. Gotta admit, got me to check the calendar. Though can confirm 2024 is more wireless than 2022.
55.
Formalizing the proof of PFR in Lean4 using Blueprint(terrytao.wordpress.com)
3 points by kachnuv_ocasek 3y ago|0 comments
56.
by kachnuv_ocasek 3y ago
I think it starts at .1 at the bottom, but the scan quality makes it difficult to discern the decimal.
57.
by kachnuv_ocasek 3y ago
I think parent might have been referring to the inconsistency that Gödel noticed in the US Constitution when applying for citizenship.
58.
by kachnuv_ocasek 3y ago
It says "gpt-4-0613" on the web page as well. Why would they pretend it's GPT-4 but use GPT-3.5 in the background?
59.
by kachnuv_ocasek 3y ago
It's using GPT-4, see the config file: https://github.com/adamkdean/gpt-unicorn/blob/357a466c366f67...
60.
by kachnuv_ocasek 3y ago
Perhaps, unlike them, Kundera had a sense of shame.

More ›