Hackernews posts about 1.5 Pro

  1. Show HN: I shrank DeepSeek V4 Flash to 57GB and it wrote a compiler on my Mac (huggingface.co)
    21 points by hacklas 2 days ago | 3 comments
  2. Grok is a surprisingly good automated theorem prover
    3 points by henryrobbins00 27 days ago | 1 comments
  3. Colibrì proof-of-concept gains frontier-level 1.5-TB AI model (www.tomshardware.com)
    2 points by smoyer 29 days ago | discuss
  4. Psi+ 1.5.2142.0 Installer Has Been Released – Qt Jabber/XMPP Omemo/OTR E2EE (sourceforge.net)
    1 points by neustradamus 18 days ago | discuss
  5. Show HN: Needle2: 14MB agentic LLM for phones, wearables, smart home and robots (cactuscompute.com)
    533 points by HenryNdubuaku 8 days ago | 183 comments
  6. Ask HN: Developers–How Did You Get Your First Paying Customers?
    6 points by HSK11 13 days ago | 17 comments
  7. Show HN: PriEco (open source, 400M index, EU search engine) integrated Goggles (prieco.net)
    6 points by JojoYou 20 days ago | discuss
  8. Show HN: Hiring Method – a deterministic, math-driven recruitment platform (hiring-method.com)
    5 points by genekrapivin 21 days ago | discuss
  9. Kakehashi Update: Running Apple Clang build and lowering overhead to 1.24x
    3 points by vlad_kalinkin 4 days ago | discuss
  10. Show HN: Fable-generated Bible minigames (biblegames.xyz)
    2 points by jos- 29 days ago | discuss
  11. Show HN: list55.com: Transcribe a list into plain text (list55.enzom.dev)
    1 points by emadda 21 days ago | discuss
  12. Leanstral 1.5: Proof abundance for all (mistral.ai)
    374 points by programLyrique about 2 months ago | 107 comments
  13. Two new Gemini models, reduced 1.5 Pro pricing, increased rate limits, and more (developers.googleblog.com)
    193 points by meetpateltech almost 2 years ago | 137 comments
  14. Support for Claude Sonnet 3.5, OpenAI O1 and Gemini 1.5 Pro (www.qodo.ai)
    69 points by benocodes almost 2 years ago | 35 comments
  15. Smaller Gemini 1.5 Flash-8B, stronger Gemini 1.5 Pro, improved Gemini 1.5 Flash (twitter.com)
    20 points by tosh almost 2 years ago | 2 comments
  16. Comparison of Claude Sonnet 3.5, GPT-4o, o1, and Gemini 1.5 Pro for coding (www.qodo.ai)
    10 points by bobismyuncle over 1 year ago | 5 comments
  17. Leanstral 1.5: Proof Abundance for All (mistral.ai)
    10 points by meetpateltech about 2 months ago | 1 comments
  18. ByteDance Doubao-1.5-pro matches GPT 4o benchmarks at 50x cheaper (twitter.com)
    4 points by moondistance over 1 year ago | discuss
  19. Compare coding with Sonnet 3.5, GPT-4o, o1-preview and Gemini 1.5 Pro (www.qodo.ai)
    3 points by imnot404 over 1 year ago | discuss
  20. Ace-Step 1.5 prompt tips: how I get more controllable music output (github.com)
    2 points by DanielWen 6 months ago | 3 comments
  21. Seedance 1.5 Pro, better than Kling 2.6. New SOTA image to video model (bestphoto.ai)
    2 points by mesmertech 8 months ago | 1 comments
  22. Free Qwen 2.5, Llama Nemotron, OpenBioLLM, Gemini Exp 1121, and LearnLM 1.5 Pro
    2 points by gizai over 1 year ago | 1 comments
  23. Analyze a Codebase with the Vertex AI Gemini 1.5 Pro (github.com)
    2 points by indigodaddy almost 2 years ago | discuss
  24. Video Understanding AI – 100 times cheaper than OpenAI GPT4o and Gemini-1.5-pro (openinterx.com)
    1 points by shawnshen over 1 year ago | 1 comments
  25. Show HN: Seedance 1.5 Pro – Native Audio-Visual AI Video Generation (www.jxp.com)
    1 points by lu794377 8 months ago | discuss
  26. Seedance 1.5 Pro (seedance1-5pro.com)
    1 points by lovezac 8 months ago | discuss
  27. Show HN: TrustGraph – Do More with AI with Less (Open Source AI Infrastructure) (github.com)
    22 points by cybermaggedon almost 2 years ago | 5 comments
  28. The Gemini AI Studio "Context Tax": How a 10-word prompt cost me £121
    21 points by daitandojo 8 months ago | 6 comments
  29. Show HN: I dropped to part-time work to develop a Design Copilot for developers (old.reddit.com)
    6 points by purple-leafy almost 2 years ago | 5 comments
  30. How long till every major provider sets their RSI loops in motion?
    3 points by foxindustrial 5 months ago | discuss
  31. Show HN: AI powered clinical trials search (clinical-trials-ai-demo-app.web.app)
    2 points by kerbearasaurus almost 2 years ago | 2 comments
  32. Project Bhavanga: Fixing LLM Context Dilution with Buddhist Psychology
    2 points by DosankoTousan 8 months ago | 1 comments
  33. Show HN: Viidx – AI video generation with Reference-to-Video and Frame control (viidx.com)
    2 points by qinggeng 7 months ago | discuss
  34. Show HN: Hackslash.org Slashdot-esque AI summaries/tags of HN posts (hackslash.org)
    2 points by unknown_user_84 over 1 year ago | discuss
  35. Show HN: Dhenara – A Simple ChatGPT Alternative with All Premium AI Models (dhenara.com)
    1 points by ajithjos over 1 year ago | 2 comments
  36. Show HN (artipixx.com)
    1 points by zoombie over 1 year ago | 1 comments
  37. Ask HN: Good up-to-date resource for finding best current LLM for a given task?
    1 points by monroewalker almost 2 years ago | 1 comments
  38. Show HN: AI Seedance 2 – Solving the "jump-cut" problem in AI video (www.aiseedance2.app)
    1 points by TurnItOffAndOn0 6 months ago | discuss
  39. Show HN: I Built an Extension That Writes Emails in Seconds Using Gemini 2.5 Pro (chromewebstore.google.com)
    1 points by AppMaestro about 1 year ago | discuss
  40. Show HN: I Built an AI C. Extension That Finds Perfect LinkedIn Leads in Seconds (chromewebstore.google.com)
    1 points by AppMaestro about 1 year ago | discuss
  41. PSA: Google Workspace users now have access to Deep Research
    1 points by rahimnathwani over 1 year ago | discuss