Eidrax (@Eidrax) header
Eidrax (@Eidrax) profile picture

Tecnología diseñada para dar orden, trazabilidad y certeza a su trabajo diario. Desarrollo de software, hardware y protocolos propios.

Buenos Aires, Argentina
Joined October 2024
Photo by Eidrax (@Eidrax)Photo by Eidrax (@Eidrax)Photo by Eidrax (@Eidrax)Photo by Eidrax (@Eidrax)
How LA4KB Controls AI Authority? break-la4kb.eidrax.com/
1
52
Not ZK-of-weights. A deterministic kernel that decides whether an observation is authorized to become trusted knowledge. Agents propose; none of them close the belief. Signed, replayable, fail-closed. If your stack proves inference but still lets the agent promote INSTANCE → UNIVERSAL, this is the missing layer. break-la4kb.eidrax.com
30
Looking for eval infrastructure that is not an LLM judge. Deterministic authority kernel, public POST /challenge, Ed25519 receipts, published adapter postmortem. If you score agent claims, the interesting failure mode is “evidence that should not update state, does.” break-la4kb.eidrax.com @JadeFLeung
1
41
𝐂𝐚𝐧 𝐚𝐧 𝐀𝐈 𝐬𝐲𝐬𝐭𝐞𝐦 𝐩𝐚𝐫𝐭𝐢𝐜𝐢𝐩𝐚𝐭𝐞 𝐢𝐧 𝐝𝐞𝐜𝐢𝐬𝐢𝐨𝐧-𝐦𝐚𝐤𝐢𝐧𝐠 𝐰𝐢𝐭𝐡𝐨𝐮𝐭 𝐛𝐞𝐢𝐧𝐠 𝐚𝐥𝐥𝐨𝐰𝐞𝐝 𝐭𝐨 𝐝𝐞𝐟𝐢𝐧𝐞 𝐢𝐭𝐬 𝐨𝐰𝐧 𝐚𝐮𝐭𝐡𝐨𝐫𝐢𝐭𝐲? We’re opening BREAK LA4KB for public testing. LA4KB is an experimental deterministic authority layer designed around a simple principle: AI may propose. Deterministic rules decide whether the evidence is actually allowed to change knowledge or authorize action. The site is intentionally closer to a research lab than a consumer product. If you work with AI agents, distributed systems, formal reasoning, provenance, policy engines, knowledge graphs, safety, or adversarial testing, you’ll probably understand immediately what to try. -Use the web interface. -Use the API. -Try malformed evidence. -Try conflicting authority. -Try scope ambiguity. -Try temporal contradictions. -Try to make the system authorize something it should not. We are specifically interested in reproducible failures, not opinions. 𝐷𝑜𝑛’𝑡 𝑡𝑟𝑢𝑠𝑡 𝑡ℎ𝑒 𝑐𝑙𝑎𝑖𝑚. 𝑇𝑟𝑦 𝑡𝑜 𝑏𝑟𝑒𝑎𝑘 𝑡ℎ𝑒 𝑚𝑒𝑐ℎ𝑎𝑛𝑖𝑠𝑚. break-la4kb.eidrax.com #AI #AIAgents #AgenticAI #AISafety #AIEngineering #DistributedSystems #KnowledgeGraphs #FormalMethods #CyberSecurity #AdversarialTesting #MachineReasoning #Provenance #PolicyAsCode #LLMSecurity #Research
53
¿Tenes o administras un hotel y no tenes software? Contactanos.
45
¿Todavía calculás rinde, franja de pastoreo y camiones a ojo? --NEXAL-Rinde-- Calculadoras de campo. Sin señal. Gratis. Probala. → nexalrinde.eidrax.com/?s=NXR… #Agro #CampoArgentina #Ganadería
112
Sos transportista y sabés que salir a ruta sin controlar es arriesgar tu viaje. Rotar cubiertas y control de presión periódico te cuida el bolsillo. Pero no se puede estar en todo. 🚛 Estamos calentando motores con algo nuevo. Subite a probarlo. 🔗 distal.eidrax.com
66
-- Distal by Eidrax Se terminan las planillas y los camiones parados por un papel vencido. 🚛 El 1 de septiembre en Argentina se presenta -Distal-, el sistema online para gestionar tu flota que te conoce como nadie. Controlar el mantenimiento y cotizar viajes con rentabilidad real nunca fue tan fácil. Adelantate y probalo gratis hoy mismo: 👉 distal.eidrax.com
1
66
Llevá el control de tu flota al siguiente nivel 🚛 El 1 de septiembre lanzamos la versión definitiva de Distal, el sistema de gestión logística diseñado para que tus unidades estén siempre en regla y tus viajes sean rentables. Centralizá la información de tus unidades en un solo lugar: 🚦 Alertas de vencimientos: VTV, RUTA, seguros y licencias. 🔧 Mantenimiento al día: Historial de neumáticos, servicios y reparaciones. 📊 Cotizador Inteligente: Presupuestos precisos basados en tus costos operativos reales. Antes del lanzamiento oficial, abrimos un acceso anticipado. Queremos invitar a participar y probar el sistema de forma 100% gratuita para que conozcan cómo simplificar su gestión diaria. 👉 Asegurá tu prueba gratis ingresando acá: distal.eidrax.com
109
The first operational relay of O4DB is now online — a protocol designed specifically for B2B supply chains. Instead of searching for suppliers, companies publish structured demand and suppliers compete with their best offers — without exposing the buyer’s budget. o4db.org
1
145
O4DB enables sovereign RFQs: • Buyer-initiated procurement • Encrypted payloads • Neutral relay infrastructure • Suppliers compete to fulfill real demand Designed for supply chains, procurement teams, and developer platforms building the next generation of B2B commerce.
1
52
The first stable version is available for developers. Test the live relay: api.o4db.org Try the sandbox: Buyer → o4db.org/sandbox/buyer.html Seller → o4db.org/sandbox/seller.html New capabilities and major updates are coming soon.
1
42
Tired of searching through ad noise and endless catalogs for something you already know you want? O4DB is here to change that. A protocol that lets you publish your exact demand with a max price. No noise. Just direct. 🏗️🛡️ #O4DB #M2M #Protocol
2
1
706
Today, it’s a communication protocol; it’s up to devs to build the apps that speak this language. In the meantime, you can play in our sandbox: 🕹️ Buyer: o4db.org/sandbox/buyer.html 🕹️ Seller: o4db.org/sandbox/seller.html
1
551
The Engine Powered by UODI v1.2. High-density M2M encoding: 87 characters to encapsulate origin, destination, weight, and timeframe. No JSON overhead. Pure execution. #ProtocolEngineering
1
122
Interoperability O4DB is complementary. It’s a lightweight, heterogeneous layer for existing platforms to accept agent-driven demands without complex middleware. Plug & Play for the Agentic Economy #Interoperability
463