axelsvensson

6 ms·

1.
Show HN: A tool to sign PDF files. With Linux support(github.com)
3 points by axelsvensson 1y ago|0 comments
2.
by axelsvensson 1y ago
A sibling and me constructed a con-lang, and we tried reverse polish order where you say the terms before the connectives. It failed badly. While it's easy to construct sentences that way, it puts immense cognitive load on the receiver
3.
A tool to visually sign PDF files on Linux(github.com)
4 points by axelsvensson 1y ago|1 comments
4.
by axelsvensson 1y ago
A tool to sign PDF files, with Linux support. We are here referring to the visible, non-cryptographic squiggles.
5.
by axelsvensson 3y ago
Someone who holds this view would probably have to make the definitions more precise, so that if you live in a deterministic reality, you actually cannot conceive of a universe that isn't deterministic. You can throw around words like
6.
by axelsvensson 3y ago
I believe that you are more real than Donald Duck if and only if the future is not yet determined. In philosophy, theories of time are categorized in A- and B- theories [1]. In B-theoretic time, the difference between past, present and futu
7.
by axelsvensson 3y ago
Author here. I chose tkinter because it's included in Python, or so I thought. I wanted to minimize the complexity of installation. The README lists alternatives and why I find them insufficient. Okular allows free-hand annotations, bu
8.
by axelsvensson 3y ago
> We have so many online tools available to convert Volume units, but not every online tool gives an accurate result and that is why we have created this online Volume converter tool. Then it converts 231 in^3 to 0.99999994293884 U.S. ga
9.
by axelsvensson 4y ago
But they're anything but. https://news.ycombinator.com/item?id=35397752
10.
by axelsvensson 4y ago
Backblaze is terrible, but you will likely only find out when you need to restore. When backup excluded some files, they blamed antivirus software and recommended to go without. They actively deleted their only backup because the client cou
11.
by axelsvensson 4y ago
"Better air quality is the easiest way not to die" https://dynomight.net/air/
12.
Time-stamping: An urgent, neglected AI safety measure(forum.effectivealtruism.org)
1 points by axelsvensson 4y ago|0 comments
13.
by axelsvensson 4y ago
That's why I'd like to see a web archive doing this, so that most publicly accessible content gets a timestamp. That way, it would be suspicious to present an image of an event in the far past that should've been published lo
14.
by axelsvensson 4y ago
This can also be done anonymously for private files, as a feature of backup systems. That way, you could get the ability to prove to anyone that a certain piece of content was created before that timestamp. It would cost a minimal storage o
15.
Ask HN: Can cryptographic time-stamping protect our history from deepfakes?
3 points by axelsvensson 4y ago|4 comments
16.
by axelsvensson 4y ago
Contact me if you're serious about this, I have some input.
17.
by axelsvensson 4y ago
> I like to imagine ... there already exist groups of companies that own each other ... around a cycle. Do an image search for "Samsung group ownership structure"
18.
by axelsvensson 5y ago
It appears you can. At least searching for "buy your own debt" gives results for entities who claim to help you do so, without tanking your credit score. "You're certainly not going to take legal action against yourself&
19.
The Memory Image Pattern(axelsvensson.com)
5 points by axelsvensson 5y ago|0 comments
20.
by axelsvensson 5y ago
I feel like that would fail. The reason is that Gödel numbers are rather arbitrary, and will therefore be rather far from a form that insights can be gleaned from. They are a representation of a representation, using the fundamental theorem
21.
by axelsvensson 6y ago
Lucidity might not be required. I once solved a math problem in a non-lucid dream, and after waking up I could confirm the solution was correct.
22.
by axelsvensson 6y ago
Well, your customers are mostly going to be human. For instance, I'm a human and I'd love to spend $500 for someone, who knows what they're doing, to coach/guide me over chat/email through the process of validating
23.
by axelsvensson 6y ago
I would greatly appreciate a service that fills this need, but your approach has a bad smell. The second you mention using AI for generation, I'm no longer interested. I'd rather pay 10 times whatever you had in mind and get human
24.
by axelsvensson 6y ago
An open source, generic, semantically aware diff/patch toolchain. This is a fairly big undertaking, including at least: - A standard for representing and installing grammar information. Perhaps a file in /usr/share/gramm
25.
by axelsvensson 6y ago
Reminds me of this: https://www.sciencedirect.com/science/article/pii/S106474811...
26.
by axelsvensson 6y ago
Reminds me of this: https://medium.com/incerto/the-most-intolerant-wins-the-dict...
27.
by axelsvensson 6y ago
I would not sign your initiative since I believe it is dangerous and would make the web worse. Here's why: You propose to make web protocols/standards and national laws tightly coupled for the long run, to solve a usability proble
28.
by axelsvensson 6y ago
The only ones I can think of are the ones that are considered more "true" than the underlying thing they abstract. Example: Integers . Add 5 jugs of water with a gallon each and you end up with almost 5 gallons. You call that a
29.
by axelsvensson 6y ago
If programming seems hard, it might be because you need to learn a separate discipline depending on the order of magnitude of your codebase LOC: 10⁰: Axiomatics 10¹: Logic 10²: Mathematics 10³: Computer Science 10⁴: Software Engineering 10⁵
30.
by axelsvensson 6y ago
Bug: y seems to be undefined or 0 when evaluating the z part of the mapping

More ›