CriptoSHAman

Bitcoin resolvió el problema de los generales bizantinos. @TauLogicAI resuelve problemas de +70 años; lógica autorreferencial, limitaciones de lógica temporal y extensiones de álgebra booleana, problemas que frenaban el desarrollo de IA ahora resueltos🤯 x.com/tau_l0g1x/stat…

Update v0.35 El explorador de grafos de transacciones ahora en pantalla completa: arrastra nodos, anota, etiqueta y comparte tu análisis en un link. Sin cuenta, sin servidor. Workspace unificado en modo Cypherpunk: grafos, direcciones y transacciones guardadas en un solo sitio

🛠 March Dev Update - Tau API Complete, Docker Gone, Tables Algorithm Settled Three main accomplishments this month: 1. The Tau API is fully implemented with a complete test suite. The REPL now goes through the API. This is the foundation every external tool will build on. 2. Tau Net nodes now call Tau Language directly via native bindings. The Docker workaround is gone. 3. A first algorithm for Boolean function quantifier elimination has been settled. This unlocks table support, which is a feature the team has been working toward for a long time. Tables make it possible to implement real-life programs in the Tau Language. Handling arrays that may themselves contain arrays, which is essential for any practical application built on the network But, there is more: - Bitvector simplification rebuilt using reverse Polish notation. Single post-order traversal and faster than before - Web wallet refreshed, now connects to main mining node by default - BDD library being built for Tau formulas, which enables long-planned normalization optimizations - Docker containers created for easy local node setup (two commands) - Ohad's temporal extensions paper in progress - making Tau Language strictly more expressive than LTL "Now that the long effort of supporting tables is finally settled, I'm working on the paper with the temporal extensions of the Tau Language. It will be strictly more than LTL, and hopefully much more appealing to researchers in the field of formal methods and software synthesis." — Ohad Asor Timestamps & Speakers: 0:10 – Karim Kaddeche (Development Overview) 6:24 – Tomáš Klapka (Tau Language Developer) 7:45 – David Castro Esteban (Lead Developer) 10:16 – Lucca Tiemens (Tau Language Developer) 13:19 – Andrei Korotkoff (Senior Developer) 16:54 – Ohad Asor (Founder & CTO)

🚨 Slack + Notion pero sin que nadie más controle tus datos. - Chat en tiempo real. - Páginas y wikis estilo Notion. - Bases de datos (tabla, kanban, calendario). - Archivos. …todo local-first (funciona 100% offline), se sincroniza solo con magia (CRDTs), lo instalas en tu servidor en 5 minutos y es open source. Pro-tip: dile a tu jefe que esto cuesta $5 por usuario al mes y quédatelos para ti ajsajsjaajs REPOOO👇

4 apps para ver Youtube sin publicidad y con reproducción en segundo plano. Para Windows, Linux y macOS: nosubscription.org/software/freet… Para Android: nosubscription.org/software/noutu… Para iOS (iPhone - iPad): nosubscription.org/software/protu… Para Android TV: nosubscription.org/software/smart…

@MiCryptoMundo @Tau_Net @TauLogicAI 👍

@cript0shaman @Tau_Net @TauLogicAI Vamos a ello!

Comenta una Alt y yo la analizo en un mega hilo👇

@MiCryptoMundo @JohnNakamoto_ @opentensor @Tau_Net x.com/cript0shaman/s…

@MiCryptoMundo @JohnNakamoto_ @opentensor no quiero sonar hater pero TAO no es nada innovador, solo uno de tantos proyectos de computación distribuida tipo Golem, que metió los LLM para poder usar el termino de moda IA... @Tau_Net usa un nuevo lenguaje de programación auterroferenciable para crear IA basada en lógica...

¿Alguien lleva $TAO en cartera? Recuerdo ya hace tiempo que @JohnNakamoto_ la compartió al rededor de $20-$30. Increíble todo lo que han logrado desde ese entonces. Ojalá hubiera comprado 😅

@MiCryptoMundo @JohnNakamoto_ @opentensor si eso lo consigue un proyecto que se basa en una IA probabilística como los LLM imagina si un proyecto crea una nueva rama de matemáticas para desarrollar una IA que realmente razone con lógica... 🤔 nah! dejalo es una IA complicada... x.com/Tau_Net/status…

@JohnNakamoto_ @opentensor Eso es lo que estoy esperando crack

@pmddomingos Without logic, LLMs are lost... they are impressive, but they do not reason logically... probability will always be just probability... TAU changes this... logical constraints that break through the barrier of probability... x.com/Tau_Net/status…

Perhaps AGI is not imminent after all.

🚨 Governments pay millions for this. Someone just open sourced it for free. It's called Crucix. It watches the entire world. And texts you when something changes. It pulls from 26 live data sources every 15 minutes and renders everything on a single Jarvis-style dashboard. Here's what it watches: → Satellite fire detection (NASA) → Live flight tracking → Radiation monitoring → Conflict zone events → Economic indicators from the Fed → Live market prices, crypto, oil, and commodities → Sanctions lists → Social sentiment from 17 Telegram intelligence channels → Maritime vessel tracking → News from GDELT and RSS feeds Here's what makes this one different: It's two-way. It pushes alerts to your Telegram and Discord. You text it back. Type /brief from your phone and get a full intelligence summary. Type /sweep to force a new scan. It responds like an assistant. It even generates trade ideas based on cross-domain signals. No cloud. No subscription. No telemetry. Runs on your machine. node server.mjs That's it. Your own intelligence terminal. This is the kind of setup that costs six figures behind closed doors. 100% Open Source. MIT License.

🚨 Someone just open sourced a full satellite ground station. You can now pull live data straight from space to your hard drive. It's called Ground Station. It tracks satellites, controls antennas, and decodes radio signals from orbit. All from a web dashboard on your laptop. No internet needed. Just a $30 SDR dongle and an antenna. Here's what it does: → Tracks hundreds of satellites in real-time with orbital predictions → Auto-controls your antenna to follow satellites as they pass overhead → Streams live radio signals from space through your SDR → Decodes weather satellite images from METEOR-M2 → Decodes SSTV, FSK, GMSK, BPSK, and AX.25 packets → Records raw IQ data with full metadata for playback → AI-powered transcription of intercepted voice transmissions → Schedules automated recordings so you capture passes while you sleep Here's the wildest part: You can set it to automatically detect when the ISS or a weather satellite is about to pass over your location, point the antenna, record everything, decode the data, and save it. All hands-free. You wake up to fresh satellite images on your hard drive. This is the kind of setup universities and government labs spend tens of thousands building. A Raspberry Pi, an RTL-SDR, and this repo. That's your ground station. 2,474 commits. Actively maintained. Built with Claude Code and Codex. 100% Open Source.

The CIA doesn't want you to find this GitHub repo 👀 It's called Shadowbroker and it aggregates every open-source military signal on Earth into one dashboard. → US Navy carrier strike groups tracked live → Spy satellites color-coded by mission type → GPS jamming zones with severity overlays → 25,000+ ships. 2,000+ CCTV feeds globally Right-click any point on Earth. Get a full intelligence dossier. 100% Opensource. Link in comments.

@TauLogicAI LLM vs. Tau ¿fuerza bruta o lógica? x.com/Tau_Net/status…

Bitcoin resolvió el problema de los generales bizantinos. @TauLogicAI resuelve problemas de +70 años; lógica autorreferencial, limitaciones de lógica temporal y extensiones de álgebra booleana, problemas que frenaban el desarrollo de IA ahora resueltos🤯 x.com/tau_l0g1x/stat…

@karpathy @ChristosTzamos x.com/Tau_Net/status…

@ChristosTzamos Wait this is so awesome!! Both 1) the C compiler to LLM weights and 2) the logarithmic complexity hard-max attention and its potential generalizations. Inspiring!

1/4 LLMs solve research grade math problems but struggle with basic calculations. We bridge this gap by turning them to computers. We built a computer INSIDE a transformer that can run programs for millions of steps in seconds solving even the hardest Sudokus with 100% accuracy

@elpady SIN FALLOS y sin fuerza bruta, una IA que usa Lógica en vez de probabilidad... nah... x.com/Tau_Net/status…

Un transformer resolviendo sudokus SIN FALLOS. LLMs que pronto sustituirán a los lenguajes de programación porque ellos son el lenguaje…

@ChristosTzamos Nice! Here is Tau's Sudoku Solver doing the same Sudoku. Our approach is to express the Sudoku as logical constraints, and our SMT solver does the rest.

🚨 ¡BOMBA EN LA IA LOCAL! @Entropic_AI acaba de hacer OPEN SOURCE todo el código de Entropic: el primer workspace de IA seguro, local y de 1 clic para tu máquina principal. Esto es HISTÓRICO porque: ✅ Corre @openclaw de forma aislada y segura. ✅ Local-first: tus datos y herramientas NUNCA salen de tu PC. ✅ Security-first: contenedores blindados + escáner de skills maliciosos. ✅ Instalación en 1 clic (Mac & Linux ya, Windows pronto). ✅ 100% extensible: crea, modifica y lleva tu agente a otro nivel. Olvídate de la nube, de los riesgos de privacidad y de los setup eternos. Tu máquina. Tus datos. Tu control total. REPOOO👇

FFmpeg, el mejor conversor de vídeos gratuito, se actualiza: más compatible, rápido y con nuevos códecs ➡️ FFmpeg 8.1 Hoare ffmpeg.org/download.html

🚨 NO TE PIERDAS DE ABSOLUTAMENTE NADA Un man con altas dosis de FOMO open-sourceó un beta más adictivo que el fentanilo para algunos: Crucix (⭐4.000 en Github). Es tu Jarvis personal de inteligencia global: escanea el planeta cada 15 minutos con 27 fuentes en vivo reales (satélites NASA de incendios, TODOS los vuelos del mundo, radiación, conflictos, mercados, cripto, barcos, sanciones y más). Te llega todo directo a Telegram con comandos simples: /brief → resumen mundial completo al instante /sweep → fuerza un escaneo ahora mismo Todo 100% local en tu máquina. Sin nube. Sin suscripciones. Sin que nadie te vigile. Tu centro de comando privado del planeta entero. REPOOO👇

El bloqueo total de Telegram en Rusia acaba de comenzar. Ni la versión móvil ni la de escritorio funcionan, ni siquiera con una VPN. ".. funciona con nuestra NymVPN, este dato es confirmado por nuestra comunidad." - @alexis_roussel