Loading ...

New comment by fovc in "Ask HN: Freelancer? Seeking freelancer? (August 2020)"

SEEKING FREELANCER | REMOTE Looking for a freelancer with experience using proof assistants to help formalize and debug a couple of complex algorithms we’ve developed. Don’t have a strong preference for a particular proof system, but will ask about your preference and why. Keyword bingo: formal methods, coq, agda, isabelle, idris, proof assistant The post […]

New comment by elxavicio in "Ask HN: Who is hiring? (May 2020)"

Specter | REMOTE | Software Engineering Intern (data) Specter is looking for a software engineering intern to change the way VCs and investment funds use data to invest in startups. Our customers manage $60BN in assets. You’ll be working remotely directly with our CTO on taking our engineering efforts to the next level, improving our […]

New comment by DavidHolz in "Ask HN: Who is hiring? (February 2020)"

Leap Motion/Ultraleap | R&D Positions for Machine Learning, Computer Vision, or Unity3D | San Francisco, CA | Full-time | Onsite We’ve got some great positions open for people who love bleeding edge R&D, AI, computer vision, user interfaces, AR/VR and design! Please reach out at let’s talk! david.holz@ultraleap.com

Stocks to Watch: Boeing, Uber, DuPont, Heico

The post Stocks to Watch: Boeing, Uber, DuPont, Heico appeared first on Get Funding For Your Business And Ventures. The post Stocks to Watch: Boeing, Uber, DuPont, Heico appeared first on Buy It At A Bargain – Deals And Reviews.

Prone It’s a danger. If I can damage with my concern as well…

Prone It’s a danger. If I can damage with my concern as well as permit myself to be prone, what exists on the various other side? At risk. It’s a threat. Why do I really feel the fact in my heart is so awful? If I can damage via my worry as well as permit […]