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 […]
Huge reproducibility project fails to validate biomedical studies
A replication drive focused on results that lean on three methods commonly used in biomedical research in Brazil. Credit: Mauro Pimentel/AFP/Getty In an unprecedented effort, a coalition of more than 50 research teams has surveyed a swathe of Brazilian biomedical studies to double-check their findings — with dismaying results. The teams were able to replicate […]
Differential Coverage for Debugging
I have been debugging some code I did not write and was reminded of this technique. I’m sure it’s a very old debugging technique (like bisection), but it should be more widely known. Suppose you have one test case that’s failing. You can get a sense of what code might be involved by comparing the […]
The $20k American-made electric pickup with no paint, no stereo, no screen
Is the market ready for a four-wheeled digital detox? Is the market ready for a four-wheeled digital detox? Ask just about anybody, and they’ll tell you that new cars are too expensive. In the wake of tariffs shaking the auto industry and with the Trump administration pledging to kill the federal EV incentive, that situation […]
UIT – performant, modular, low-memory file processing at scale, in the Cloud
UIT is a library for performant, modular, low-memory file processing at scale, in the Cloud. It works by offering a 4-step process to gather a file hierarchy from any desired modality, apply filters and transformations, and output it in any desired modality. performance: speed is of essence when navigating and searching through large amounts of […]