tkz1312

6 ms·

1.
by tkz1312 5d ago
reviewing the definitions and theorem statement is a huge amount of work that requires a deep expertise in mathematics and lean. checking correctness of the proof itself can be delegated to machine, checking that the claim that has been pro
2.
by tkz1312 4mo ago
I mean it obviously impacts the people who live in the Congo...
3.
by tkz1312 4mo ago
at least for a framework they are very easy upgrades tbh
4.
by tkz1312 5mo ago
What a world we live in where 200mb RAM usage for a text editor is considered "lightweight".
5.
by tkz1312 6mo ago
You have used chatgpt presumably. Based on your interactions with it, do you seriously think it should be allowed to shoot a gun without any human oversight?
6.
by tkz1312 7mo ago
unfortunately running anything locally for serious personal use makes no financial sense at all right now. 4x rtx 6000 pro is probably the minimum you need to have something reasonable for coding work.
7.
by tkz1312 8mo ago
AFAIK the signal backups use symmetric encryption with user generated and controlled keys and anonymous credentials ( https://signal.org/blog/introducing-secure-backups/ ). Do you have a link about the usage of sgx
8.
by tkz1312 9mo ago
Stagex is a remarkable achievement and one of the most exciting projects that I have encountered this year. I plan on migrating a few high value build pipelines in the near future. Thank you for the excellent work. With that said, I also wr
9.
by tkz1312 9mo ago
Not sure why self proclaimed "hackers" seem to be in love with walled gardens and corporate control :)
10.
by tkz1312 9mo ago
which packages are not built from source?
11.
by tkz1312 9mo ago
If you're not making changes to the bootloader it's essentially impossible to brick nixos: updates are fully atomic and every change can be rolled back by booting into an old generation. This combined with the fact that the full s
12.
by tkz1312 10mo ago
maybe something to do with Haskell being a beautiful and foundational language that has been a major driver of progress in programming language design for the last two decades?
13.
by tkz1312 11mo ago
Having seen LLMs so many times produce coherent, sensible and valid chains of reasoning to diagnose issues and bugs in software I work on, I am at this point in absolutely no doubt that they are thinking. Consciousness or self awareness is
14.
by tkz1312 11mo ago
I do not think this is niche in the slightest. I would very happily take a 2-4x slowdown for almost all of the web facing C software I run if I get guaranteed memory safety. I will be using at the very least fil-c openssh (and likely much m
15.
by tkz1312 11mo ago
I grep through the store pretty regularly looking for names. The tone of the original comment is annoying but the suggestion is imo quite a good one.
16.
by tkz1312 11mo ago
Guix uses a fork of the nix daemon
17.
by tkz1312 11mo ago
Zig is orders of magnitude more pleasant and enjoyable to use than Rust.
18.
by tkz1312 11mo ago
128 is still not 300. Something like 4x 6000 blackwell is the minimum to run any model that is going to feel anything like claude locally. To my deep disappointment the economics are simply not there at the moment. Openrouter using only pro
19.
by tkz1312 11mo ago
which 671b quants can fit into 96GB VRAM? Everything I’m aware of needs hundreds at least (e.g. https://apxml.com/models/deepseek-r1-671b ).
20.
by tkz1312 11mo ago
Don’t underestimate the cost of getting locked into a tool that is 100% guaranteed to rugpull you on both cost and privacy.
21.
by tkz1312 11mo ago
> free if I want to use my own GPU The hardware required to run something like deepseek / kimi / glm locally at any speed fast enough for coding is probably around $50,000. You need hundreds of gigabytes of fast VRAM to run mod
22.
by tkz1312 1y ago
what happens if the screen locker crashes?
23.
by tkz1312 1y ago
until the inevitable VC rug pull…
24.
by tkz1312 1y ago
why not just use sublime text?
25.
by tkz1312 1y ago
compiling untrusted code via the wasm builds of solc is quite reasonable and is done at scale by several providers (e.g. etherscan, remix).
26.
by tkz1312 1y ago
The bug was a simple segfault and did not result in the production of invalid or incorrect code.
27.
by tkz1312 1y ago
is buying isn’t owning, piracy isn’t stealing :)
28.
by tkz1312 1y ago
100% opus all the time. Sonnet seems to get confused much faster and need more hand holding in my experience.
29.
by tkz1312 1y ago
they acknowledged the issue and the fix was merged in 2022, what exactly is the criticism here?
30.
by tkz1312 1y ago
I’ve found claude to be very helpful when both writing and debugging code written in a language i’m currently building. I just make sure to load the spec into its context first and that seems to be enough for it to get a general understandi

More ›