William W Collins’ Post

View profile for William W Collins, graphic

Innovative Transformational Leader | Multi-Industry Experience | AI & SaaS Expert | Generative AI | DevOps, AIOps, SRE & Cloud Technologies | Experienced Writer | Essayist | Digital Content Creator | Author

Ask HN: Who is hiring? (September 2024) by whoishiring via Hacker News: best/comments ([Global] Data Breach) URL: https://ift.tt/vXcqT6p sbenitez  2024-09-02T19:23:54.000000Z Formal | Founding Software Engineer (Compilers, Networking) | REMOTE | Full-Time | >= $200k + 2% equity We're rethinking the computing stack from the ground up for truly elastic, soundly isolated, instantly and globally available execution. We’re building OS interfaces and compilers for low overhead, formally verified isolation without containers or VMs. We're starting with the network: a programming language to replace eBPF and enable globally programmable networking as a service. We are VC-funded ($700k pre-seed), advised by professors from MIT and UWaterloo, and founded by ex-Stanford PhDs. There are two official roles, but we welcome conversations with anyone interested in joining the team. - Compilers & Programming Languages - https://lnkd.in/d87KQJh6 - Kernel Networking - https://lnkd.in/dn2u7SMD Please email us at (work at formalstack dot com) or (sergio at the same domain). [0]: https://formalstack.com nhatcher  2024-09-02T22:57:43.000000Z Off topic, but since you are here, thanks for rocket.rs. Awesome project! sbenitez  2024-09-03T06:28:14.000000Z Thank you! I truly appreciate you saying that. geraldog  2024-09-03T04:39:48.000000Z Hi Sergio, I mailed you an open proposal for a Junior kernel-hacking position in this stellar team of yours. The end-goal (objective) is astounding and the initial goals for the objective are daunting to say the least! sbenitez  2024-09-03T06:27:17.000000Z Hi Geraldo! Thank you for the kind words, and for sending a message! The influx of responses has far exceeded any expectation I could have had, and I'm slowly but diligently responding as I go. Just wanted to let you know that I've received your message and I'm looking forward to chatting with you further. :) geraldog  2024-09-03T23:19:05.000000Z Thanks Sergio! :) andreweggleston  2024-09-02T23:05:08.000000Z Woah, that sounds really cool! I did some research this summer on running programs in kernel space and tactics used to verify safety. This sounds right up my alley—-if I had any of the qualifications! sbenitez  2024-09-03T06:34:46.000000Z If you haven't already, please feel welcome to send us a message! Even if these specific opportunities might not make sense, if this is something you're potentially interested in working on, perhaps there are other opportunities to be found. If nothing else, we're always excited to talk to anyone who's as excited as we are about the general direction. zerr  2024-09-03T09:20:58.000000Z > We are VC-funded ($700k pre-seed) > >= $200k Does this mean that right now you can only pay salaries for 2-3 devs for a year? lowkey_  2024-09-03T19:02:11.000000Z I'm in a similar boat right now as a founder -- likely to just hire 1 engineer at this...

Ask HN: Who is hiring? \(September 2024\)

by whoishiring via Hacker News: best/comments \(\[Global\] Data Breach\)

URL: https://ift.tt/vXcqT6p

sbenitez  2024-09-02T19:23:54.000000Z

Formal \| Founding Software Engineer \(Compilers, Networking\) \| REMOTE \| Full-Time \| \>= $200k + 2% equity

We're rethinking the computing stack from the ground up for truly elastic, soundly isolated,...

Ask HN: Who is hiring? \(September 2024\) by whoishiring via Hacker News: best/comments \(\[Global\] Data Breach\) URL: https://ift.tt/vXcqT6p sbenitez  2024-09-02T19:23:54.000000Z Formal \| Founding Software Engineer \(Compilers, Networking\) \| REMOTE \| Full-Time \| \>= $200k + 2% equity We're rethinking the computing stack from the ground up for truly elastic, soundly isolated,...

news.ycombinator.com

To view or add a comment, sign in

Explore topics