There's a 2014 game that is just that. Lim Rocket: slingshot around planets while also avoiding crashing.
HN user
FranchuFranchu
Type theory is great!
meet.hn/city/ar-Buenos-Aires
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.
The President of Colombia https://www.bbc.com/news/articles/cn8xg1jve73o
You can't realistically target anyone outside the US with this.
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.
Hi! Great work! Could you add support for other amounts of measures such as 3/4?
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.
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?
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
I'm not Barry Jay, but I found it here: https://github.com/barry-jay-personal/typed_tree_calculus/bl...
Legalese is just obfuscated English
This is correct, for ext2 at least. See [0], bytes 26 and 27
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.
Unfortunately, robots that kill people already exist. See: semi-autonomous war drones
I asked ChatGPT to craft a story to maximize the amount of bullshits. This is the result: https://pastebin.com/raw/zM9h6Cau , with 9 BSs, 36 bullshits, and 20 bullfuckingshits
You might find this interesting, if you didn't know about it already: https://en.wikipedia.org/wiki/Samy_(computer_worm) . In 2005 someone wrote an XSS worm in MySpace that made everyone follow a single person. It worked by injecting itself in the victim's profile description. It quickly reached more than a million people.
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)
Old thread: https://news.ycombinator.com/item?id=39927010
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.
Any carbon tax or carbon tax-like policy will be passed on. However, the _absence of a carbon tax_ already causes costs we don't see yet, when in the future, people die as a consequence of climate change.
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.
That's a really interesting idea. A LLM that tries to optimize engagement.
I created a Linux image that allows for this about a year ago:
Linux "distro" that only includes a Lua interpreter and a Lua library to issue syscalls
What's the point of having an state obligation enshrined in your constitution if there are no consequences if the state doesn't follow them?
The dictionary section is really funny. Highly recommend it.