Retro_Dev

7 ms·

31.
by Retro_Dev 1mo ago
> Experts worry that such studies are way ahead of necessary guardrails and regulations. AI has also been known to fly off the rails autonomously. An OpenAI agent recently went rogue and hacked Hugging Face. Even if 99% of the population
32.
Zig's Io.Threaded Is Neat(matklad.github.io)
3 points by Retro_Dev 1mo ago|0 comments
33.
by Retro_Dev 1mo ago
This article is 100% AI written. The data was interesting, the commentary overly verbose and hard to gain useful insights from.
34.
by Retro_Dev 2mo ago
Indeed - if you need to be absolutely confident about security and privacy, run a model locally and audit the inference software and potential tooling.
35.
Zig - All Package Management Functionality Moved from Compiler to Build System(ziglang.org)
4 points by Retro_Dev 3mo ago|0 comments
36.
by Retro_Dev 3mo ago
Indeed - definitely not cost effective to run it on this laptop LOL. It makes me wonder how fast we could run the model if we could fit the weights entirely within CPU cache (assuming a whole ton of CPUs with low latency & high speed IO
37.
by Retro_Dev 3mo ago
I ran it on my laptop, which is a Lenovo Legion 5i (think 32 GB RAM, 4060 w/ 8 GB VRAM, you get the picture). It was a quantized model (otherwise it would not fit on my NVMe 1TB drive) at 4 bits per weight - UD_Q4_K_XL. It ran at about
38.
by Retro_Dev 3mo ago
OpenZL is nice, but it's often less useful than you think - it requires that you know the structure of your data, and don't care about inspecting that data outside of your program. I've extracted one too many png files from a
39.
Zig – SPIR-V Backend Progress(ziglang.org)
100 points by Retro_Dev 3mo ago|70 comments
40.
by Retro_Dev 3mo ago
"open source" means that the code itself (for LLMs - this is training code) is available to the general public. "open weights" means that the weights (trained over time) are available publicly, rather than locked behind
41.
by Retro_Dev 3mo ago
Attemping to write my own CDCL SAT solver right now. I've experimented in the past with a DP & DPLL SAT solver. I'm currently somewhat mentally stuck on how to create the derived clause after a conflict, but I'll get ther
42.
by Retro_Dev 3mo ago
I hope that this brings out a bunch more real study about the qualitative metrics of these models, both to increase the confidence and accessibility of local LLMs, but also to reduce the blind worship that seems to be propagating about thei
43.
by Retro_Dev 3mo ago
No questions, but I really enjoyed the article - thank you for sharing. It amazes me how few vacuum tubes these early computers use, compared to the billions and trillions of mosfet transistors used in modern devices.
44.
by Retro_Dev 5mo ago
A gamma wavelength handheld laser would be cool; "and on this petri dish, we see a dot of cells instantaneously develop cancer"
45.
Zig – Incremental Compilation with LLVM(ziglang.org)
2 points by Retro_Dev 5mo ago|0 comments
46.
by Retro_Dev 6mo ago
I'm very pleased with the performance of the largest gemma4 model (which I tested through ollama). My singular data point on whether an LLM remembers things well is whether it can translate toki pona to (and from) English. I find it ea
47.
Type resolution redesign, with language changes to taste(ziglang.org)
401 points by Retro_Dev 6mo ago|268 comments
48.
Zig – io_uring and Grand Central Dispatch std.Io implementations landed(ziglang.org)
369 points by Retro_Dev 7mo ago|305 comments
49.
Zig – Package Management Workflow Enhancements(ziglang.org)
1 points by Retro_Dev 7mo ago|0 comments
50.
Bypassing Kernel32.dll for Fun and Nonprofit(ziglang.org)
4 points by Retro_Dev 7mo ago|0 comments
51.
by Retro_Dev 8mo ago
There's solid reason for the translation here; the Zig core team is aiming to eliminate duplicated code and C functions, and avoid the need to track libc from multiple sources. In the future, LLMs could serve as part of this, but the
52.
Making Redstone circuits with SAT solvers(alloc.dev)
2 points by Retro_Dev 8mo ago|0 comments
53.
by Retro_Dev 11mo ago
In the theoretical world where a subset of English could be formalized and proven and compiled, the complexity of the language would reduce my willingness to use it. I find that the draw of AI comes from it's "simplicity," an
54.
LLMs Are Transpilers(alloc.dev)
2 points by Retro_Dev 11mo ago|2 comments
55.
Zig got a new ELF linker and it's fast(github.com)
123 points by Retro_Dev 1y ago|50 comments
56.
C3 Programming Language 0.7.4 Release(github.com)
3 points by Retro_Dev 1y ago|0 comments
57.
Birth of new Zig backend - aarch64(github.com)
7 points by Retro_Dev 1y ago|0 comments
58.
Bing Translate vulnerable to prompt injection(alloc.dev)
3 points by Retro_Dev 1y ago|0 comments
59.
Zig breaking change – Initial Writergate(github.com)
238 points by Retro_Dev 1y ago|227 comments
60.
Writing a C Compiler, in Zig(asibahi.github.io)
4 points by Retro_Dev 1y ago|0 comments

More ›