Feed aggregator

Agda Core: The Dream and the Reality

Hacker News - Sat, 05/18/2024 - 10:53pm
Categories: Hacker News

Mathematicians and the Selection Task

Hacker News - Sat, 05/18/2024 - 10:30pm

Article URL: https://eric.ed.gov/?id=ED489556

Comments URL: https://news.ycombinator.com/item?id=40403715

Points: 1

# Comments: 0

Categories: Hacker News

Looking for Founder or Hiring Manager

Hacker News - Sat, 05/18/2024 - 10:08pm

Hey to all,

Is someone looking for help with their recruitment efforts? I am building a HRtech tool, and would love to collaborate. The expertise of 100K Job hunt (https://100kjobhunt.xyz) is to connect top tier candidates with job positions offering a minimum salary of 100K USD.

For companies: In addition to offering paid job ads, we are sourcing talent for innovative startups, tech unicorns, and most recently, in the medical field. The provided services are: - Job posting and job distribution across all channels. - LinkedIn outsource. - Pre-screening. - Legal hiring for temporary and permanent roles under our own payroll in 110 countries.

We are currently part of 30+ HR networks, which enable us to connect, pre-screen, recruit suitable candidates with job openings in the following regions: US, Canada, EU, UK, Latam and Asia Operating on a global scale, we attract visitors from over 106 countries, and we're proud to receive applications from candidates worldwide.

The talent pool is sourced from leading organizations, including but not limited to NASA, Samsung, Google, Binance, Messari and many other corporates, startups and healthcare institutions. If you have any job openings. Please drop me a DM.

Comments URL: https://news.ycombinator.com/item?id=40403612

Points: 1

# Comments: 0

Categories: Hacker News

Join Our Beta: Unify ChatGPT, Gemini, Claude, & Mistral in One Web App

Hacker News - Sat, 05/18/2024 - 9:34pm

development started about 22 days ago, we're already at 11 beta testers and looking to add more as it just became live, the client allows you to chat with the models listed in the title, either in single model mode or multi mode, where you can type 1 prompt and have it sent to many bots at once.

Post beta the price will be between 10 to 25 USD, there will be a discounted plan for users who want to bring their own API keys and a different plan for self service, beta users will get 20% discount on any plan, forever.

Join the beta discord server to get started: https://discord.gg/YDkpAe5X

Currently ChatGPT and gemini are integrated, Claude in-progress.

Here's a video demo too https://www.youtube.com/watch?v=6nTP1XJ21p8

Comments URL: https://news.ycombinator.com/item?id=40403458

Points: 1

# Comments: 0

Categories: Hacker News

Pages