Point-Free Logic Programming

https://forum.malleable.systems/t/point-free-logic-programming/151

#Programming #Logic #Functional

New blog post!

https://marcosh.github.io/post/2026/05/08/categorical-transformers.html

where I start to explore what #haskell could be if we wanted to use #categories instead of #monads

#functional #functionalprogramming #categorytheory #monad

I really like the #FAuSt (Functional Audio Stream) #programming language, developed at GRAME in France by Orlarey, et al. It is designed for realtime sound synthesis and control for live music performances. But its #functional core is equally at home in DSP, robotics, and similar #realtime #embedded processing and control systems.

The Faust compiler translates the high-level FP constructs down to C, C++, Rust, Java, JavaScript, WASM, and even LLVM byte code. It can target the whole gamut of platforms: desktop, web, mobile, and MCUs. There is even an official demo for the ESP32 audio DevKit boards.

The generated C code is usually better optimised than handwritten code. This language has been around since 2002, so it is very stable. And because it emerged from an academic research environment, there are tonnes of well written papers and books for it. In short, Faust is a great language to write production-ready, custom DSP algorithms.

Do note that Faust's syntax is quite brisk. But it is nowhere near as brusque as the syntax of Backus's famed FP.

I heartily recommend Faust to the #EE who designs and implements realtime embedded systems, especially for #audio and #music applications.

https://faust.grame.fr

🚗🚗🚗🇺🇲🌎🇺🇸💁🏿‍♀️*LOOK HOW ADORABLE HONDA FITS!*& FIT SPORTS ARE!*REASONABLEY PRICED!*& MULTI FUNCTIONAL!*ALL THE POWER NEEDED!*GAS EFFICIENT!*& GOOD CLIMBERS IN SNOW!*WHO NEEDS TO PAY FOR CARS THAT COST MORE THAN SOME HOUSE Mortgages!*WHEN HONDA FITS!*& FIT SPORTS Are BETTER INVESTMENTS IN OVERWHELMING ECONOMIC TIMES!*LETS GET REAL WITH SELLING HONDA FITS AGAIN IN AMERICA!🚗🇺🇲🌎🇺🇸🚗

#ADORABLE #HONDA #FITS #FITSPORTS #REASONABLE #PRICED #MULTI #FUNCTIONAL #POWER #NEEDED #GAS #EFFICIENT #GOOD #IN #SNOW

🚗🚗🚗🇺🇲🌎🇺🇸💁🏿‍♀️*LOOK HOW ADORABLE HONDA FITS!*& FIT SPORTS ARE!*REASONABLEY PRICED!*& MULTI FUNCTIONAL!*ALL THE POWER NEEDED!*GAS EFFICIENT!*& GOOD CLIMBERS IN SNOW!*WHO NEEDS TO PAY FOR CARS THAT COST MORE THAN SOME HOUSE Mortgages!*WHEN HONDA FITS!*& FIT SPORTS Are BETTER INVESTMENTS IN OVERWHELMING ECONOMIC TIMES!*LETS GET REAL WITH SELLING HONDA FITS AGAIN IN AMERICA!🚗🇺🇲🌎🇺🇸🚗

#ADORABLE #HONDA #FITS #FITSPORTS #REASONABLE #PRICED #MULTI #FUNCTIONAL #POWER #NEEDED #GAS #EFFICIENT #GOOD #IN #SNOW

These are the freedoms that degrade quietly, through functional prohibition and #functional consent, rather than through explicit #removal.

https://survivorliteracy.com/2026/05/01/which-freedoms-typically-erode-under-long-term-structural-constraint/

#Functional #prohibition = rights exist on paper but are blocked in practice.

https://survivorliteracy.com/2026/05/01/pairing-the-voting-rights-acts-collapse-with-functional-prohibition-functional-consent/

Functional prohibition requires functional consent to remain stable.
Functional consent cannot exist without #functional #prohibition shaping the field.

https://survivorliteracy.com/2026/05/01/functional-prohibition-implies-functional-consent/

A system can nullify legal protections through consistent cultural enforcement.
This is known as #functional #prohibition:

https://survivorliteracy.com/2026/05/01/functional-prohibition-head-appendage-enforcement/