I Designed My LED Matrix PCB with Code Instead of Traditional EDA Tools
Overview This tutorial will walk you through building a 3×5 LED matrix controlled by a Raspberry Pi Pico using tscircuit. Objectives of Building an LED Matrix Some practical applications of building an LED Matrix include: Signage – Building signs for events, products, etc. Data Visualization Tool – Displaying real-time data metrics like GitHub contributions, website […]
World Emulation via DNN
I turned a forest trail near my apartment into a playable neural world.You can explore that world in your web browser by clicking right here: By “neural world”, I mean that the entire thing is a neural network generating new images based on previous images + controls. There is no level geometry, no code for […]
Gym Class (YC W22) Is Hiring Character Animation Engineering Lead
Role Summary Gym Class is a leading social game on Meta Quest with millions of downloads, 71K ratings, and 4.9 stars. We’re now expanding the game to new interests and platforms, and looking for a talented and experienced Animation Engineer to drive the future of character movement and interaction in our evolving game world. In […]
Show HN: Formalizing Principia Mathematica using Lean
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. The goal is to ensure that the formalization aligns clearly with the corresponding theorems in the book to avoid confusion (See Metaprogramming =Syll=) Principia Mathematica’s notation (Peano-Russell notation) is exceptionally known for its sophistication that it […]
Curry: A functional logic programming language
Curry is a declarative multi-paradigm programming language which combines in a seamless way features from functional programming (nested expressions, higher-order functions, strong typing, lazy evaluation) and logic programming (non-determinism, built-in search, free variables, partial data structures). Compared to the single programming paradigms, Curry provides additional features, like optimal evaluation for logic-oriented computations and flexible, non-deterministic […]
Lossless LLM compression for efficient GPU inference via dynamic-length float
Abstract:Large Language Models (LLMs) have grown rapidly in size, creating significant challenges for efficient deployment on resource-constrained hardware. In this paper, we introduce Dynamic-Length Float (DFloat11), a lossless compression framework that reduces LLM size by 30% while preserving outputs that are bit-for-bit identical to the original model. DFloat11 is motivated by the low entropy in […]
Show HN: A modern spreadsheet with Python integration
GS-Calc GS-Calc is a modern spreadsheet with unique capabilities for processing big data sets.You can edit large CSV files with millions of rows, XLSX files that are automatically split and merged, build complex data models e.g. with millions of look-up formulas that are opened/updated almost instantly and clean, transform, publish multi-gigabyte data sets. 32 million rows x 16,384 columns.The number […]
Paper2Code: Automating Code Generation from Scientific Papers
Abstract:Despite the rapid growth of machine learning research, corresponding code implementations are often unavailable, making it slow and labor-intensive for researchers to reproduce results and build upon prior work. In the meantime, recent Large Language Models (LLMs) excel at understanding scientific documents and generating high-quality code. Inspired by this, we introduce PaperCoder, a multi-agent LLM […]
Foundry (YC F24) Is Hiring – Come Build a World Model for the Web
### Stop building GPT wrappers. Build a world model instead. — *Why Foundry exists:* Every SaaS app, enterprise tool, and internal workflow without an API will soon be automated by browser agents—not traditional API integrations. Tens of trillions of dollars in global labor depend on browser-based workflows that no AI system can reliably automate today. […]
Show HN: Magnitude – open-source, AI-native test framework for web apps
End-to-end testing framework powered by visual AI agents that see your interface and adapt to any changes in it. How it works ✍️ Build test cases easily with natural language 🧠 Strong reasoning agent to plan and adjust tests 👁️ Fast visual agent to reliably execute runs 📄 Plan is saved to execute runs the […]