HN user

FranchuFranchu

199 karma

Type theory is great!

meet.hn/city/ar-Buenos-Aires

Posts3
Comments99
View on HN

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.

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.

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.

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

The Null Pointer 2 years ago

I used to use this frequently, but unfortunately at some point my /8 IP range was blocked from uploading files. Most likely because bot traffic outweighs legitimate traffic, since I live in a third-world non-english-speaking country.

Note: This just says that any GoL pattern that can be constructed by a universal constructor can be constructed from 15 gliders. A universal constructor is a GoL pattern that can construct a very diverse set of patterns, but not any pattern. For example, Garden of Eden patterns are excluded from this category.

This was the injected JS code:

    document.getElementById('name-input').value = document.getElementById('yay').outerHTML; setName(); console.log('yay')
The `<img>` tag I used was wrapped around a `div` element that had the `yay` id. I used `onload` instead of `onerror`, with an image link from Wikipedia.

I wrote an XSS worm that turns people's names into "yay" (and the worm code) but made myself immune to it. Now someone will have to figure out how to write a counter-worm to remove the worm from the lightsaber population. Until then, the "name" feature will be permanently held hostage (by the yay worm)

As soon as ChatGPT got released, I tried to make it solve IMO-style problems. It failed.

If this is legit, this is huge. Finding geometric proofs means proving things, and proving propositions is what an intelligence does. In my opinion, this is the closest we have gotten so far to AGI. Really excited to see what the future holds.

This idea ("I'm against IDs because I fear what they'll do with it") is really interesting to me, because in my country (Argentina) a large part of the national pro-ID sentiment comes from looking back on our own history and attempting to prevent some of the human rights abuses that were committed in our country.

The last dictatorship tried to erase dissident's identities, kidnapped their children and erased their links with their previous family. As a consequence, Argentina now has a "Right to Identity" enshrined into our Constitution and deeply ingrained into our society and culture.

Firefox 118 3 years ago

Native Spanish speaker here.

If I had to translate "We drove across the island", and make the car explicit without the first clause giving context, I'd say:

Cruzamos la isla en el coche

We crossed the island in the car

The best solution to this problem is taxing land value instead of taxing property. Land value taxes have a lot of advantages. They incentivize construction, disincentivize vacant lots, and they also remove the profit that can be earned by being an idle landlord, which is unearned income.

With property tax, improvements on your property are taxed. This makes construction less profitable / housing more expensive. With a land value tax, they aren't.