FranchuFranchu

Joined 5 years ago

Karma
199
Submissions
103
Member since
Apr 24
Type theory is great!

meet.hn/city/ar-Buenos-Aires

View on Hacker News

Recent submissions

Comment · 6 months ago
Comment · 9 months ago
You should probably say somewhere that the questions are US-centric. For example, "the death penalty should remain legal" doesn't make sense in places where it isn't.
Comment · 1 year ago
Comment · 1 year ago
You can't realistically target anyone outside the US with this.
Comment · 1 year ago
Hi! This is part of Jewish religious purity law and not usually taken as part of the rules that govern most Christian denominations. For example, women who are menstruating are usually not banned from participating in Christian services, and any other people would be unsuited to partake in Temple service according to Jewish religious law are usually allowed to participate in worship in Christianity.
Comment · 1 year ago
Hi! Great work! Could you add support for other amounts of measures such as 3/4?
Comment · 1 year ago
You could store UTF-8 encoded data inside the hidden bytestring. If some of the UTF-8 encoded smuggled characters are variation selector characters, you can smuggle text inside the smuggled text. Smuggled data can be nested arbitrarily deep.
Comment · 1 year ago
> Obviously, nobody steals things while the train is in motion.

Something interesting: I live near a train line where the doors are not automatic (they have to be opened manually on each stop), and there have been incidents where people get pickpocketed while the train is still in motion, and the thief jumps out right before the station, when the train has slowed down significantly but is still in motion. Many people have been hurt doing this.

Comment · 1 year ago
It would be interesting to see the opposite of this; which papers are really interesting and look useful, but did not end up having a significant impact?
Comment · 1 year ago
Happy new 2025 = (20 + 25)^2 = (2 + 0!)^2*5 = (1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9)^2 = 1^3 + 2^3 + 3^3 + 4^3 + 5^3 + 6^3 + 7^3 + 8^3 + 9^3
Comment · 1 year ago
Comment · 1 year ago
Legalese is just obfuscated English
Comment · 1 year ago

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton