ducktective

4 ms·

1.
by ducktective 8d ago
>outdated What modern features are you looking for in a say, document editor? My experience with LibreOffice Writer and Calc has been excellent. I'm happy there is no modern AI or cloud integration noise or ribbon bars with exc
2.
by ducktective 8d ago
For starters, universities and government offices should not expect a proprietary format. Everyone should accept OpenDocument Format (ODF) or a similar FOSS format. MS Office, LibreOffice, OpenOffice and whatnot can compete in editing and r
3.
by ducktective 15d ago
Tangential, but does anyone know why in 2026 and on Debian 13, my machine still hangs when some process exhausts RAM? Is there really no higher-priority kernel process to prevent total freeze of the system and send a SIGKILL to the culpri
4.
by ducktective 1mo ago
My point was, people block js of websites by default. Why? Cause website devs abuse js and don't exclusively use it for basic interactivity of stuff like sorting table columns. There is an incentive to use HTML for common interactivity
5.
by ducktective 1mo ago
>single, simple JS file It's all fine and dandy until marketing bros decide to shove all kinds of shady modals into that JS file. The JS side is not exclusive to trivial interactivity.
6.
by ducktective 2mo ago
> including isolated testing environments Given the attack vector having possible super-human capability, I'm not sure such an environment exists. "Isolated" according to who? Maybe seL4 could be a viable option here..
7.
by ducktective 2mo ago
> Do you think Japan and the EU would be better off if our/their economies were centred around trillion dollar companies that make a product that is 20% better than the Chinese models at 1000x the cost? Why Japan and Europe don&#x2
8.
by ducktective 2mo ago
I wonder about Japan and Europe these days. Back in the 80s, when Japan was pursuing the "Fifth-Generation Computers", EU and US scrambled to compete with Japan. Like, it was a big deal for strategists and decision-making high-lev
9.
by ducktective 2mo ago
Do LLMs generate deterministic or trustworthy answers?
10.
by ducktective 2mo ago
It's AI-assisted now but on a path to becoming AI-independent in the coming months at least due to the general public perception.
11.
by ducktective 2mo ago
I wonder what experts think of this other option: going fully native for one platform then vibe-porting it to others.
12.
F*: A general-purpose proof-oriented programming language(fstar-lang.org)
189 points by ducktective 2mo ago|99 comments
13.
by ducktective 2mo ago
No passion, no independent research, only the drive to make money with as little effort as possible
14.
by ducktective 2mo ago
Exactly. I was wondering what language would be better for heavy agentic workflow. Due to a recent blog post, Clojure seem to be the most terse [1]. But some people are suggesting static types would help in this workflow. [1] : https:&#x2F
15.
by ducktective 2mo ago
Recent posts on formal proofs usually talk about Lean, Rocq, Isabelle and (due to this post) Metamath. What do people think of F* [1]? At least, for non-mathematics projects, doesn't it seem to be a more appropriate option [2]? It seem
16.
by ducktective 2mo ago
>that there's no daylight between the works of an individual who has taken a literal lifetime to hone a skillset and any random dilletante armed with the appropriate AI tools. Well, the promise of AGI and current LLM trajectory look
17.
by ducktective 2mo ago
>a config switch between A and B is never considered And why should modern corpo maintain additional complexity to pander to 1% of privacy-aware tech-savvy users?
18.
by ducktective 2mo ago
>Still, one thing should not be forgotten, those who fail to adapt eventually fall behind. Adapt to what? Current LLM endgame is "wished-spec => code". Where do you fit in this? You are fighting for the last 10%, 1%, 0.1% co
19.
by ducktective 2mo ago
Thanks for the summary! Does anyone happen to know how to make a Windows machine, the extended display of a Linux machine? Both machines are on the same network. I'm looking to use a Windows laptop as a mere HDMI monitor for the Linux
20.
by ducktective 3mo ago
Not even that, libssh2 vul. that "scp"s malware from cloud to your machine...
21.
by ducktective 3mo ago
Before the advent of LLMs, ML was used in upscaling the assets and pre-rendered backgrounds of the first 3 classic Resident Evil games: https://www.reshdp.com
22.
by ducktective 3mo ago
Makes one wonder, why should anyone embark on learning this intricate and time-consuming art of reverse engineering when LLMs are on their way to automate it in seconds...
23.
by ducktective 3mo ago
It's not just corpo talk. The ultimate goal in LLM and AI progress is "replacement" of professional knowledge workers. In the march of the 9s of the accuracy of the generated LLM output, the engineers role would matter less a
24.
by ducktective 3mo ago
Please explain this "adapting". The LLM sellers' holygrail is * you just need to crank our model bro *. With this mindset, there is no adaptation needed, save a couple of weeks of getting up to speed with nuances of using the
25.
by ducktective 10mo ago
Are off-shelf GPUs (like one 3090) suitable for modern academic research on current AI advancements or is it better to rent some cloud compute?
26.
by ducktective 10mo ago
Does anyone have rough numbers (max daily users etc) on viability of SQLite vs PostgreSQL for a typical user-facing webapp or e-commerce application? I know due to some recent update, SQLite can support concurrent reads but still only a sin
27.
Test Your Ability to Spot Google Gemini's Nano Banana Pro(realorai.dev)
1 points by ducktective 10mo ago|1 comments
28.
by ducktective 1y ago
Like imagine editor is on ws2, you open a terminal to /tmp/ to check something quick, it scrolls to the right, then jump to ws3 for your file manager and other stuff and go back to your editor. Now you want to access that terminal
29.
by ducktective 1y ago
Yes, still on each workspace, everything is visible on i3. I wonder how scroll to the right differs from i3's tabbed panes.
30.
by ducktective 1y ago
One of the advantages of tilling wm are that every window that is run, is visible too. Nothing invisible exists. But in this "endless horizontal tilling" scheme, the above principle would no longer hold, right?

More ›