Readit News logoReadit News
cssanchez commented on Show HN: Provability Fabric – From Guardrails to Guarantees for AI Agents    · Posted by u/MADEinPARIS
cssanchez · 15 days ago
This makes sense if you think models will continue their current architecture and will always generate random predictions full of hallucinations. I see the next leap forward in SOA models with someone finding the right way to architect a Logic engine and a Knowledge engine necessary to implement the Provability Fabric you propose. In short, I would say a knowledge kind of bloom filter should weed out factual hallucinations, while a logic one will solve the "how many Rs in strawberry" problem.

Most likely a SOA model will implement a kind of provability fabric to set up guaranteed output rails. But if we implement this today, for example, let's say we tell a model to classify input into one of 3 set categories, the PF will guarantee the model will only output one of those three options, but it can still "hallucinate" by picking a bad category using faulty logic, breaking the rules, etc.

cssanchez commented on The uv build back end is now stable   docs.astral.sh/uv/concept... · Posted by u/NeutralForest
CraigJPerry · 2 months ago
It's not rivaling Go anytime soon but there have been leaps and bounds.

E.g.

  uv init --script foo.py
  uv add --script foo.py httpx 
  cat foo.py
  ...
  dependencies = ['httpx']
  ...
Then on another machine:

  uv run foo.py
  # creates a virtual env, reads foo.py to see httpx is a dependency, installs in the ephemeral venv then runs the script
The above is from memory typed on a phone so maybe some minor syntax issues but the point i tried to make was we can kinda emulate the convenience of statically compiled binaries a-la Go these days

cssanchez · 2 months ago
I don't mean to be rude, but I don't get how this is any better. Feels too manual to type "uv -add dep script.py" instead, I feel the automation tool I'm waiting for will scan my script, auto-import all the deps I'm calling in the script while ignoring the ones that I forget to use, AND set up the env with all the deps AND run the code in the same one liner. To me, uv add X is no different than running env/pip install requirements.txt.
cssanchez commented on Ask HN: Who wants to be hired? (July 2025)    · Posted by u/whoishiring
cssanchez · 2 months ago
Location: United States, US citizen

Remote: I don't mind in office or remote. Preferably hybrid or occassional meets in person. Willing to relocate: Yes, to another state in US, would consider other countries

Technologies: Python, TS/JS, MSSQL, PostgreSQL, MS PowerBI, PowerApps, Salesforce+Tableau, Metabase, AI work automation

Language: native English & Spanish speaker, ex-Interpreter (CHI certified)

Titles: Technical Operations Manager, Business Intelligence Analyst, Solutions Architect, Data Analyst, Operations Engineer, Technical Project Manager, IT Consultant

I'm an ex-Developer turnes Data Analyst consultant. I help businesses and public agencies improve their operations through industry-leading management analytics strategies. Looking for management or consulting type roles where my skillset can help technical teams operate better and help executive management take better decisions.

Email: Contactme@myhnusername.com

cssanchez commented on Show HN: Workout.cool – Open-source fitness coaching platform   github.com/Snouzy/workout... · Posted by u/surgomat
cssanchez · 2 months ago
I started working out without a trainer a few months ago as well as doing rehab for a nasty shoulder tear. Today I see the benefit of targeting precise muscles and muscle groups, unlike other beginners in this thread.

One feature request I'd add to the pipeline is to filter exercises available by Gym. Planet Fitness is ironically super unfriendly to beginners and limited in what they offer. People could add the exercises available at their gym and grow the database. Conversely, this could help beginner home gymmers plan what machines / weights to buy to maximize their routine.

cssanchez commented on Show HN: Voiden – a free, offline, Git-native API Client   voiden.md... · Posted by u/kiselitza
cssanchez · 3 months ago
This looks great. Regarding the taglines and copy being confusing for some, I understood it, but I have some suggestions:

Instead of saying what it is, say what it does (for the user). For example instead of 'Offline-first API Client'..., try "Document your API, test it, and version it using Git 100% locally and free in a modern GUI. Voiden even includes a terminal so you can execute any command or custom workflow without ever leaving the app. (OSS release coming soon)". Remember, show, dontt tell.

cssanchez commented on Ask HN: I'm a New PostgreSQL Hacker – What Problems Do You Face with Postgres?    · Posted by u/DumBthInker007
cssanchez · 4 months ago
My experience with PG ended a few years ago. The thing that killed PG for me is the lack of collation for searches. I haven't tested since the last updates that mentioned something along these lines, so this may have improved.

PG for years relied on unaccent which is not a true solution as it requires manually storing two versions of a text (the original and the un-accented one) and handle indexes + searches manually for each field... Not to mention unaccent itself is an extension you have to install. Whereas collation is built-in and it just works by handling it all under the hood in SQL Server. This feature alone is worth switching databases for my use cases.

That and the updates being a royal pain.

cssanchez commented on Show HN: OpenRouter Model Price Comparison   compare-openrouter-models... · Posted by u/pacific01
cssanchez · 4 months ago
This is not about routers at all. I was expecting a comparison of models that run OpenWRT or similar.

What exactly is an LLM router and why would I use it? Most prices on this page are negative or 0 with tons of significant digits. How does that help?

cssanchez commented on I have a itch to build HR tech product but I dont know how to get started    · Posted by u/syed01
cssanchez · 6 months ago
HR enthusiast entrepreneur here too. HR is a MASSIVE universe of fields such as Recruiting, Training, Policy & Procedures, Payroll, Staffing Needs Studies, Scheduling (future), Workforce Distribution (live scheduling), Workforce Management (KPIs from past performance), sometimes Roles & Permissions, not to mention being a system of record for critical business ops.

I'm sketching out a project that will cover many of these and I've developed similar projects before. If you need ideas, feel free to reach out. contactme at myuser.com

Deleted Comment

Deleted Comment

u/cssanchez

KarmaCake day104January 5, 2022View Original