HNHacker News
TopNewBestAskShowJobs

twinkjock

-10 karma · joined September 27, 2021

submissionscomments
twinkjock··on If you're remote, ramble
This whole post is unnecessary if you have threaded replies and threaded conversations.
twinkjock··on Weather Model based on ADS-B
This is a blatant ad…
twinkjock··on Long division verified via Hoare logic
This is why connecting formal verification to an infinite (possibly-incorrect-)labor machine such as an LLM system can indeed save human labor.
twinkjock··on In memoriam
I’d encourage you to read the actual text of the law and not just others’ interpretation. The sole proprietorship likely falls into one of the exception clauses or is likely using a platform.
twinkjock··on In memoriam
Read the actual text of the law. It creates opportunities to appeal and other options. Another option is for these communities to band together, which seems to be happening.
twinkjock··on Show HN: Jq-Like Tool for Markdown
Most big employers consider GPL unusable and will only allow Apache, MIT, BSD, and other permissive patent-free licenses.
twinkjock··on Vietnamese Graphic Design
Can you help verify some of the translations? I’m getting different results using GTranslate.
twinkjock··on Show HN: Jq-Like Tool for Markdown
Thanks for sharing this Yuval! Thanks as well for using permissive licenses so I can use this at work.
twinkjock··on In memoriam
Yes, at least for platforms like Discord, they bear the responsibility based on my non-lawyer reading of the plain English. YMMV, IANAL.
twinkjock··on In memoriam
That is not the stated purpose of the law and there is recourse built into it. Too often folks view these laws as binaries where none exists.