BlogViral

Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog Hi HN, Today I'd like to present the results of my weekend project of the last year or so. Given there are many posts on HN about LLMs and Prolog, I thought that this would be of interest. DeepClause is my own (possibly misguided :-) attempt at combining LLMs with Logic Programming, ultimately hoping to establish a foundation for building more reliable agents, that produce reproducible and fully traceable result. At the heart of DeepClause is a DSL called "DeepClause Meta Language" (DML) which can be used to encode agent behaviors as executable logic programs. DML is executed by a meta-interpreter implemented in Prolog and thus natively supports things like constraint logic programming, knowledge graphs, symbolic reasoning, ... The DML interpreter itself runs inside the SWI Prolog WASM module, thus allowing for a secure and sandboxed execution environment for AI agents. The project is still rough aro...

Show HN: ByteSync – Open-source hybrid file sync (LAN and remote, E2EE) Hi everyone, I've been developing ByteSync, an open-source file synchronization, backup and deduplication tool designed to bridge the gap between local and remote sync. In spirit, it's somewhat closer to FreeFileSync, but with an integrated networking layer and end-to-end encryption — which means you can synchronize files between computers on the same LAN or across the internet without VPNs or firewall setup. Everything works transparently through the same interface. The synchronization model is based on DataNodes (which represent repositories, such as servers or NAS devices) and DataSources (the folders or files inside them). A session can include multiple participants, each with one or several DataNodes, and ByteSync handles all comparisons and transfers automatically. To optimize performance, the engine uses a two-stage inventory process: an initial indexation followed by comparisons limited to items tha...

Help Shape the Embarcadero Connectivity Plan By Nick Veronin The Embarcadero Connectivity Plan aims to maintain and improve access to San Francisco’s waterfront in the decades ahead. We are launching the Embarcadero Connectivity Plan and our first step is listening to the needs of local communities. The Port of San Francisco is working to protect our city’s waterfront from the impacts of climate change and sea level rise. We are beginning a new transportation planning effort to support their efforts and prepare for how people will get around in the decades ahead. The Embarcadero Connectivity Plan aims to maintain and improve access to San Francisco’s... Published November 14, 2025 at 07:00AM https://ift.tt/sQBL6a2

Show HN: spymux – Spy on your tmux panes I had motivation for writing this after I kept switching back and forth between agents to see if they've finished what they were working on (and I couldn't find a similar tool out there). I'd imagine it can be useful for other scenarios as well, e.g. tracking multiple build/test jobs over multiple windows. Still a work in progress, but I thought I'd share :) https://ift.tt/Nq6kn41 November 15, 2025 at 12:09AM

Show HN: TalkiTo – enabling voice and Slack for Claude Code and Codex CLI Hey everyone, here is an open source project I've been working on to add voice input/output to terminal based coding agents. One thing about the new terminal coding agents I really like is being able to multi-task but right now it's a bit like a Tesla on autopilot needing your hands still on the wheel. You need to be checking often if your input is required or if it's going off the rails. To be able to go fully hands free I wanted to add TTS and ASR. Then I added slack and WhatsApp hooks to TalkiTo as well. It's fully open source with a BYOK philosophy and it's configured to work with any of the major ASR/TTS providers. It also supports local whisper and kokoro/kittentts if you want a decent free/private option. It works by wrapping the coding agent and capturing the input/output. It does have an MCP server running but thats mainly for configuration - I found that using MCP to speak or listen ...

Show HN: DBOS Java – Postgres-Backed Durable Workflows Hi HN - I’m Peter, here with Harry (devhawk), and we’re building DBOS Java, an open-source Java library for durable workflows, backed by Postgres. https://ift.tt/gATmXYf Essentially, DBOS helps you write long-lived, reliable code that can survive failures, restarts, and crashes without losing state or duplicating work. As your workflows run, it checkpoints each step they take in a Postgres database. When a process stops (fails, restarts, or crashes), your program can recover from those checkpoints to restore its exact state and continue from where it left off, as if nothing happened. In practice, this makes it easier to build reliable systems for use cases like AI agents, payments, data synchronization, or anything that takes hours, days, or weeks to complete. Rather than bolting on ad-hoc retry logic and database checkpoints, durable workflows give you one consistent model for ensuring your programs can recover from any failure fr...