LinkHarvestDigest

Show HN: Salt – a systems language with Z3 theorem proving in the compiler https://salt-lang.dev July 1, 2026 at 06:05PM

Show HN: C++, Java and C# light-weight-logger This is a library I've been working on with versions for C++, java & C# where you make custom formats and Log based on them, for example you could make an ERROR Like this: [ERROR] [date, time-stamp, time-zone] (file:thread-ID:line) but you would write it like this: // define the master format master_style = "%C[%N]%c%S%G[%D %T %Z]%c %M %G(%F:%t:%L)"; // tell the logger what colour to use for a given name logger.add_format("ERROR", master_style, Colour::RED); so now the [ERROR] part will be red, the time area will be grey, and the location grey, but you could really make any style you wanted. And once you have a master format you could also add different types of logs: logger.add_format("SUCCESS", style_minimal, Colour::GREEN); logger.add_format("INFO", master_style, Colour::CYAN); logger.add_format("WARN", master_style, Colour::YELLOW); also the %S ...

Show HN: TakoVM – open-source sandboxing for your agent's code https://ift.tt/WACI6jL June 30, 2026 at 11:32PM

Show HN: Xenoeye – analyze network without AI using netflow, PostgreSQL, Grafana Sorry for the slightly truncated title. It should have been "Network traffic analysis and monitoring without AI, using netflow-family protocols, PostgreSQL or ClickHouse, Grafana, and some scripts". In 2026, it might seem a bit presumptuous to announce AI-free software on HN. But building a netflow analyzer manually is no less presumptuous! There are quite a few xFlow analyzers out there these days, and I'm constantly reminded of this. But I think there's always room for an alternative approach. After all, that's how software evolves, isn't it? So, how does xenoeye differ from popular (at least from popular open source) analyzers? - The analyzer has a feature called "monitoring objects". For some reason, open-source analyzers rarely use this feature, while commercial ones do. The monitoring object can be a subnet, autonomous system, geo-object (data on geo and AS are tak...

Show HN: Privacy Friendly Age Verification System without ID https://private-age-estimation.vednig.workers.dev June 29, 2026 at 07:11PM

Show HN: wavecat – a fully local personal agent that watches your screen wavecat is a fully local personal agent that watches your screen. It develops a rich understanding of your needs and goals by constantly viewing your activity. Don't worry, none of your personal data ever leaves your computer since all the models run locally. I think it's something cool to show a feature that local agent systems can do that cloud systems can't. If you have a beefy Apple Silicon Mac or a nice GPU, you should be able to run it! https://wavecat.ai/ June 29, 2026 at 01:00AM

Show HN: Image2JXL – a native macOS JPEG XL converter https://ift.tt/sj1TqHp June 29, 2026 at 01:09AM