Viewing profile — kbradero

Lean4 tactics are related to Clojure/Lisp based macros ( https://lean-lang.org/theorem_proving_in_lean4/Tactics/ ) Lean4 core is a functional programming lang and Zil it's a DSL im…

Google Zanzibar datalog lang lets you describe concepts and express how they are related. I generalize it to DSL you can use on Lean4 (and other languages) this lets you represent …

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…

https://github.com/jagg-ix/weaverssh

be a good person and post some pictures about both so we can refer to it someday. For science !

this letter is from 2003.

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.

he should put stripe/google pay option so people can pay on 1 click from the front page, if wikipedia does it, he can.

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…

100% the first, always the first. Other than that justice will become just a political tool.

what is the typical career/study path for this field ?

Location: Mexico Remote: yes Willing to relocate: no Technologies: linux, kernel, embedded, IOT, cybersecurity, python, C, jenkins, javascript. email: jorge[dot]garcia[dot]gonzalez…

celullar replication and virus code insertion

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.

Detroit. Best place ever.

Location: Detroit Metro area, Mexico Remote: yes Willing to relocate: yes Technologies: linux kernel, uboot, UEFI, BIOS, python, PCIE,IoT, networking. Résumé/CV: https://github.com…

have you consider checking your health ? im not kidding, vitamins, brain, etc.

i have used duckduckgo for years, they are really good :)

does it mean that you can load your designs on that fpga ? where can we find what features are exposed to sw ?

is there any book/document about building embedded systems with openbsd/netbsd/freebsd ?

c is not your friend as a knife is not.

wow ! what tools are you guys using ?, do you have the same for microcode ? this is really interesting !

mm, I remember from a lecture that 'nuclear waste' is actually a label used by the nuclear industry but non all of them can be disposed, some by products can be used as a base atom…

hey thanks!, tho I agree with this, I was thinking, if there are books about kernel internals there may be some about db internals. but Thanks for your links !