Hacker News

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

Hey HN, I built Clawned because I got mass downloading OpenClaw skills without reading a single SKILL.md. That felt stupid.

Turns out a lot of them are stupid and unsafe too having reverse shells, credential theft, prompt injection buried in configs people(and myself) blindly trust.

Clawned scans any skill before it touches your machine. 60+ threat patterns. Sub-2s. No signup. Paste a name or URL and go.

Already scanned 6,500+ skills. ~20% flagged as CAUTION or THREAT. That number honestly surprised me

Please give it a go and let me know how I can improve it

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

Points: 1

# Comments: 3

Article URL: https://github.com/jokkebk/KittenTTS-JS

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

Points: 2

# Comments: 2

Article URL: https://funclicker.app/

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

Points: 1

# Comments: 0

Article URL: https://grep-sed-awk.com/

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

Points: 1

# Comments: 2

● Core: Vertically aligned monolayer graphene (electron velocity > 150\,000\text{ cm}^2/\text{Vs}). ● Interconnect layer: Nanolayer silicon (Si) to create an energy barrier (bandgap). ● Shield/Gate: Coaxial gold (Au) coating (noise shielding and instant heat dissipation). ● Base (Substrate): Synthetic single-crystal diamond (thermal conductivity > 2200\text{ W/mK}). B. Performance parameters (Estimated) ● Operating frequency: 500\text{ GHz} - 1.2\text{ THz} (vs. today's 5\text{ GHz}). ● Energy efficiency: 90\ \% power reduction compared to traditional FET design. ● Thermal Management: Capable of passive operation without the need for active cooling

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

Points: 1

# Comments: 0

Article URL: https://infosec.exchange/@pgl/116131275583976424

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

Points: 3

# Comments: 0

Article URL: https://developer.apple.com/news/?id=f5zj08ey

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

Points: 1

# Comments: 0

Article URL: https://darshanfofadiya.com/part3.html

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

Points: 1

# Comments: 2

Hey HN! This is a small side project I'm currently working on. With tspages, you can quickly host static websites on arbitrary hostnames in your tailscale network. This is useful for internal documentation or tools that don't warrant their own server or k8s deployment, for example. I was frustrated with the other options - hosting on one of the public providers like Cloudflare Workers or Vercel means having to lock down auth and hope you never screw that up; hosting on an internal web server means you can't have speaking Tailnet names.

So this is kind of a middle ground: tspages let's you create new static websites very easily, say `design-system.funky-animal.ts.net`: Simply drag-and-drop a folder, archive, or file or send it with curl, and the site will be up in a second. Deployments are archived, and you can easily switch to an older deployment via API or UI.

Since tailscale requests carry identity, tspages checks authorization to create, deploy, or view sites against your tailnet policy: You can use an app capability to create different permissions for users or tags. This also allows for some very basic analytics for hosted sites.

Finally, tspages allows to upload a config file alongside your assets to set some configuration parameters for the site, like enable SPA fallback routing, custom headers, or redirection targets.

This project is very young, so there might be some rough edges, but it does work, runs stable, and the capability system is sound. Let me know what you think!

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

Points: 1

# Comments: 0

Article URL: https://investment.binhph.am

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

Points: 1

# Comments: 0

I'm an engineering manager and built this to solve a problem I kept running into: no good way to track team capability without either a sprawling spreadsheet or an expensive HR system.

Skillscape lets you map your team against a structured L1–L4 skill framework, spot coverage gaps and bus factor risks, and define custom role frameworks. Free for small teams.

Would love feedback from other managers or engineers who've dealt with this — does the problem resonate? Is this the right solution?

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

Points: 1

# Comments: 0