Given bandwidth constraints, we are sadly ending our Git round program. Thank you to all the teams who have decided to partner with us! We are excited to continue to support you in your amazing journeys ahead. 🌱
🔥 COSS Weekly #186 🔥
🍇 @grapesjs partners with @OpenCoreVenture 🚀
🤖 Mind-blowing new trailer made with @godotengine! 🔥🔥
📅 More than 270K guests use @calcom every month!
📊 Discussions on @nvidia and markets
.. and more! Enjoy!
https://t.co/qIgwCjiIXJ
currently migrating @Cap to record video/screen/audio tracks separately.
This will set the foundation to allow cool things like:
-Editing webcam placement after recording
-Auto zoom
-Custom scenes
so excited to get this implemented!
Open-source Loom alternative just dropped → https://t.co/QokYEzQefs
Features:
◆ Native macOS App
◆ AI-powered transcriptions
◆ Built-in video editing features
Built by @richiemcilroy and it's fully self-hostable 😍
Cap IS FINALLY LIVE! 😭
It's a little rough around the edges still, but I'm on standby fixing any reported bugs.
Please, if you can spare 2 mins, go and upvote Cap on Product Hunt 👉 https://t.co/CuTKoLzy2m
hi, Million (@milliondotjs) has $1.3M in gpu credits that expires in a year.
we are looking to fund experiments for:
- determining the most optimal training curriculum, reward modeler, or model merging combination with evolutionary algorithms (any domain ok)
- a diffusion text decoder (for a text-JEPA)
- training a model to use theorem provers (lean, isabelle) with proofs/tactics search to solve IMO problems (what's the next domain after LeanDojo, FunSearch, AlphaGeometry? how to improve domain/proof-specific tactics search?)
- compressing a learned functions library with llms (LILO generated docs, how to create higher order abstractions guided by a deterministic graph ranker?)
- using GFlowNet to improve llm reasoning, with a focus on code optimization problems (ref: @edwardjhu "Amortizing Intractable Inference in LLMs")
- scaling energy transformers (ref: @Ben_Hoov)
please DM or email john @ million . dev (@johnjyang)
if these questions interest you, Million is also hiring for 1-2 talented ML engineers! we are focused on code optimization, but broadly curious about topics in swe and theorem proving automations.
Open to grants, part-time or full-time work
🔥COSS Weekly #171 🔥
🎤 Live event with @JosephJacks_ and @planepowers in Hyderabad 🇮🇳 on March 14th!
🎙️ @HeatherMeeker4 on the Startup Science Podcast with @GregShepard_
✈️ Backend updates to @planepowers, speeding things up! ⚡️
.. and more!
Enjoy!
https://t.co/O4e1LH6zec