KolenCh

6 ms·

1.
by KolenCh 3d ago
Software engineers have learnt to read the reaction to coding agents as a split between people who love the craft and people who care about the product. Seen through that lens, mathematicians upset about OpenAI’s Navier–Stokes result look l
2.
Mathematicians aren't mourning their craft: Translating "After Math" for SE(blog.kolen.dev)
2 points by KolenCh 3d ago|1 comments
3.
Progressive disclosure for mathematical proofs: The parallel with cybersecurity(blog.kolen.dev)
5 points by KolenCh 4d ago|1 comments
4.
by KolenCh 4d ago
My previous submission covers the Navier–Stokes “incident” itself. Here I want to look at a parallel: AI agents are finding security bugs and producing mathematical proofs faster than the people working in these fields can absorb them. Can
5.
Unpacking the Navier–Stokes blowup: the math, the machines, & the mathematicians(blog.kolen.dev)
1 points by KolenCh 5d ago|0 comments
6.
by KolenCh 1mo ago
Have you read the article? It has an unbalanced emdash: `word— another word`. A novice mistake that an LLM likely will not commit nowadays. In standard typography—depending on which guide you need to follow — it can only be padded by space
7.
by KolenCh 2mo ago
I used to distro-hop a lot and in recent years settled with RHEL. The key change over the years is how fragile the supply chain becomes, so while distro like Arch Linux is a great learning experience, I just want to put a layer of maintaine
8.
by KolenCh 3mo ago
How would this compare to shpool: https://github.com/shell-pool/shpool
9.
by KolenCh 3mo ago
I think it should be “Claude Fable is relentlessly protective until it isn’t” and pull more on the thread that it “hits a hidden guardrail” and drop into Opus. Both the fact that it knows and deployed such a workaround on a CSS problem and
10.
Rsync: 3.4.1 –> 3.4.3(github.com)
3 points by KolenCh 4mo ago|1 comments
11.
by KolenCh 4mo ago
rsync regression since 3.4.3 This link (edit: I link to https://github.com/NixOS/nixpkgs/pull/522245#issuecomment-45... but probably the anchor is stripped automatically?) is the clearest that I can find to p
12.
by KolenCh 4mo ago
That’s not what he said. And that part is from the GTD principle, much older than the “second brain” wave. That GTD principle, backed by psychological research, is basically saying that you should extract what you have in your mind immediat
13.
by KolenCh 4mo ago
:) I experienced both kind of sessions, one kind is like very complicated thing and it finish thousands of lines on its own for quite a while (long horizon problem), another kind is like a seemingly simple task that the agent done in a minu
14.
by KolenCh 5mo ago
Have you tracked your time and confirmed this? The reason I an ask is, it would felt like a 5 minutes task, but I track my time and found out often time I thought I’d just quickly check the progress made by the agents and it would easily be
15.
by KolenCh 5mo ago
“Claude” is more specific than “you”. Why rely on attention to figure out who’s the subject? Also it is in their (people from Anthropic) believe that rule based alignment won’t work and that’s why they wrote the soul document as “something
16.
by KolenCh 6mo ago
It eliminated some ambiguity. It should be quite self evident that even without an example it is quite impossible to eliminate all ambiguity (it’s a feature of human language.) The more important property is that it never introduces more am
17.
by KolenCh 6mo ago
This is uniquely interesting to me because humongous amount of data are produced in HEP so automatic research (data analysis) in that domain is I think a huge enabler. It makes trying out ideas much cheaper (in human time) and you could fla
18.
AI Agents Can Autonomously Perform Experimental High Energy Physics(arxiv.org)
3 points by KolenCh 6mo ago|1 comments
19.
by KolenCh 6mo ago
My naïve answer to this is, one should never be interested in things because of how useful it might be, but because of the thing itself. Otherwise, AI won’t be the first to make one losing interest. With interest, AI may even make it more a
20.
by KolenCh 8mo ago
I learnt this the hard way: if anyone is sending multiple emails, with seemingly very important titles and messages, and they get no reply at all, the receiver likely haven’t received your email rather than completely ghosting you. Everyone
21.
by KolenCh 8mo ago
Small bugs? May be. But there’s a lot of lack of functionality and stability. I’d recommend InFuse if anyone is hitting those problems. If it has been running fine for you then there’s no need to switch. The problem is related to source cod
22.
by KolenCh 9mo ago
A.k.a. How do you deal with a time dependent network?
23.
by KolenCh 9mo ago
Nice illustration. To be a bit picky, there’s no unprocessed photo. They start with a minimally processed photo and take it from there. The reason I clicked is that when I saw the title, I’m tempted to think they might be referring to analo
24.
by KolenCh 9mo ago
I think there’s a spectrum and you said it as if there’s only two sides. For me personally, I built my “data centre” as cheap as possible, but there’s a few requirements that the computers you’re using would not cut it: storage server must
25.
by KolenCh 9mo ago
It only works on Mac and windows as a VM. Nix is for reproducibility. Nix and docker are orthogonal. You can create reproducible docker image via nix. You can run nix inside docker on systems that doesn’t allow you to create the nix store.
26.
by KolenCh 9mo ago
Some people take Moore’s law in a strong sense: doubling rate is a constant. That is long dead. But if we relax it to be a slowly varying constant, then it is not dead. That constant has been changed (by consensus) for a few times already.
27.
by KolenCh 10mo ago
Original title is “What Are Lie Groups?”. This article is the shallowest I have read from quanta magazine. I expected more, give there articles in mathematics.
28.
by KolenCh 10mo ago
https://freakonomics.com/podcast/can-you-change-your-persona... People have different modes of personality so to speak. People behaves differently with a different crowds all the time.
29.
by KolenCh 10mo ago
This is equivalent to inverse variance weighting. For independent random variable, this is the optimal method to combine multiple measurements. He just used a different way to write the formula and connect that to other kinds of functions.
30.
by KolenCh 10mo ago
I’ve been using AirPods in macOS in Microsoft Teams call all the time.

More ›