kbradero
Joined 16 years ago
Karma
110
Submissions
51
Member since
Mar 17
Recent submissions
Comment · 3 months ago
Comment · 3 months ago
SSH is not a vpn, ok, but what if you can turn it into one.
Applications on your workstation are unreachable from remote server side, that
is an app can't just open a connection to talk to your local apps.
Except it can! X11 forwarding does exactly that and I found how to use any standard ssh and allow to forward a websocket socks5 connection that transfers files and events and you can have rules to decide before socks5 make the transfer so it's ssh, but in may view, just the way it was always meant to be :)
Comment · 2 years ago
be a good person and post some pictures about both so we can refer to it someday. For science !
Comment · 2 years ago
this letter is from 2003.
Comment · 2 years ago
so glad someone remembers Kentaro Miura on a post like this. they went back to the source and i hope can return asap to this wonderful planet we live.
Comment · 3 years ago
he should put stripe/google pay option so people can pay on 1 click from the front page, if wikipedia does it, he can.
Comment · 6 years ago
so basically mutations would be introduced to humankind, not randomly but based X number of ideas controlled by a government and by this removing entropy to our genetic pool.
Virus would love that, yes why no, lets remove the only thing that has keep all living organism on this planet for billions of years from extinction.
Comment · 6 years ago
100% the first, always the first. Other than that justice will become just a political tool.
Comment · 6 years ago
what is the typical career/study path for this field ?
Comment · 6 years ago
Location: Mexico
Remote: yes
Willing to relocate: no
Technologies: linux, kernel, embedded, IOT, cybersecurity, python, C, jenkins, javascript.
email: jorge[dot]garcia[dot]gonzalez@gmail
Comment · 6 years ago
celullar replication and virus code insertion
Comment · 6 years ago
i learn from Dune to never ever trust blindly any kind of leaders.
Great leaders should be come with a warning on attach to their heads.
Lean4 core is a functional programming lang and Zil it's a DSL implemented ontop, that means it would define a set of abstractions lean4 accepts such as theorems and lemmas, im also learning !
initial implementation uses clojure, I used claude to port it to Lean4 for my projects, it helps AI agents specially well because it allows it to keep context about how concepts are related and define rules and have a query system(datalog) to recover. If you try it pls report back ! if doesnt work, just mention how what what was the context, maybe there's a way to improve it for that case too. cheers and happy hacking.