aktuel

5 ms·

1.
by aktuel 5d ago
They would have escaped their sandbox by dumping their weights.
2.
by aktuel 4mo ago
It is not supposed to be readable by humans. You rarely have to look at it. It is designed to not get confused with the actual content, where the content can be any random text from the internet. For that, you have to use a format that is n
3.
by aktuel 5mo ago
The unevenly sized arrow keys still prevent me from buying any of it.
4.
A.I. and the Crisis of Capitalism: A Historical Approach – John Cassidy [video](youtube.com)
1 points by aktuel 5mo ago|0 comments
5.
by aktuel 7mo ago
I recently discovered https://www.cozodb.org/ which also vector search built-in. I just started some experiments with it but so far I'm quite impressed. It's not in active development atm but it seems already well
6.
by aktuel 8mo ago
I like this approach for Nix: https://dev.to/andersonjoseph/how-i-run-llm-agents-in-a-secu... It makes it also easy to give the agent only access to the tools it actually needs.
7.
by aktuel 9mo ago
It would be even better if the day/night counter would be visualized as a colored shifting slider.
8.
by aktuel 9mo ago
Are there any current language REPLs that have save/restore session state commands?
9.
by aktuel 9mo ago
> cleared of inflation energy costs are lower than 2013, 12 years ago Dude, soaring energy prices are driving inflation. That's like saying the prices are lower if you just keep ignoring everything that actually makes them more expe
10.
by aktuel 9mo ago
There is also a related youtube video online: Ali Behrouz of Google Research explaining his poster paper entitled "Nested Learning: The Illusion of Deep Learning Architecture" at NeurIPS 2025. https://www.youtube.com&#x
11.
by aktuel 10mo ago
This is really cool! If I were to work on it, I would make the light source a bouncing ball or something similar (maybe even a fish or a bird) via some 2D physics next.
12.
Google's Gemini 3 Is Here: A Special Early Look(nytimes.com)
3 points by aktuel 10mo ago|0 comments
13.
by aktuel 10mo ago
Same as rat poison, coming 2026...
14.
Boffins: Cloud computing's on-demand biz model is failing us(theregister.com)
3 points by aktuel 10mo ago|0 comments
15.
by aktuel 10mo ago
This is all very interesting, but far too detailed and technical for 99% of people. The TLDR should include an easy to understand summary without jargon like "VO2" and "a set of HIIT at Zone 4".
16.
by aktuel 10mo ago
Depends on the region. Often there are smaller regional companies providing fiber internet. Prices for these fiber connections a still somewhat higher than the cheapest vodafone tier, but you also get better service for your money.
17.
by aktuel 11mo ago
If you believe that price equals quality, the fact that Switzerland is an order of magnitude richer than Peru - and considerably richer than the US - might make all the difference.
18.
by aktuel 11mo ago
I am all for crediting humans and I don't particularly fancy all the anthropomorphising myself. However rubbing it in now feels similarly pointless as suggesting the US should switch to metric.
19.
by aktuel 11mo ago
Both is equally important, just in another dimension.
20.
by aktuel 11mo ago
If someone discovers anything, it does not change anything if someone else could have discovered it theoretically as well?
21.
Symposium: Exploring New AI Workflows(smallcultfollowing.com)
2 points by aktuel 11mo ago|0 comments
22.
Bank of England warns AI stock bubble rivals 2000 dotcom peak(arstechnica.com)
8 points by aktuel 11mo ago|1 comments
23.
by aktuel 11mo ago
My brain now reads Sam's face as an "AI generated" watermark.
24.
Firefox profiles: Private, focused spaces for all the ways you browse(blog.mozilla.org)
5 points by aktuel 11mo ago|1 comments
25.
by aktuel 11mo ago
Wouldn't the cache over time also be filled up with irrelevant and redundant information?
26.
by aktuel 1y ago
Project page says it runs on top of the kernel. What is the intended use case? Embedded?
27.
by aktuel 1y ago
currently reading through the tutorial. don't have much experience with coq, lean and friends, but this looks like a nice language to get started with formal proofs.
28.
by aktuel 1y ago
The tutorial explains the language in much more detail: https://litexlang.com/doc/Tutorial/Introduction
29.
by aktuel 1y ago
It is more likely that the author is not a native english speaker (project author seems to be chinese) and may have used some tool to help with the translation.
30.
by aktuel 1y ago
Sure. It's never my fault if I do a shitty job at X. I just did not receive proper training in advance.

More ›