ContradiX’s Post

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...

Software engineers are getting scared. . . . . Why am I saying this and how do I know? A lot of Software engineer influencers are creating videos about how AI and low-code are not effective. If it were not effective, how did a guy like me, who doesn't know how to code, build and launch 2 semi-complex apps in just 2 months? Software developers are in denial. On the other hand, software engineers who transitioned to becoming founders are saying that building apps using AI and low-code tools are already at the level of a mid to senior level software developer and will eventually replace them. One is biased because they are about to lose their identity. One is optimistic because they are problem solvers for the economy. Choose your side. The future - thanks to AI is going to be crazy.

Will you Repost this for others, 𝐩𝐥𝐞𝐚𝐬𝐞 ♻️ 𝐅𝐫𝐢𝐝𝐚𝐲 𝐚𝐫𝐞 𝐚𝐥𝐰𝐚𝐲𝐬 𝐭𝐢𝐫𝐢𝐧𝐠? 𝐈𝐬𝐧'𝐭 𝐢𝐭 I don't think like this. My mantra for work is, Never feel tired. I often get asked how I don't get tired or how I can work continuously? My reply is simple. I follow below steps :- ->For every 40 mints of screen time, I take 5mint of no-screen time. -> For every 4 hour of continuous work, I take 10 mint of walk. -> I talk with my colleagues on different topics, with this I can clear my mind. -> In my team meetings, I try to talk with my colleagues outside of code. -> I take deep breath in between work. P.S. What's your mantra of feeling less tired? ----- I write content on software development and coding. Let's connect - Shubham Gupta #Coding, #Technology, #SoftwareDevelopment, #Engineering, #SoftwareEngineering, #TechTrends, #TechInnovation, #ProjectManagement, #TechManagement, #DeveloperLife, #Programming, #FutureOfTech, #EngineeringExcellence, #SoftwareEngineer, #TechLeadership, #TechNews, #Innovation, #DigitalTransformation, #Agile, #ProductManagement, #TechUpdates, #AI, #MachineLearning, #Cybersecurity, #CloudComputing, #DataScience, #DevOps, #IT, #TechCareers, #WomenInTech, #Startup, #SoftwareTesting, #FullStackDevelopment, #FrontendDevelopment, #BackendDevelopment, #BigData, #Blockchain, #IoT, #SmartTech, #TechCommunity, #CodeNewbie, #TechSkills, #Company, #Ideas, #Corporate #python #jobs #pythonjobs

The most comprehensive AI powered TrueSelfy TechWorth algorithm does not give you just pointers but converts all your uniqueness into TechValue ($ value, so it is eeasier to negotiate your #contract rate or #salary) #javascript #productmanagement #projectmanagement #fullstackdeveloper #opentowork #hiring

Hiring top-notch developers is crucial for any healthcare organization looking to build innovative software and technology solutions. With the right talent, you can create products that truly move the needle on patient outcomes and experience. But how do you identify and recruit the best of the best in a competitive market? It starts with identifying certain qualities.

Hiring tech talent just got a whole lot easier with IncBot’s new Coding Assessment feature. With customizable coding challenges and automatic evaluation, our AI scores not just technical abilities but also problem-solving skills. Save hours, even days, per hire and gain confidence in the insights you get about candidates' skills. Capabilities: 1. Integrated Coding Assessments 2. Customizable Coding Challenges 3. Automatic Evaluation 4. Comprehensive Feedback 5. Multi-Language Support (C++, Java, Etc.) If you’re hiring engineers, developers, or analysts, you’ve got to check this out. Streamlining your process with AI is a no-brainer. Check out IncBot’s new Coding Assessment feature today! https://lnkd.in/gKr3mkuS #HiringSolutions #TechRecruitment #AIRecruitment #InCruiter

Unleashing Innovation: The Story of insrTech.io's Talented Engineers 🚀 Breaking Ground in Software Innovation🚀 At insrTech.io, we're not just adapting to the digital revolution; we're leading it. 💡 Our commitment to pushing the boundaries of software innovation has placed us at the forefront of the industry. ✨ Tailored Solutions for Complex Backend Needs ✨ We specialize in delivering cutting-edge solutions and top-tier services meticulously crafted for intricate backend requirements. With expertise in Go, Python, Java, Node.js, and Web3 technologies, we're equipped to tackle any challenge head-on. 💼 Spanning Across Diverse Sectors 💼 Our impact extends far beyond the tech realm. From banking to fintech, pharmaceuticals to cybersecurity, we're driving innovation and transforming industries. 🔧 Your Trusted Partner in Backend Solutions🔧 Whether it's pioneering new solutions or providing steadfast support for existing systems, insrTech.io is your go-to partner. Our dynamic and robust backend solutions are tailored to fuel your business growth and success. Ready to take your backend infrastructure to the next level? Let's connect and explore how insrTech.io can empower your business today! 🚀 #SoftwareInnovation #BackendSolutions #insrTech

Sharing a list of 37 AI early-stage startups who are hiring. For those you who have been moved-on or RIF'd or just looking for better opportunities, this is a great source. Two items to highlight: * They are all funded * They are hiring for remote roles Good luck! #career #hiring #remote #consulting

Introducing AlgoRise – a powerful tool for recruiters to assess coding talent with ease. Post coding challenges and find the right candidates faster. Streamline your hiring process today!

🌟 𝗨𝗻𝗹𝗼𝗰𝗸𝗶𝗻𝗴 𝘁𝗵𝗲 𝗣𝗼𝘄𝗲𝗿 𝗼𝗳 𝗧𝗲𝗰𝗵𝗻𝗼𝗹𝗼𝗴𝘆 🚀 In my journey as a 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗘𝗻𝗴𝗶𝗻𝗲𝗲𝗿 and 𝗙𝘂𝗹𝗹-𝗦𝘁𝗮𝗰𝗸 𝗗𝗲𝘃𝗲𝗹𝗼𝗽𝗲𝗿 with over 4 years of experience, I’ve had the privilege of working on incredible projects in fintech, backend development, and APIs. From building KYC systems to automating workflows and creating seamless user experiences, technology continues to amaze me every day. 💡 𝗪𝗵𝗮𝘁 𝗜’𝘃𝗲 𝗹𝗲𝗮𝗿𝗻𝗲𝗱: 1. The importance of 𝗶𝗻𝗻𝗼𝘃𝗮𝘁𝗶𝗼𝗻 and being adaptable to new tools like 𝗡𝗼𝗱𝗲.𝗷𝘀, 𝗟𝗮𝗿𝗮𝘃𝗲𝗹, 𝗠𝗼𝗻𝗴𝗼𝗗𝗕, 𝗘𝘅𝗽𝗿𝗲𝘀𝘀𝗝𝗦, 𝗮𝗻𝗱 𝗔𝗻𝗴𝘂𝗹𝗮𝗿. 2. The magic of diving deep into 𝗼𝗯𝗷𝗲𝗰𝘁-𝗼𝗿𝗶𝗲𝗻𝘁𝗲𝗱 𝗽𝗿𝗼𝗴𝗿𝗮𝗺𝗺𝗶𝗻𝗴, mastering 𝗝𝗮𝘃𝗮𝗦𝗰𝗿𝗶𝗽𝘁, and always learning new languages like 𝗚𝗼. 3. How 𝗮𝗴𝗶𝗹𝗲 𝘄𝗼𝗿𝗸𝗳𝗹𝗼𝘄𝘀 and continuous improvement drive great results in software development and project management. 🔧 Whether it’s crafting 𝘀𝗰𝗮𝗹𝗮𝗯𝗹𝗲 𝗔𝗣𝗜𝘀, improving 𝗱𝗮𝘁𝗮𝗯𝗮𝘀𝗲 𝗮𝗿𝗰𝗵𝗶𝘁𝗲𝗰𝘁𝘂𝗿𝗲, or delivering a 𝗺𝘂𝘁𝘂𝗮𝗹 𝗳𝘂𝗻𝗱 𝗶𝗻𝘃𝗲𝘀𝘁𝗺𝗲𝗻𝘁 𝗽𝗹𝗮𝘁𝗳𝗼𝗿𝗺, I’m committed to solving problems that matter. 👉 𝗟𝗼𝗼𝗸𝗶𝗻𝗴 𝗳𝗼𝗿𝘄𝗮𝗿𝗱: I'm excited to connect with professionals who are passionate about 𝘁𝗲𝗰𝗵𝗻𝗼𝗹𝗼𝗴𝘆, 𝗴𝗿𝗼𝘄𝘁𝗵, 𝗮𝗻𝗱 𝗶𝗻𝗻𝗼𝘃𝗮𝘁𝗶𝗼𝗻. Whether you're in fintech, startups, or just love coding, let’s share knowledge and grow together! If you’re interested in topics like 𝗡𝗼𝗱𝗲.𝗷𝘀, 𝗟𝗮𝗿𝗮𝘃𝗲𝗹, or 𝗔𝗣𝗜 𝗱𝗲𝘃𝗲𝗹𝗼𝗽𝗺𝗲𝗻𝘁, feel free to follow me for insights, tips, and content I’m working on, including tutorials and behind-the-scenes from my 𝗬𝗼𝘂𝗧𝘂𝗯𝗲 channel. Let’s connect and create something amazing together! 💻🔗 #SoftwareEngineering #Fintech #BackendDevelopment #NodeJS #Laravel #TechInnovation #FullStackDevelopment #API