36361.
Automated Lean Proofs for Every Type
(www.galois.com)
Oct 06 at 10:22 AM ago
| discuss
36362.
Tone Control
(www.robinsloan.com)
Oct 06 at 10:22 AM ago
| discuss
36363.
Cerebras Withdraws IPO Filing
(www.sec.gov)
Oct 06 at 10:10 AM ago
| discuss
36364.
Full code to build your own AI agent with Python
(thenewaiorder.substack.com)
Oct 06 at 09:36 AM ago
| discuss
36365.
Neutts-air – open-source, on device TTS
(github.com)
Oct 06 at 09:20 AM ago
| discuss
36366.
AI robotics has a big data problem. This startup raised $405 million to fix it in surprising ways.
(www.businessinsider.com)
Oct 06 at 09:05 AM ago
| discuss
36367.
Token economics are serious AI business; API costs are out of control
(theservitor.com)
Oct 06 at 08:51 AM ago
| discuss
36368.
AI: The slacker's dream come true
(www.theregister.com)
Oct 06 at 08:51 AM ago
| discuss
36369.
ChatGPT Imbotster Syndrome is gumming up how we write professionally
(www.businessinsider.com)
Oct 06 at 08:21 AM ago
| discuss
36370.
Teaching Models to Decide When to Retrieve: Adaptive RAG, Part 4
(blog.reachsumit.com)
Oct 06 at 08:13 AM ago
| discuss
36371.
OpenAI Sora 2 generates videos of popular copyrighted characters
(www.theguardian.com)
Oct 06 at 08:13 AM ago
| discuss
36372.
Oct 06 at 08:13 AM ago
| discuss
36373.
Elon Musk Gambles Billions in Memphis to Catch Up on AI
(www.wsj.com)
Oct 06 at 07:42 AM ago
| discuss
36374.
Representation Engineering (2024)
(vgel.me)
Oct 06 at 07:42 AM ago
| discuss
36375.
Everything Is Model[S]
(www.morphllm.com)
Oct 06 at 07:13 AM ago
| discuss
36376.
What Is AI Polymath
(medium.com)
Oct 06 at 06:52 AM ago
| discuss
36377.
Modesty Is Not a Virtue: Norbert Wiener (1995)
(cs.nyu.edu)
Oct 06 at 06:07 AM ago
| discuss
36378.
Misunderstood and Misaligned
(bozhao.substack.com)
Oct 06 at 06:07 AM ago
| discuss
36379.
Why the clock is ticking on the Fed-fuelled AI bubble
(www.scmp.com)
Oct 06 at 05:56 AM ago
| discuss
36380.
AI generated 3D textures for artists
(aitextured.com)
Oct 06 at 05:45 AM ago
| discuss
36381.
Terence Tao on Crowdsourced Effort
(mathstodon.xyz)
Oct 06 at 05:45 AM ago
| discuss
36382.
Oct 06 at 05:45 AM ago
| discuss
36383.
Nvidia Partner Hon Hai's Sales Rise 11% in Boost for AI Outlook
(www.bloomberg.com)
Oct 06 at 05:31 AM ago
| discuss
36384.
Show HN: PageIndex for Reasoning-Based RAG
(vectifyai.notion.site)
Oct 06 at 05:31 AM ago
| discuss
36385.
An Open Letter to Llms.txt
(olshansky.info)
Oct 06 at 05:08 AM ago
| discuss
36386.
a16z analyzed startup bank transactions and found they're going hard on vibe coding tools
(www.businessinsider.com)
Oct 06 at 05:06 AM ago
| discuss
36387.
Duolingo's ex-head of product says the best performers are not always the people with deep experience
(www.businessinsider.com)
Oct 06 at 04:44 AM ago
| discuss
36388.
Oct 06 at 04:00 AM ago
| discuss
36389.
Becoming a Research Engineer at a Big LLM Lab 18 Months of Strategic Career Dev
(www.maxmynter.com)
Oct 06 at 04:00 AM ago
| discuss
36390.
Oct 06 at 03:05 AM ago
| discuss