kbradero

6 ms·

1.
by kbradero 2mo ago
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 implemented ontop, that mea
2.
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects(github.com)
18 points by kbradero 2mo ago|2 comments
3.
by kbradero 2mo 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
4.
Show HN: Turn SSH X11 Forward to WebSocket – remote apps flow to you workstation
3 points by kbradero 2mo ago|1 comments
5.
by kbradero 3y ago
be a good person and post some pictures about both so we can refer to it someday. For science !
6.
Don Knuth letter about libraries increasingly unable to afford prices (2003) [pdf](cs.stanford.edu)
190 points by kbradero 3y ago|100 comments
7.
by kbradero 3y ago
this letter is from 2003.
8.
by kbradero 3y 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.
9.
by kbradero 4y 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.
10.
by kbradero 6y 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 tha
11.
by kbradero 6y ago
100% the first, always the first. Other than that justice will become just a political tool.
12.
by kbradero 6y ago
what is the typical career/study path for this field ?
13.
by kbradero 6y 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
14.
by kbradero 6y ago
celullar replication and virus code insertion
15.
by kbradero 6y 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.
16.
by kbradero 7y ago
Detroit. Best place ever.
17.
by kbradero 7y ago
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/jagg-ix Email: jorge.gar
18.
by kbradero 8y ago
have you consider checking your health ? im not kidding, vitamins, brain, etc.
19.
by kbradero 8y ago
i have used duckduckgo for years, they are really good :)
20.
by kbradero 8y ago
does it mean that you can load your designs on that fpga ? where can we find what features are exposed to sw ?
21.
by kbradero 9y ago
is there any book/document about building embedded systems with openbsd/netbsd/freebsd ?
22.
by kbradero 9y ago
c is not your friend as a knife is not.
23.
by kbradero 10y ago
wow ! what tools are you guys using ?, do you have the same for microcode ? this is really interesting !
24.
by kbradero 10y ago
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 atomic weapons. So all countries with nuclear power
25.
by kbradero 10y ago
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 !
26.
by kbradero 10y ago
is there a book/documents about DB internals ? I have found some books about theory but not about an actual implementation.
27.
by kbradero 10y ago
I think nintendo wii has a power cpu and you can run linux on it !
28.
by kbradero 10y ago
is BITS building for ARM ?
29.
by kbradero 10y ago
Location: Mexico Remote:no Willing to relocate: yes Technologies: Linux Device Drivers, embedded, UEFI BIOS, PCI Express, SysAdmin experience, IA32_64 architecture, imx6 SoC. Email: herzabits@hush.com
30.
by kbradero 10y ago
is there any email account to sent a resume for that team ? :)

More ›