Feed aggregator

Article URL: https://loicpoullain.com/software-engineering/articles/the-future-of-web-frameworks-in-the-era-of-ai/

Comments URL: https://news.ycombinator.com/item?id=47163700

Points: 1

# Comments: 0

Seriously it's too combersume. How exactly are you guys doing it ? I need some serious tips.

Comments URL: https://news.ycombinator.com/item?id=47163691

Points: 1

# Comments: 2

Article URL: https://coreyrobin.com/2025/11/15/excellence-over-mediocrity-from-mamdani-to-marx-to-food/

Comments URL: https://news.ycombinator.com/item?id=47163661

Points: 2

# Comments: 0

Article URL: https://github.com/mobydeck/ssh2incus

Comments URL: https://news.ycombinator.com/item?id=47163656

Points: 1

# Comments: 0

Article URL: https://unu.edu/inweh/collection/global-water-bankruptcy

Comments URL: https://news.ycombinator.com/item?id=47163647

Points: 2

# Comments: 0

Article URL: https://repuai.live/en/blog/why-your-brand-doesnt-appear-in-chatgpt

Comments URL: https://news.ycombinator.com/item?id=47163641

Points: 1

# Comments: 0

Article URL: https://twitter.com/petergostev/status/2026396163637731794

Comments URL: https://news.ycombinator.com/item?id=47163620

Points: 1

# Comments: 1

Article URL: https://www.khronos.org/blog/new-vulkan-game-engine-tutorial-build-your-own-production-ready-rendering-engine

Comments URL: https://news.ycombinator.com/item?id=47163610

Points: 2

# Comments: 0

Article URL: https://sridharstartupinsights.substack.com/p/venture-capital-explained-how-vc

Comments URL: https://news.ycombinator.com/item?id=47163604

Points: 1

# Comments: 0

Article URL: https://frameflow.sh/

Comments URL: https://news.ycombinator.com/item?id=47163388

Points: 1

# Comments: 1

Article URL: https://github.com/EverettNC/Harvest-Now-Decrypt-Later

Comments URL: https://news.ycombinator.com/item?id=47163352

Points: 1

# Comments: 1

Article URL: https://github.com/CVPaul/mneme

Comments URL: https://news.ycombinator.com/item?id=47163343

Points: 1

# Comments: 2

I built Verity, a Lean 4 framework for writing smart contracts, proving properties, and compiling to EVM bytecode.

Current status:

- 431 proven theorems

- 0 sorry

- 404 Foundry tests across 35 suites

- 5 minute quick start in the README

You can find the repo at https://github.com/th0rgal/verity , documentation at https://verity.thomas.md/ . I’d especially love feedback on:

1) proof ergonomics for contract specs

2) compiler output assumptions/trust boundaries

3) what would block real production adoption

Comments URL: https://news.ycombinator.com/item?id=47163330

Points: 1

# Comments: 0

Article URL: https://wordsnake.com/

Comments URL: https://news.ycombinator.com/item?id=47163326

Points: 1

# Comments: 1

Privacy First

Your data stays local. We don't collect chats or store API keys. Just provide a way to chat simultaneously.

Comments URL: https://news.ycombinator.com/item?id=47163314

Points: 1

# Comments: 0

Article URL: https://theventures.substack.com/p/bone-ai-forging-the-flame-of-the

Comments URL: https://news.ycombinator.com/item?id=47163259

Points: 2

# Comments: 0

Context Brief is an Open Source macOS menu bar app that captures high-signal context from the app you’re in (GitHub, Jira, Slack, Notion, web pages, and more) with ⌃⌘C, then pastes one clean, agent-ready brief with ⌃⌘V. Unlike copy-paste tools, it extracts beyond visible content, densifies noisy text, combines multiple snapshots into one task context, and keeps a local context library on-device.

Comments URL: https://news.ycombinator.com/item?id=47163257

Points: 1

# Comments: 1

Article URL: https://himanshusinghbisht.substack.com/p/lifes-a-bich-chum-and-then-you-die

Comments URL: https://news.ycombinator.com/item?id=47163255

Points: 1

# Comments: 0

Article URL: https://www.bbc.co.uk/news/articles/cjrq1vwe73po

Comments URL: https://news.ycombinator.com/item?id=47163252

Points: 2

# Comments: 0

I built this because many citation tools return incomplete APA references (especially missing author/date -> n.d.), and users still have to fix everything manually.

This tool takes a URL or DOI and: - extracts metadata with rule-first parsing - uses AI to fill likely missing fields - shows confidence + “needs review” warnings - lets you edit and copy both reference + in-text citation quickly

Current focus is APA 7 for websites/DOI. No-login usage is available for quick tests.

Would love feedback on: 1) citation accuracy edge cases 2) UI/UX clarity for review warnings 3) features you’d want next (BibTeX export, Zotero flow, etc.)

Comments URL: https://news.ycombinator.com/item?id=47163234

Points: 1

# Comments: 0