HN Explorer

mnk47

↗ HN profile [ 86.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Adding Error Bars to Evals: A Statistical Approach to Language Model Evaluations (arxiv.org)
    2 points 0
  2. Leveraging Large Language Models for Advanced Multilingual Text-to-Speech (arxiv.org)
    1 points 1
  3. Hertz-dev, the first open-source base model for conversational audio (si.inc)
    296 points 57
  4. 1 points 0
  5. 1 points 0
  6. Thinking LLMs: General Instruction Following with Thought Generation (arxiv.org)
    2 points 1
  7. What's the Magic Word? A Control Theory of LLM Prompting (arxiv.org)
    1 points 0
  8. Swarm, a new agent framework by OpenAI (github.com)
    258 points 112
  9. Ask HN: Why is .NET never talked about as an option for solo/small team dev?

    Is there still a lot of stigma around it? Any downsides to using it for solo projects? Whenever we're discussing tech stacks, whether it's here or on X or on Reddit, the most commonly mentioned frameworks are…

    53 points 78
  10. Recursive Introspection: Teaching Language Model Agents How to Self-Improve (arxiv.org)
    5 points 1
  11. The rise–and fall–of the software developer (adpri.org)
    3 points 1
  12. Building with OpenAI What's Ahead [video] (vimeo.com)
    1 points 0
  13. 1 points 0
  14. Chain of Thoughtlessness: An Analysis of Cot in Planning (arxiv.org)
    2 points 0
  15. GPT-4 users, how are you using it? Is ChatGPT Plus still worth it?

    I know some people are using the API with their own frontends. Is it cheaper that way? I am currently a Claude Opus (chat) subscriber, strongly considering making the switch.

    4 points 5
  16. Can Large Language Models Reason and Plan? (arxiv.org)
    4 points 1
  17. Wu's Method Can Boost AlphaGeometry to Outperform Gold Medalists at IMO Geometry (arxiv.org)
    7 points 1
  18. Ask HN: Usefulness of formal verification (Coq) and formal specification (TLA+)?

    I'm curious about formal verification courses like Software Foundations[0] (specifically volume 1 & 2). I'm also curious about formal specification with TLA+[1], which seems less academic-oriented and more relevant to…

    3 points 1
  19. After 2 Weeks of Testing, What Do Developers Think About Claude 3? (favtutor.com)
    3 points 0
  20. Ask HN: Anyone here using Gemini Pro 1.5? How does it compare to Claude Opus?

    I've seen multiple benchmarks and comparison videos, but they all compare Claude Opus to GPT-4 and Gemini Pro 1.0, not Gemini Pro 1.5. I've had access to Gemini 1.5 for a while but have not had the chance to use it.

    1 points 1