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
59
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
36
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
49
𝐂𝐚𝐧 𝐚𝐧 𝐀𝐈 𝐬𝐲𝐬𝐭𝐞𝐦 𝐩𝐚𝐫𝐭𝐢𝐜𝐢𝐩𝐚𝐭𝐞 𝐢𝐧 𝐝𝐞𝐜𝐢𝐬𝐢𝐨𝐧-𝐦𝐚𝐤𝐢𝐧𝐠 𝐰𝐢𝐭𝐡𝐨𝐮𝐭 𝐛𝐞𝐢𝐧𝐠 𝐚𝐥𝐥𝐨𝐰𝐞𝐝 𝐭𝐨 𝐝𝐞𝐟𝐢𝐧𝐞 𝐢𝐭𝐬 𝐨𝐰𝐧 𝐚𝐮𝐭𝐡𝐨𝐫𝐢𝐭𝐲? 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
58
¿Tenes o administras un hotel y no tenes software? Contactanos.
49
¿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
116
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
70
-- 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
70
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.
59
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
711
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
553
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
123
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
464
Nació, y sigue creciendo. Ahora es más. Mucho más. Dentro de poco habrá novedades.
152
¿Y si pusieras a competir a los vendedores por tu demanda de producto/servicio? Más eficiencia y mejor uso de recursos para ambos, y sobre todo la mejor oferta te encuentra.
100