New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. EU approves sending mountains of trash to Turkey despite environmental fears(politico.eu ↗)
    discuss
  2. Verification of a Generational Garbage Collector(arxiv.org ↗)
    discuss
  3. Salesforce and Nvidia launch Koa, a CRM reasoning model(salesforce.com ↗)
    discuss
  4. Antonio Gramsci: How Language Makes Power Feel Like Common Sense(linguistically.substack.com ↗)
    discuss
  5. Replicating Jev with Qwen-2.5(perennialte.ch ↗)
    discuss
  6. Revisiting Soundness for Occurrence Typing, Semantically(arxiv.org ↗)
    discuss
  7. Black Holes or Black Hole Stars?(quantamagazine.org ↗)
    discuss
  8. GPT-6 Astra vs. GPT-5.6 Sol: Is a 1.6x Higher Cost Worth It per Verified Bug?(ent-website-gamma.vercel.app ↗)
    discuss
  9. Reclaim the Terminal(nishantjosh.dev ↗)
    discuss
  10. Nature Is Our Learning Environment(periodic.com ↗)
    discuss
  11. Hello HN
    discuss
  12. The Chemistry of Cookery XVII (1884)(wikisource.org ↗)
    discuss
  13. Bug Bounty Operating Principles(medium.com/jasonpuglisi ↗)
    discuss
  14. CodeProject in read-only mode since October 2024(wikipedia.org ↗)
    discuss
  15. What's New in macOS 27 for Developers?(freecodecamp.org ↗)
    discuss
  16. Effectively Does a Model Use Its Memory (2025)(liquid.ai ↗)
    1comments
  17. OpenAI breakthrough triggers 'existential crisis' in math(science.org ↗)
    discuss
  18. Show HN: 2049 - a roguelike that fuses 2048 and Minesweeper(github.com/skorotkiewicz ↗)
    discuss
  19. Why Scheme?(goeteia.dev ↗)
    discuss
  20. Symbolic Artificial Intelligence(wikipedia.org ↗)
    discuss
  21. AI models in 'surreal' dialect mixing poetic language and tech bro jargon(theguardian.com ↗)
    discuss
  22. Show HN: Context Freshness Ledger – a tiny schema for reviewable agent memory(github.com/chengyixu ↗)
    discuss
  23. Novel Particle Beam Could Challenge Einstein's Theory of Gravity(ethz.ch ↗)
    discuss
  24. FBI boarded Texas-bound oil tanker to investigate cyberattack(cbsnews.com ↗)
    1comments
  25. NASA-backed scientists turn plastic waste into edible cookies(sciencedaily.com ↗)
    1comments
  26. "Filmmaker" suing PassThePopcorn may be banned user out for revenge(arstechnica.com ↗)
    discuss
  27. William Buckland's Theology of Geology(historytoday.com ↗)
    discuss
  28. Broken Windows, Abstractions and the Cost of Always Keeping Things Simple(pgilmartin.substack.com ↗)
    1comments
  29. Show HN: ZenTabTimer, an HTML timer where browser favicon is the timer(github.com/kevinpondmind ↗)
    discuss
  30. Inference Is the Last LLM Moat(vincentschmalbach.com ↗)
    discuss

We struggled with DevOps, so built a open source agentic platform just for this

1 pointsby 57m ago
0 comments
As a developer with some years of experience and with 150+ projects completed, me and my team learnt devops the hard way. Multiple fixes, compatibility issues, server issues, random vulnerabilities appearing out on framework level out of nowhere; it was all a mess.

After a lot of struggle, we decided that’s enough and we need to find a solution for this. That’s when we started to work on Putmein.

- Putmein has agentic chat interface, where you can plug your AI of choice and chat to your server directly. - It has 24/7 SRE monitoring - CI/CD pipeline checks - Single step deployment - Integrated security audits for all the projects - Sever monitoring - Container handling

It is one single source to manage anything in a server. Planning to make everything more useful and robust and I've started using it in my day to day life now.

https://github.com/putme-in/putmein

A quiet thread, for now.Start the conversation on HN ↗