Latest Tech News

Stay updated with the latest in technology, AI, cybersecurity, and more

Filtered by: computation Clear Filter

An Afternoon at the Recursive Café: Two Threads Interleaving

An Afternoon at the Recursive Café: Two Threads Interleaving Scene: A cozy coffee shop called "Lambda Grounds" where the Wi-Fi password is "currying123" and the baristas wear t-shirts with arrows pointing right. ALEX, a curious philosophy student, sits across from CLAUDE, a mysterious figure who might be an AI, a very pale computer science professor, or possibly a sentient stack overflow answer. Steam rises from their cups in patterns that look suspiciously like lambda calculus expressions. AL

Show HN: Semlib – Semantic Data Processing

Semlib Semlib is a Python library for building data processing and data analysis pipelines that leverage the power of large language models (LLMs). Semlib provides, as building blocks, familiar functional programming primitives like map , reduce , sort , and filter , but with a twist: Semlib's implementation of these operations are programmed with natural language descriptions rather than code. Under the hood, Semlib handles complexities such as prompting, parsing, concurrency control, caching,

Mixture-of-recursions delivers 2x faster inference—Here’s how to implement it

Want smarter insights in your inbox? Sign up for our weekly newsletters to get only what matters to enterprise AI, data, and security leaders. Subscribe Now Researchers at KAIST AI and Mila have introduced a new Transformer architecture that makes large language models (LLMs) more memory- and compute-efficient. The architecture, called Mixture-of-Recursions (MoR), significantly improves model accuracy and delivers higher throughput compared with vanilla transformers, even when constrained by th

2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)

The 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to Paul Blain Levy for his fundamental study of effectful λ-calculi through the Call-by-Push-Value calculus. The awardee book and paper are: Paul Blain Levy. Call-By-Push-Value: A Functional/Imperative Synthesis. Semantics Structures in Computation 2, Springer 2004, ISBN 1-4020-1730-8 Paul Blain Levy. Call-by-Push-Value: Decomposing call-by-value and call-by-name. High.-Order Symb. Comput. 19(4): 3