HN Explorer

sean_pedersen

↗ HN profile [ 76.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Ask HN: Are LLMs Solving Math?

    Are LLM agents solving all known math problems from low to high complexity consistently now or are LLMs "only" synthesizing solutions for ripe problems given humanities current math knowledge?

    1 points 1
  2. Show HN: VS Code Extension – Semantic Code Search (Semble) (github.com)
    1 points 0
  3. Show HN: Digger Solo – Local AI File Explorer (solo.digger.lol)

    After a lot of work I present Digger Solo 0.5.0 - the AI file explorer that respects your privacy (everything runs locally). Demo video: https://vimeo.com/1198414414 New features: - LLM Chat with RAG (bring your own…

    5 points 0
  4. AI Safety Farce (seanpedersen.github.io)
    27 points 4
  5. Digital Security for Everyone (seanpedersen.github.io)
    2 points 0
  6. YouTube Transcription MCP Server (github.com)
    1 points 0
  7. Popping the AGI Bubble (seanpedersen.github.io)
    5 points 0
  8. Show HN: Digger Solo – Semantic Search and Maps for Local Files (solo.digger.lol)

    Hey, I am Sean and I built Digger Solo - a privacy respecting file explorer from the "future". The core features are semantic file search and interactive data maps allowing to explore your files with ease. All…

    2 points 0
  9. Show HN: Digger Solo – Semantic File Search and Maps (solo.digger.lol)

    I built Digger Solo a privacy respecting file explorer from the future. The core features are semantic file search and interactive data maps allowing to explore your files with ease. All processing happens locally -…

    1 points 0
  10. Zipf's Law (seanpedersen.github.io)
    1 points 0
  11. Semantic Complexity Gap in CLIP Text Encoders (seanpedersen.github.io)
    2 points 0
  12. Sparse Distributed Representations for Neural Embeddings (seanpedersen.github.io)
    2 points 0
  13. The Structure of Neural Embeddings (seanpedersen.github.io)
    74 points 4
  14. The Math Behind Alien Signals [video] (youtube.com)
    2 points 0
  15. Digital Uncertainty (seanpedersen.github.io)
    2 points 0
  16. Show HN: VibeShuffle – A smart shuffle CLI music player (github.com)

    Quickly coded this side project using Perplexity as a code assistant. This tool embeds your mp3 files and allows to play similar tracks (based on the current track) or shuffle a new random track until you find one that…

    1 points 0
  17. Exa.ai: Superknowledge (exa.ai)
    1 points 0
  18. Overcoming the limits of current LLMs (seanpedersen.github.io)
    119 points 106
  19. Perplexica: Open-source Perplexity alternative (github.com)
    378 points 83
  20. Surprises in Logic: Chaitin's incompleteness theorem (math.ucr.edu)
    1 points 0
  21. Evolutionary (Organization) Development (ravn.substack.com)
    1 points 0
  22. I invented two proofs for the Collatz Conjecture (github.com)
    2 points 9
  23. Help: I solved the Collatz Problem, what do I do now?

    I developed two proofs for the Collatz Conjucture. What do I do now to claim fame and prize money?

    2 points 3
  24. Kolmogorov Complexity: Extensions and Applications (blog.neotree.uber.space)
    107 points 33
  25. HyperTag 0.6.3: Knowledge Management for Humans Using Machine Learning and Tags (github.com)
    2 points 0