Hacker News

Subscribe to Hacker News feed
Hacker News RSS
Updated: 37 min 50 sec ago

Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

Tue, 07/28/2026 - 10:22pm

Google Zanzibar datalog lang lets you describe concepts and express how they are related. I generalize it to DSL you can use on Lean4 (and other languages) this lets you represent a knowledge base you can construct, store and evaluate, have it under git and improve without big engines or relaying on external infrastructure.

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

Points: 1

# Comments: 0

Categories: Hacker News

Ask HN: What agentic AI ad optimization tool do you use?

Tue, 07/28/2026 - 10:20pm

Question is specifically for GTM engineers and performance marketers. Curious if any agentic AI ad optimization tools have actually worked for you?

I tried PMax on Google Ads and our sign ups increased but pipeline didn't move (most sign ups weren't relevant audience). I am evaluating Factors and Pixis.

Curious what else should I look at?

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

Points: 1

# Comments: 0

Categories: Hacker News

Show HN: AiTextToHandwriting] – Text to Handwriting Converter

Tue, 07/28/2026 - 10:12pm

Turn typed text into handwritten pages with custom fonts, paper styles, layout controls, and PNG, PDF, or ZIP export—no account required.

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

Points: 1

# Comments: 0

Categories: Hacker News

Show HN: SeaTicket – Duplicate Bug Finder for GitHub

Tue, 07/28/2026 - 10:11pm

https://seaticket.ai/

I built SeaTicket to correlate duplicate bug reports across GitHub, Discord, forums, and email. Instead of relying on matching keywords, it identifies reports that likely describe the same underlying issue and catch the duplication.

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

Points: 3

# Comments: 0

Categories: Hacker News

Show HN: MegaDSP an effects plugin for DAWs with 50 effects

Tue, 07/28/2026 - 10:08pm

Hey HN,

I am creating megaDSP, a huge DAW plugin for all platforms, with the goal of it being a free, open-source, and semi or fully autonomous github project that evolves around community feedback.

It currently has more than 50 audio effects that can be combined together in effects chains, and also supports "snapshots" where you can seamlessly switch between different effects chains (for live use, like a fancy guitar pedalboard for example).

I would really love if you have a moment to test it out, give thoughts, etc.

There are many, many plugins out there in the world, but many of them are either DAW-specific or have annoying copy protections etc.

Having one huge plugin with great DSP algorithms seems like it could be a benefit to the music/audio world.

Thanks, -Kevin

first pre-release:

https://github.com/kevinlong206/megaDSP/releases/tag/v0.30.0...

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

Points: 1

# Comments: 0

Categories: Hacker News

Satyress "Threehalves Superhumanoid General Purpose Robot"

Tue, 07/28/2026 - 9:56pm

Article URL: https://www.satyress.com/

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

Points: 3

# Comments: 3

Categories: Hacker News

Building Galley House

Tue, 07/28/2026 - 9:29pm
Categories: Hacker News

Show HN: TrueDeck – open-source multi-agent terminal deck that abstracts memory

Tue, 07/28/2026 - 9:23pm

For the past year I've been using VScode as my terminal space, however with the constant friction of reopening sessions, managing different projects, and re-explaining context so agents stayed useful.

TrueDesk was my answer.

Of course aside from it being open source: Real CLIs side by side, multi-pane layout, session restore, keybinds that smoothly transition windows, and memory/MCP automatic so you don't run a second ops stack.

Clean UI that just feels good.

Can't forget about the sweet rust + ts build.

I'd appreciate a star :3 https://github.com/WutIsHummus/TrueDeck

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

Points: 1

# Comments: 0

Categories: Hacker News

Pages