Live data from Hacker News

Viewing profile — FranchuFranchu

FranchuFranchu

HN member
Joined
Sat, Apr 24, 2021, 7:56 PM UTC
HN karma
199
Public activity
103 items

About FranchuFranchu

Type theory is great!

meet.hn/city/ar-Buenos-Aires

Recent public activity

  1. comment
    Comment #47729667

    There's a 2014 game that is just that. Lim Rocket: slingshot around planets while also avoiding crashing. https://dan-ball.jp/en/m/pc_lim/

  2. comment
    Comment #46862328

    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.

  3. comment
    Comment #45839464

    The President of Colombia https://www.bbc.com/news/articles/cn8xg1jve73o

  4. comment
    Comment #44686915

    You can't realistically target anyone outside the US with this.

  5. comment
    Comment #43676511

    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 usu…

  6. comment
    Comment #43455329

    Hi! Great work! Could you add support for other amounts of measures such as 3/4?

  7. story
  8. comment
    Comment #43025702

    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…

  9. story
  10. comment
    Comment #42857580

    > 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 o…

  11. comment
    Comment #42800114

    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?

  12. comment
    Comment #42564260

    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

  13. comment
    Comment #42440840

    I'm not Barry Jay, but I found it here: https://github.com/barry-jay-personal/typed_tree_calculus/bl...

  14. comment
    Comment #42228479

    Legalese is just obfuscated English

  15. comment
    Comment #42147425

    This is correct, for ext2 at least. See [0], bytes 26 and 27 [0] https://wiki.osdev.org/Ext2#Inode_Data_Structure

  16. comment
    Comment #41416234

    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 …

  17. story
  18. comment
    Comment #40860057

    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 c…

  19. comment
    Comment #40733283

    Unfortunately, robots that kill people already exist. See: semi-autonomous war drones

  20. comment
    Comment #40693998

    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

  21. comment
    Comment #40259288

    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 ev…

  22. comment
    Comment #40259232

    This was the injected JS code: document.getElementById('name-input').value = document.getElementById('yay').outerHTML; setName(); console.log('yay') The ` ` tag I used was wrapped …

  23. comment
    Comment #40253886

    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…

  24. comment
    Comment #39945424

    Old thread: https://news.ycombinator.com/item?id=39927010

  25. comment
    Comment #39033814

    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 …