Feed aggregator
Agda Core: The Dream and the Reality
Article URL: https://jesper.cx/posts/agda-core.html
Comments URL: https://news.ycombinator.com/item?id=40403844
Points: 1
# Comments: 0
Reading list to join AI field from Hugging Face cofounder
Article URL: https://thomwolf.io/data/Thom_wolf_reading_list.txt
Comments URL: https://news.ycombinator.com/item?id=40403768
Points: 17
# Comments: 0
No version left behind: Our epic journey of Gitlab upgrades
Article URL: https://engineering.grab.com/no-version-left-behind-our-epic-journey-of-gitlab-upgrades
Comments URL: https://news.ycombinator.com/item?id=40403754
Points: 1
# Comments: 0
Identifying and Correcting Programming Language Behavior Misconceptions [pdf]
Article URL: https://cs.brown.edu/~sk/Publications/Papers/Published/lk-smol-tutor/paper.pdf
Comments URL: https://news.ycombinator.com/item?id=40403723
Points: 1
# Comments: 0
Mathematicians and the Selection Task
Article URL: https://eric.ed.gov/?id=ED489556
Comments URL: https://news.ycombinator.com/item?id=40403715
Points: 1
# Comments: 0
How to submit a patch by email (2023)
Article URL: http://peter.eisentraut.org/blog/2023/05/09/how-to-submit-a-patch-by-email-2023-edition
Comments URL: https://news.ycombinator.com/item?id=40403681
Points: 1
# Comments: 0
Trump's hush money trial makes big money for professional line-standers
Article URL: https://www.nbcnews.com/politics/donald-trump/donald-trumps-hush-money-trial-big-money-line-standers-rcna152809
Comments URL: https://news.ycombinator.com/item?id=40403659
Points: 1
# Comments: 0
Show HN: Open-source GeForce NOW alternative with Stadia's social features
Article URL: https://github.com/netrisdotme/netris
Comments URL: https://news.ycombinator.com/item?id=40403658
Points: 1
# Comments: 1
Russian Navy begins using protective cages on nuclear submarines
Article URL: https://armyrecognition.com/news/navy-news/2024/russian-navy-begins-using-protective-cages-on-nuclear-submarines
Comments URL: https://news.ycombinator.com/item?id=40403653
Points: 3
# Comments: 0
How I upgraded my water heater and discovered how bad smart home security can be
Looking for Founder or Hiring Manager
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
Michelle's List: Glassdoor but for Landlords and Properties
Article URL: https://www.michelleslist.com/
Comments URL: https://news.ycombinator.com/item?id=40403569
Points: 2
# Comments: 0
Scientists find buried branch of the Nile that may have carried pyramids' stones
Microsoft's Emissions Spike 29% as AI Gobbles Up Resources
Article URL: https://www.pcmag.com/news/microsofts-emissions-spike-29-as-ai-gobbles-up-resources
Comments URL: https://news.ycombinator.com/item?id=40403524
Points: 72
# Comments: 20
US arrests two Chinese nationals in $73M crypto scam
Article URL: https://www.reuters.com/world/us/us-arrests-two-chinese-nationals-73-million-crypto-scam-2024-05-17/
Comments URL: https://news.ycombinator.com/item?id=40403522
Points: 2
# Comments: 0
NWCG Firefighting Manual Chapter 6: Location - Introduction
Article URL: https://www.nwcg.gov:443/course/ffm/location/60-location-introduction
Comments URL: https://news.ycombinator.com/item?id=40403520
Points: 1
# Comments: 1
UNM Researchers Find Microplastics in Canine and Human Testicular Tissue
Article URL: https://hsc.unm.edu/news/2024/05/hsc-newsroom-post-microplastics-testicular.html
Comments URL: https://news.ycombinator.com/item?id=40403492
Points: 1
# Comments: 0
Join Our Beta: Unify ChatGPT, Gemini, Claude, & Mistral in One Web App
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
Project Elixir Appears to Wipe Storage When You Manually Enable Premium Features
Article URL: https://x.com/TheNotesOfJosh/status/1791627871519174697
Comments URL: https://news.ycombinator.com/item?id=40403446
Points: 1
# Comments: 0