HNHacker News
TopNewBestAskShowJobs

pnocera

3 karma · joined November 13, 2020

submissionscomments
pnocera··on Why the AI future will be awesome
Sounds like a Phillip K. Dick scenario. Which are all happening these days
pnocera··on Mercury 2: Fast reasoning LLM powered by diffusion
A politician communication agent maybe...
pnocera··on Agent orchestration for the timid
I've been playing with Brad Ross's AISP [1] to get a better quality of llm outputs at strategic stages of our basic design / plan / implementation workflows.

A concrete example of this is our Adviser Skill experiment [2]. In most AI workflows, a "reviewer" agent just dumps markdown feedback. Our Adviser doesn't just "talk"; it outputs an AISP 5.1 document ( a kind of "Assembly Language for AI Cognition" )

This document forces the agent to define:

- Strict Type Definitions for the issues identified (e.g., distinguishing between a gap, an edge case, or a missing requirement).

- EARS Rules (Easy Approach to Requirements Syntax) that determine the verdict. For example, a rule might state: "If any issue has a severity of ⊘ (critical), then the workflow MUST halt."

- Formal Evidence: Every "approve" or "reject" verdict must include a confidence score (δ) and a grounding proof (π) that explains why the change matches the original specification.

By treating the agent's output as a proof-carrying protocol rather than just text, we can chain multiple specialized agents (Architect, Strategist, Auditor) who "triangulate" on the codebase. They must reach a formal consensus where the variance between their scores is low.

This shifts the agent's goal from "Finish the task at all costs" to "Prove that this change is safe and correct." It turns out that iterating on the verification logic is much more effective for building reliable systems than just increasing the number of agents running concurrently.

[1] Brad Ross AISP : https://github.com/bar181/aisp-open-core

[2] Adviser skill : https://github.com/pnocera/skilld

pnocera··on Show HN: Open-source turn detection model for voice AI
I've been actively exploring ways to achieve a seamless and natural conversation with an AI. I played with detecting silences and punctuation ( STT can detect eg question marks ), but this is clearly not enough for turn detection. I think you made a huge step into that direction. Did you write an article or blog post about how you trained your model ? I'd love to make this work with multiple languages, or things like rhetorical question detection.
pnocera··on Talk-Llama
I'm in the same situation. I found this cog project to dockerise ML https://github.com/replicate/cog : you write just one python class and a yaml file, and it takes care of the "CUDA hell" and deps. It even creates a flask app in front of your model.

That helps keep your system clean, but someone with big $s please rewrite pytorch to golang or rust or even nodejs / typescript.

pnocera··on Ask HN: What is the most time consuming thing you had to code but didn't wanted
Writing a z39-50 adapter for a content management system using an esoteric language (4D)
pnocera··on Cuber: Deploy your apps on Kubernetes easily
I'm running a decent k3s 4 nodes cluster + 1 VM for the database at Hetzner for a total cost of 88€/month. It's not that expensive.
pnocera··on Ask HN: What's the best CLI installation experience you've ever seen?
Tailscale
pnocera··on The teen mental illness epidemic is international – Part 1: The Anglosphere
Our teens problem might be they only value the number of likes on their profile. Note that I won't get any credit to what I'm saying : I have less than 10 followers.
pnocera··on Garage, our self-hosted distributed object storage solution
I'd see a nice fit with Tailscale. Or how to create a secured private network of redundant and HA storage...
pnocera··on Zanzibar: Google’s Consistent, Global Authorization System (2019)
I agree. for my use case, once a user is authenticated, you get his roles and subscription. There's a limited number of features or actions for each object type, and a limited number of object types. So you can get the set of rules in the client to manage UI, and apply the same set of rules on the backend in the API. In this use case the authz calculation time will be the same with a million users and a billion objects.
pnocera··on Zanzibar: Google’s Consistent, Global Authorization System (2019)
I'm just wondering if there's a one size fits all solution for authz. I spent a few days on a use case : - users have one or several roles ( these are hierarchical ) - there are some objects in the system ( hierarchical too, eg files and folders ) - there are different features available according to a user's subscription. I ended up with a 30 lines program which given a set of rules calculates who can access what in less than a millisecond. Does it worth an over-engineered mega system ?