Latest Tech News

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

Filtered by: binding Clear Filter

Implementing dynamic scope for Fennel and Lua

I’m continuing my work on fennel-cljlib, my port of clojure.core and some other core libraries, focusing on porting missing functions and features to it. One such feature, which I sometimes miss in Lua and Fennel, is dynamic binding. The Lua VM doesn’t provide dynamic scoping as a language feature, and Fennel itself doesn’t introduce any concepts like Clojure’s Var . However, we can still implement dynamic scoping that works similarly to Clojure and other Lisps using the debug library. Most of

Binding Application in Idris

I’ve recently implemented binding application as a language feature in Idris. This feature allows writing types such as Dependent pairs in a more ergonomic way without relying on special compiler magic. Or rather, the compiler magic is made available to everyone. This post is a collection of uses for this feature. This feature is not publicly available yet, but I intend to make it available in the near future. What is it? Binding syntax and binding-application is an idea I had a couple of yea

Show HN: A Tool to Summarize Kenya's Parliament with Rust, Whisper, and LLMs

Bunge Bits Bunge Bits provides convenient summaries of Kenyan National Assembly and Senate proceedings, making legislative information more accessible and digestible. Motivations The driving force behind Bunge Bits is to strengthen Kenya's democracy by making legislative processes more transparent and understandable to all citizens. The aim is to bridge the gap between complex government proceedings and the average Kenyan, fostering increased civic engagement and political awareness. By offer