Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
chriswarbo
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
chriswarbo
15d ago
True, I was a very happy Epiphany user about 20 years ago. Konqueror is the KDE equivalent (which of course begat KHTML -> Webkit -> Blink)
2.
▲
by
chriswarbo
16d ago
I've used Linux exclusively for over 20 years. What is its "OS browser"?
3.
▲
by
chriswarbo
22d ago
> a link that looks like `ipfs://12340-9q5ui1j2;lk3rjq;ladksfj` won't scare those same people off Why would non-technical users be looking at raw URLs? Surely links "look like" blue underlined text; or a button;
4.
▲
by
chriswarbo
23d ago
Pronounceable names can point to a content address, the same way they can point to an IP address. For example, https://dnslink.dev points a DNS name to a content address; git refs point to git objects; etc.
5.
▲
by
chriswarbo
23d ago
> The only reason it’s decentralized is because blockchain and crypto was hype 10 years ago. IPFS is not "blockchain" or "crypto"(currency). It's much closer to git-over-bittorrent. Note that both of those things
6.
▲
by
chriswarbo
23d ago
Deeper OS integration would be nice, but harder to roll out. I think the plan early on was to make something useful/generic/agnostic enough that a couple of big browsers would add support, then it could try becoming a Web standard
7.
▲
by
chriswarbo
23d ago
My personal opinion is that any notion of "incentive mechanisms" for IPFS is bullshit: whether Filecoin, or otherwise. There is already a perfectly good incentive mechanism: if someone wants to host some data, they can; and if nob
8.
▲
by
chriswarbo
23d ago
> IPFS, Freenet, and experiments like that > a libertarian decentralized P2P E2EE communication project Your argument makes sense for Freenet (though I'd personally defend that project too); but not so much for IPFS. Firstly, IPF
9.
▲
by
chriswarbo
23d ago
Just checked protocol labs site and... holy shit: > Protocol Labs is an innovation network driving breakthroughs in computing to push humanity forward. PL connects more than 750 tech startups, funds, accelerators, foundations, open sourc
10.
▲
by
chriswarbo
23d ago
I don't understand. Billions of non-technical users are loading URLs like ` https://cdn.foo/?guid=deadbeefdeadbeefdeadbeef ` all the time. Why would they care if those URLs became `ipfs://deadbeefdeadbeefdeadbe
11.
▲
by
chriswarbo
23d ago
I agree that IPNS has always seemed a bit naff; but alternatives naming systems can be used too (if your system's name resolver can understand them); e.g. this uses pkarr addresses for IPFS content: http://www.chriswarbo.net
12.
▲
by
chriswarbo
1mo ago
Indeed, I use LLMs on some hobby Racket programs, and for Emacs Lisp, and it always messes up parentheses; then burns tokens trying to count them over and over (feels like "the number or rs in strawberry" problem). I've fou
13.
▲
by
chriswarbo
1mo ago
> the original DOS games "Total Wormage" was on the Amiga, which became the original Worms. It was ported to other machines after: https://en.wikipedia.org/wiki/Worms_(series)#Development https:/
14.
▲
by
chriswarbo
1mo ago
I've found DeepSeek v4 models to run well in pi.dev I agree they're not as capable as Claude Sonnet, but they're much cheaper.
15.
▲
by
chriswarbo
1mo ago
I jsut did some digging and it seems you're right, it's only for methods which call themselves (which indeed get compiled into a loop, as an entirely local transformation). So not hugely useful. Apologies, I've not written Sc
16.
▲
by
chriswarbo
1mo ago
Sounds similar to @tailrec in Scala I personally use the phrase "tail call elimination" when it's a requirement that can be relied on; and "tail call optimisation" when it might be implementation-dependent, context-
17.
▲
by
chriswarbo
1mo ago
> Is there an inverse Pareto front? Yes, trivially. Just look at the opposite end of each metric. Pareto optimality doesn't know/care what each metrics means, since it keeps them all separate.
18.
▲
by
chriswarbo
1mo ago
If we have a set of things (e.g. language models) and some measures we care about (e.g. cost, speed, whether weights are open, scores for a few benchmarks, etc.), then some of those things will be "pareto optimal" (see below) and
19.
▲
by
chriswarbo
2mo ago
Magit allows selective staging/unstaging, either of hunks, or by selecting lines (AKA Emacs's "region"). I avoid staging from the git commandline, unless I'm just doing whole files. PS: Majutsu provides this too (a
20.
▲
by
chriswarbo
2mo ago
> How long do you spend on transit that most of those are necessary? Toilets are useful immediately (speaking from experience!) Tables are useful even on short trips of a few minutes; e.g. I usually have a notebook and pen in my pocket,
21.
▲
by
chriswarbo
2mo ago
The Nix commands have a decent approach: passing `--help` will invoke `man` on the relevant manual (sub-commands tend to have individual man pages).
22.
▲
by
chriswarbo
2mo ago
Define "nicely". For example, many pagers don't work well when stdin is line-buffered (they assume they'll see individual key presses as they happen) Pagers can also conflict with keys that the terminal emulator is using
23.
▲
by
chriswarbo
2mo ago
Why would anyone working on such code send it anywhere (other than, say, to AWS for hosting)? Source: I work on such code. We don't allow devs to use (cloud-based) LLMs.
24.
▲
by
chriswarbo
2mo ago
This doesn't seem to account for Jevons paradox: if driving is made faster and more convenient, then more people will drive more; which can lead to an overall increase in CO2 emissions, collisions, etc. I'd imagine there would be
25.
▲
by
chriswarbo
2mo ago
> Most cars can fit 5 people So you agree that most cars are far larger and heavier than required? First search result for "average car occupancy"[1]: > In 2022 the Average Number of Occupants Per Trip for Household Vehicles
26.
▲
by
chriswarbo
2mo ago
> If every road were free of traffic, every destination had unlimited parking at the door, everyone already owned a car, and driving carried no direct or indirect costs, almost everyone would drive everywhere. Cars don't even have t
27.
▲
by
chriswarbo
2mo ago
I was responding to this part: > if our universe is undecidable My point is, there would be no way to empirically test this; and therefore, it would make no observable difference, there would be no way to exploit/utilise such effect
28.
▲
by
chriswarbo
2mo ago
> I think the day needs time units which are factors of 10x or 1000x to match SI prefixes The nice thing about metric/SI prefixes is that they're generic multipliers, which can be used with any units we like. If you want to use
29.
▲
by
chriswarbo
2mo ago
There's no way to empirically spot an uncomputable process, since it would require infinitely-many observations. For example, if aliens claim their machine solves the halting problem, we could test it on millions of inputs whose haltin
30.
▲
by
chriswarbo
2mo ago
> Information and computation are not the same thing. Shannon information, sure. However, algorithmic information (Kolmogorov complexity, etc.) is based on computation.
More ›