Retro_Dev

6 ms·

31.
Zig – Pointer Stability for ArrayLists(ziglang.org)
3 points by Retro_Dev 1mo ago|0 comments
32.
by Retro_Dev 1mo ago
> unbiased Asking models about politically sensitive events differ WILDLY based on the country that produced that AI.
33.
Nested QR Codes(alloc.dev)
1 points by Retro_Dev 2mo ago|0 comments
34.
by Retro_Dev 2mo ago
if neuralink ever becomes a thing, thoughts about programming might be stolen for LLM training data lol
35.
by Retro_Dev 2mo ago
seems to me like "private" is a good descriptor - I also have a set of "private" test cases - and they are kept private on purpose so they aren't scraped and fine-tuned on.
36.
by Retro_Dev 2mo ago
> Overall, our results indicate that current language models possess some functional introspective awareness of their own internal states. We stress that in today’s models, this capacity is highly unreliable and context-dependent; howe
37.
Who Should Pay for Source Code Availability?(kristoff.it)
6 points by Retro_Dev 2mo ago|0 comments
38.
by Retro_Dev 2mo 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
39.
Zig's Io.Threaded Is Neat(matklad.github.io)
3 points by Retro_Dev 2mo ago|0 comments
40.
by Retro_Dev 2mo ago
This article is 100% AI written. The data was interesting, the commentary overly verbose and hard to gain useful insights from.
41.
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.
42.
Zig - All Package Management Functionality Moved from Compiler to Build System(ziglang.org)
4 points by Retro_Dev 3mo ago|0 comments
43.
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
44.
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
45.
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
46.
Zig – SPIR-V Backend Progress(ziglang.org)
100 points by Retro_Dev 3mo ago|70 comments
47.
by Retro_Dev 4mo 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
48.
by Retro_Dev 4mo 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
49.
by Retro_Dev 4mo 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
50.
by Retro_Dev 4mo 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.
51.
by Retro_Dev 6mo ago
A gamma wavelength handheld laser would be cool; "and on this petri dish, we see a dot of cells instantaneously develop cancer"
52.
Zig – Incremental Compilation with LLVM(ziglang.org)
2 points by Retro_Dev 6mo ago|0 comments
53.
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
54.
Type resolution redesign, with language changes to taste(ziglang.org)
401 points by Retro_Dev 7mo ago|268 comments
55.
Zig – io_uring and Grand Central Dispatch std.Io implementations landed(ziglang.org)
369 points by Retro_Dev 8mo ago|305 comments
56.
Zig – Package Management Workflow Enhancements(ziglang.org)
1 points by Retro_Dev 8mo ago|0 comments
57.
Bypassing Kernel32.dll for Fun and Nonprofit(ziglang.org)
4 points by Retro_Dev 8mo ago|0 comments
58.
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
59.
Making Redstone circuits with SAT solvers(alloc.dev)
2 points by Retro_Dev 9mo ago|0 comments
60.
by Retro_Dev 1y 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

More ›