foobarqux

4 ms·

31.
by foobarqux 7mo ago
I'm saying you can go even further and automate the entire thing using LLMs/agents, it is pretty much the ideal use case: you have a black-box reference implementation to test against; descriptive documentation for what the functi
32.
by foobarqux 7mo ago
Have you considered using quickcheck/random/property-based testing with LLM code generation to automate function implementation?
33.
by foobarqux 7mo ago
How is the popularity/rank in functions.csv determined?
34.
by foobarqux 8mo ago
No, the difference is that the government agrees to no "unlawful" use as determined by the government. Anthropic said that mass surveillance was per se prohibited even if the government self-certified that it was lawful.
35.
by foobarqux 8mo ago
No, the difference is that the government agrees to no "unlawful" use as determined by the government. Anthropic said that mass surveillance was per se prohibited even if the government self-certified that it was lawful.
36.
by foobarqux 9mo ago
It feels like gnu parallel with --transfer-file would have solved this problem
37.
by foobarqux 9mo ago
Their first example is bad: ps aux | grep nginx | grep root | grep -v grep can be done instead (from memory, not at a Linux machine ATM): ps -u root -C nginx which is arguably better than their solution: psc 'pr
38.
by foobarqux 9mo ago
Number 1 on the front page of Hacker News for explaining how to connect to a remote machine via ssh.
39.
by foobarqux 9mo ago
That plant is subject to regulation and the xAI turbines evade regulations by claiming they are "portable".
40.
by foobarqux 9mo ago
That plant is subject to regulations. The xAI turbines have evaded regulations by claiming that they are portable.
41.
by foobarqux 10mo ago
What is the difference between 3rd party skills and connectors? How do you access/install 3rd party skills in claude code?
42.
You're Thinking About AI and Water All Wrong(wired.com)
3 points by foobarqux 10mo ago|0 comments
43.
by foobarqux 11mo ago
This isn't the first time: In 2019 Tesla illegally prevented OSHA officials from entering a Tesla site in Nevada (with a warrant and officer from the sheriff's office) to address serious workplace injuries. These are what are clai
44.
by foobarqux 11mo ago
> Once you get the command suggested by the LLM, you can quickly copy and modify it, before running it. Copying and pasting tends to be a very tedious operation in the shell, which usually requires moving your hands away from the keyboar
45.
by foobarqux 11mo ago
llm cmdcomp is better: - it puts the command in the shell editor line so you can edit it (for example to specify filenames using the line editor after the fact and make use of the shell tools like glob expansion etc.) - it goes i
46.
by foobarqux 11mo ago
Don't use doom etc, just standard emacs, otherwise you won't have any understanding of what is happening and how to fix it. Here's a list of what I think is important, roughly more important to less: - corfu+marginalia+
47.
by foobarqux 1y ago
mpv can play to the terminal using ascii codes or sixel/kitty-protocol.
48.
by foobarqux 1y ago
The main features I use are 1. quick-select the output in the terminal (select files/paths, urls, etc and either copy or paste them at the cursor). This is very useful as you often don't have the foresight to pipe the command to p
49.
by foobarqux 1y ago
That's 30x for earnings that will be known Jan 2027 (1 year and 3 months away). It's 40x earnings for Jan 2026 (3 months away). For reference Enron was 40x earnings for current year forward estimates early in the year of the crash
50.
LLM probabilities cannot distinguish between possible and impossible language(arxiv.org)
2 points by foobarqux 1y ago|0 comments
51.
by foobarqux 1y ago
> clinging to tenets which are at best implausible from an evolutionary perspective (e.g., "the optimal conclusion about the nature of language would be that its basic principles are extremely simple"). Why do you say that?
52.
by foobarqux 1y ago
M-x sql-sqlite Then C-c C-c on paragraph you want to send/execute M-x sql-send- for the other commands The mode is called sql-interactive-mode That's it.
53.
by foobarqux 1y ago
In practice this isn't true; very few services (in terms of $ spent/earned) are purely virtual and have no physical presence in the country.
54.
by foobarqux 1y ago
I think he's talking about foreign governments control on monetary policy, which is essential for managing the economy. Even a poorly run government will insist on retaining control over monetary policy and it provides a necessary forc
55.
by foobarqux 1y ago
This should use --delimiter and not (--recend --pipe). Tested to work. <new-landings.txt parallel --delimiter '\n\n' --colsep '\n' --plus curl '{1/large/medium}' -o '{#} + 101'.jpg
56.
by foobarqux 1y ago
Mostly a note for myself: something like this would probably work (not tested): <new-landings.txt parallel --pipe --recend '\n\n' --colsep '\n' --plus curl '{1/large/medium}' -o '{#} + 101&#x2
57.
by foobarqux 1y ago
Apparently Palmer Luckey doesn't have an official executive role at Anduril? He's listed as founder. Does he work there day to day? https://www.anduril.com/leadership/
58.
by foobarqux 1y ago
I've confirmed this is false using the clapper-massive-rotten-tomatoes dataset on Kaggle which contains reviews up to 2023 (so note the scores are different than current scores): there are in fact many movies that have high hot-or-not
59.
by foobarqux 1y ago
As others have said computers already help prove theorems like the four color theorem. It’s not that shocking that LLMs can prove a relative handful of obscure theorems. An alpha-theorem (neural net directed “brute force” search) type syste
60.
by foobarqux 1y ago
> This is one example. How many other attempts did the person try that failed to be useful, accurate, coherent? High chance given that this is the same guy that came up with SVG unicorn (sparks of AGI) which raises the same question even

More ›