#functional — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #functional, aggregated by home.social.
-
🐢🚀 Oh, look at me, I'm F*! A "proof-oriented" #language that's apparently too cool for school, bridging the gap between #functional and effectful like a glorious #unicorn 🦄. Just try not to trip over all those fancy words while desperately clinging to #OCaml as your lifeboat! 🌊👨💻
https://fstar-lang.org/ #proof-oriented #programming #tech #news #HackerNews #ngated -
🐢🚀 Oh, look at me, I'm F*! A "proof-oriented" #language that's apparently too cool for school, bridging the gap between #functional and effectful like a glorious #unicorn 🦄. Just try not to trip over all those fancy words while desperately clinging to #OCaml as your lifeboat! 🌊👨💻
https://fstar-lang.org/ #proof-oriented #programming #tech #news #HackerNews #ngated -
F*: A general-purpose proof-oriented programming language
Comments: https://news.ycombinator.com/item?id=49143925
#HackerNews #FStar #programming #proof-oriented #language #proof-oriented #programming #languages #functional #programming #programming #languages #programming #languages
-
F*: A general-purpose proof-oriented programming language
Comments: https://news.ycombinator.com/item?id=49143925
#HackerNews #FStar #programming #proof-oriented #language #proof-oriented #programming #languages #functional #programming #programming #languages #programming #languages
-
Fuse – statically typed functional programming language
Comments: https://news.ycombinator.com/item?id=49143412
#HackerNews #Fuse #functional #programming #statically #typed #programming #languages #tech #news
-
Fuse – statically typed functional programming language
Comments: https://news.ycombinator.com/item?id=49143412
#HackerNews #Fuse #functional #programming #statically #typed #programming #languages #tech #news
-
Autism, Structure, and the Malleable Brain: What Restoring Function to Old Circuits Tells Us About New Therapies
Stay curious — follow @1ban_news.
-
Autism, Structure, and the Malleable Brain: What Restoring Function to Old Circuits Tells Us About New Therapies
Stay curious — follow @1ban_news.
-
The only minor damage I found was this broken edge of the battery cover—which, in theory, would allow the pin of the door hinge to wander off and let the back door come loose.
To fix this, I cut off the broken edge and filed it flat. Then I designed a new end piece in #FreeCAD, 3D-printed it and glued it in place.
It's not perfect—it wasn't easy to file the edge straight and true—but it is #functional.
#repair #3dPrinting #filmPhotography #35mm #Canon #pointAndShoot
-
The only minor damage I found was this broken edge of the battery cover—which, in theory, would allow the pin of the door hinge to wander off and let the back door come loose.
To fix this, I cut off the broken edge and filed it flat. Then I designed a new end piece in #FreeCAD, 3D-printed it and glued it in place.
It's not perfect—it wasn't easy to file the edge straight and true—but it is #functional.
#repair #3dPrinting #filmPhotography #35mm #Canon #pointAndShoot
-
The toughest part of #nix was to explain it to someone. Coz #devs, #devops, #sysadmin, #package building, etc etc will all do different projects in the ecosystem. Hence the reason for being hard to explain. So I was explaining the fundamentals as it's a pure #functional build system and can be used in all layers of the stack. And one guy said, "oh so now everyone can use the same #language across the toolchain?".
awestruck moment for me😳 -
I do not regret spending this evening with a lot of `mapcar` and `seq-reduce`. #Emacs #Lisp Also, #mutation is messy, keep it #functional whenever you can.
-
I do not regret spending this evening with a lot of `mapcar` and `seq-reduce`. #Emacs #Lisp Also, #mutation is messy, keep it #functional whenever you can.
-
𝗘𝗹𝗺:
https://thewhale.cc/posts/elm-019-is-out-and-more-efficient
Elm is a front-end functional language that compiles to JavaScript.
-
Yoga before the upcoming long haul flight ... #yoga #functional #Phuket
-
Yoga before the upcoming long haul flight ... #yoga #functional #Phuket
-
I am always thinking about some fantasy language that I might one day create.
I am particularly impressed by the simplicity of BASIC's use of variables:
A=ASC("K")
...which would put the integer value of the ASCII code for the letter K into variable A.
Which reminds me a little of R.
Weird day dream thought: what if we added lists to BASIC? What would that look like?
-
I am always thinking about some fantasy language that I might one day create.
I am particularly impressed by the simplicity of BASIC's use of variables:
A=ASC("K")
...which would put the integer value of the ASCII code for the letter K into variable A.
Which reminds me a little of R.
Weird day dream thought: what if we added lists to BASIC? What would that look like?
-
One Open-source Project Daily
Pampy: The Pattern Matching for Python you always dreamed of.
https://github.com/santinic/pampy
#1ospd #opensource #functional #lispinterpreter #patternmatching #python #python3 -
One Open-source Project Daily
Pampy: The Pattern Matching for Python you always dreamed of.
https://github.com/santinic/pampy
#1ospd #opensource #functional #lispinterpreter #patternmatching #python #python3 -
Yoga Wednesday.... perfect workout on a rainy morning... #yoga #functional #mobility #Phuket
-
Yoga Wednesday.... perfect workout on a rainy morning... #yoga #functional #mobility #Phuket
-
Rainy Monday morning yoga.... a little bit of everything #yoga #Phuket #functional #strength #flexibility #mobility
-
Rainy Monday morning yoga.... a little bit of everything #yoga #Phuket #functional #strength #flexibility #mobility
-
Great bundle of books about functional programming from @pragprog
#functional #programming #software #books #humbleBundle
https://www.humblebundle.com/books/ultimate-functional-programming-pragmatic-programmers-books
-
Great bundle of books about functional programming from @pragprog
#functional #programming #software #books #humbleBundle
https://www.humblebundle.com/books/ultimate-functional-programming-pragmatic-programmers-books
-
Create Your Dream Home with Custom Home Exterior Design Solutions
Innovative #exterior_home_design uses modern materials, clean lines, landscaping, and energy-efficient features to boost curb appeal. Custom renovations and trends create stylish, #functional long-lasting homes with strong visual appeal. Get inspired by modern home exterior upgrades: https://www.koehndesignconsulting.com/design/exterior-design/
-
Yoga Wednesday..... balancing and bending.... I am so glad that I can still move like this at my age... #yoga #mobility #flexibility #functional #Phuket
-
Yoga Wednesday..... balancing and bending.... I am so glad that I can still move like this at my age... #yoga #mobility #flexibility #functional #Phuket
-
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 has an intuitive, built-in support for parallelism. 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. Oh and, it also comes with a built-in GUI library of audio mixer controls.
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.
-
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 has an intuitive, built-in support for parallelism. 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. Oh and, it also comes with a built-in GUI library of audio mixer controls.
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.
-
🚗🚗🚗🇺🇲🌎🇺🇸💁🏿♀️*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
-
🚗🚗🚗🇺🇲🌎🇺🇸💁🏿♀️*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.
-
#Functional #prohibition = rights exist on paper but are blocked in practice.
-
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/
-
Balance, flexibility, and coordination at it's best... yoga is really challenging you, no matter how experienced you are... I love it... #yoga #balance #functional #strength #flexibility #Phuket
-
Balance, flexibility, and coordination at it's best... yoga is really challenging you, no matter how experienced you are... I love it... #yoga #balance #functional #strength #flexibility #Phuket
-
I don’t know who knows this apart from the experts, but #XSLT is a beautiful #functional language. I like it because it is purely so.
-
I don’t know who knows this apart from the experts, but #XSLT is a beautiful #functional language. I like it because it is purely so.
-
When learning #functional #programming , it helps to think of updating immutable objects like crabs and snakes and spiders moulting.
-
Ivermectin, Fenbendazole and Mebendazole Cancer Treatment Research Ivermectin and Fenbendazole in Cancer Care: A Functional Medicine Breakthrough As cancer diagnoses rise globally, the urgency for ...
#cancer #fenbendazole #functional #medicine #ivermectin #mebendazole #repurposed #drugs
Origin | Interest | Match