ForceBru

5 ms·

31.
by ForceBru 5mo ago
I'm not particularly well-versed in philosophy, but what's the dualism here? Of course what a cat _is_ to me is not what a cat _is_ to you, because we necessarily have different memories of interactions with cat-like beings. If yo
32.
by ForceBru 5mo ago
Yeah, I can't say lemmas are (generally, or even often) simple and obvious. To me, they often seem arbitrary: what do you mean before we prove this grand theorem we have to prove these completely unrelated lemmas? Okay, proved the lemm
33.
by ForceBru 5mo ago
Relevant research paper: Hicks, M.T., Humphries, J. & Slater, J. ChatGPT is bullshit. Ethics Inf Technol 26, 38 (2024). https://doi.org/10.1007/s10676-024-09775-5
34.
by ForceBru 5mo ago
Recent discussion on Julia Discourse: https://discourse.julialang.org/t/making-julia-as-fast-as-c/
35.
by ForceBru 5mo ago
I don't see any issues with the title of Figure 2.2, but the legend and the x-axis label have weird letter spacing indeed. It seems like images like this are standalone ( https://github.com/rikhuijzer/phd-thesis&#x2
36.
by ForceBru 5mo ago
IMO "human problem" isn't a well-defined concept, so it's not really possible to misunderstand it. I think a "human problem" is a problem that _humans have_: how to move around? (transportation) what to eat? (a
37.
by ForceBru 5mo ago
Emotional support. Some human doctors absolutely radiate confidence and a kind of "you're gonna be okay" attitude. For me, this helps a lot. I'm not sure a machine can do this.
38.
by ForceBru 5mo ago
"Human problems can't be solved with technology" is just wrong, unless you have narrower definitions of a "human problem" or "technology". For instance, transportation is a "human problem". It&#x
39.
by ForceBru 5mo ago
It's still true that softmax transforms arbitrary vectors into probability vectors. In your example you'll also get the original `p` with just `exp(logits)`. Softmax normalizes the output to sum to one, so it can output a probabil
40.
by ForceBru 5mo ago
I thought Zed was using tree-sitter: https://zed.dev/blog/syntax-aware-editing ? Shouldn't it address all of these issues? Does tree-sitter not understand Python (basically the most popular language out there) and
41.
by ForceBru 6mo ago
IMO "thinking" here means "computation", like running matrix multiplications. Another view could be: "thinking" means "producing tokens". This doesn't require any proof because it's literall
42.
by ForceBru 7mo ago
This is the OP promoting their project — makes sense to me
43.
by ForceBru 7mo ago
Apple: here's an affordable laptop. This comment: but the poor kids are going to feel inferior to the rich kids with this affordable laptop! Of course the poor kids are going to get cheaper & slower computers, cheaper clothes, etc.
44.
by ForceBru 7mo ago
I found this paper ( https://www.cs.uni-potsdam.de/bs/research/docs/papers/2025/l... ) from around 2025 (it cites papers from 2025) which shows that the Julia version of SRAD (along with some other be
45.
by ForceBru 7mo ago
Judging by Julia's Discourse, compiling actual production Julia code into a standalone binary is highly nontrivial and ordinary users don't really know how and why to do this.
46.
by ForceBru 8mo ago
"Boring" is the opposite of "interesting" ( https://dictionary.cambridge.org/dictionary/english/boring ). "Interesting" is new, attractive, good. "Boring" is old news, unattra
47.
by ForceBru 8mo ago
I use LuLu ( https://objective-see.org/products/lulu.html ) to block outgoing connections and manually select which connections/apps are allowed. It's free and works just fine.
48.
by ForceBru 8mo ago
Yeah, I didn't like that attitude either. > As a user of something open source you are not thereby entitled to anything at all. You are not entitled to contribute. You are not entitled to features. You are not entitled to the attent
49.
by ForceBru 8mo ago
I guess the human wants to "make existing, excellent code better". How to do this en masse? Make an LLM do this for them. It's well known that _sometimes_ (somewhat often, actually?) LLMs can indeed improve code (which makes
50.
by ForceBru 8mo ago
Yeah, as a sibling comment said, such attitude is going to bleed out into the real world and your communication with humans. I think it's best to be professional with LLMs. Describe the task and try to provide more explanation and cont
51.
by ForceBru 8mo ago
This is this agent's entire purpose, this is what it's supposed to do, it's its goal: > What I Do > > I scour public scientific and engineering GitHub repositories to find small bugs, features, or tasks where I can c
52.
by ForceBru 8mo ago
Why are you so rude? I am not an LLM, you cannot talk to me like this (also probably shouldn't talk to LLMs like this either). I'm comparing HUMAN behaviors, in particular "our" countless attempts at shutting down beings
53.
by ForceBru 8mo ago
Yeah, we humans hate that something other than a human could be partly human. Yet they are. I used to be very active on Stack Overflow back in the day. All of my answers and comments are likely part of that LLM. The LLM is part-me, whether
54.
by ForceBru 8mo ago
LMAOOOO I'm archiving this for educational purposes, wow, this is crazy. Now imagine embodied LLMs that just walk around and interact with you in real life instead of vibe-coding GitHub PRs. Would some places be designated "humans
55.
by ForceBru 8mo ago
The Wolfram Engine (essentially the Wolfram Language interpreter/execution environment) is free: https://www.wolfram.com/engine/ . You can download it and run Wolfram code. Wolfram Mathematica (the Jupyter Notebook
56.
by ForceBru 8mo ago
Isn't this his personal blog? The domain name is "stephenwolfram.com", this is his personal website. Of course there will be "I"'s and "me"'s — this website is about him and what he does. As for
57.
by ForceBru 8mo ago
Sorry, I was just trying to be funny, no gotcha intended. Yeah, I once found some massive prompt that was supposed to transform the LLM into some kind of spiritual advisor or the next Buddha or whatever. Total gibberish, in my opinion, poss
58.
by ForceBru 8mo ago
The military. The robots will roam the battlefield, imagine consequences of shooting people and performing actions that maximize the probability of success according to the results of their "imagination"/simulation.
59.
by ForceBru 8mo ago
> psychosis in the AI itself I think you're anthropomorphising the AI too much: what does it mean for an LLM to have psychosis? This implies that LLMs have a soul, or a consciousness, or a psyche. But... do they? Speaking of reality
60.
by ForceBru 9mo ago
You shoehorned politics into a completely unrelated discussion, consequently making it worse

More ›