If you were to write a #compiler in #Haskell, would you use a lens library to transform the data structures? #poll #compilers #pldev
If you were to write a #compiler in #Haskell, would you use a lens library to transform the data structures? #poll #compilers #pldev
Packaging #Haskell code for easy Swift interoperability: easy thanks to these tips: https://alt-romes.github.io/posts/2025-07-05-packaging-a-haskell-library-as-a-swift-binary-xcframework.html @haskell
We have a relatively big code base in #haskell and the rate of bugs per release is quite low. I consider it as my failure as a team lead.
At some point we hadn't reverted releases for more then a year! Apparently managements though we don't have the technical ability to revert releases at all :)
For me it means that we were focusing on correctness too much neglecting issues that are more important for the company.
Correctness Doesn’t Matter
It's an intentionally catchy title, but the point is still there. I think it's an important lesson many #haskell and FP enthusiasts failed to learn.
https://www.galois.com/articles/what-works-and-doesnt-selling-formal-methods
#EAS #WEA for Crawford, #AR; #Adair, #OK; #Haskell, #OK; #Sequoyah, #OK: National Weather Service: A FLASH #FLOOD WARNING is in effect for this area until 2:00 PM CDT. This is a dangerous and life-threatening situation. Do not attempt to travel unless you are fleeing an area subject to flooding or under an evacuation order. Source: NWS Tulsa OK ** DO NOT RELY ON THIS FEED FOR LIFE SAFETY, SEEK OUT OFFICIAL SOURCES ***
#EAS #WEA for Crawford, #AR; #Adair, #OK; #Haskell, #OK; #Sequoyah, #OK: National Weather Service: A FLASH #FLOOD WARNING is in effect for this area until 1:00 PM CDT. This is a dangerous and life-threatening situation. Do not attempt to travel unless you are fleeing an area subject to flooding or under an evacuation order. Source: NWS Tulsa OK ** DO NOT RELY ON THIS FEED FOR LIFE SAFETY, SEEK OUT OFFICIAL SOURCES ***
I want to be your next #FediHire ! I've been a programmer since 1985 (as a child), I've been an IT professional since 1995 (pulling wires and swapping cards and configuring MS Windows). I graduated from University of Arkansas Fayetteville with a BS in CS in December of 2003. A full resume is available.
I currently require a 100% remote position. I cannot relocate from Cove, #Arkansas. I would prefer W-2 employment with a base salary of at least 130k USD/yr, plus some sort of retirement offering (401k or similar) and healthcare benefits (HDCP + HSA or similar).
I prefer something where I can be a high-performing individual contributor: reading, writing and improving source text the majority of my day, with some time spent knowledge-sharing with other developers -- learning and teaching. I'd like to work with #Haskell, #Purescript, or #Idris as the primary source language. I've previously delivered value in Haskell, #Javascript, #SQL, #Python, #Scala, #Java, #C, and #C++ among others. I can be productive in almost any language (no PHP, please; I promised myself never again).
The #haskell ByteString functions like "take" and "drop" take "Int64" instead of plain "Int". Curious.
Moving away from the constant upgrade cycle & moving closer to the ideals of #PermaComputing #MalleableSoftware
Design and setup a redundant system of old/used, cheap, low-power devices running ia: #Guix, #Linux, #FreeBSD, #macOS, #HaikuOS, #Plan9Front, #X11, #P9, #NFS, all working together
Become an expert on #MicroControllers #ESP32 #STM32 #RP2040 #MIPS #RiscV
DIY sensors which sing like birds to communicate their status
DIY robots "drones"
Move as much as possible of my computing needs to the #Terminal, #Emacs, #Rio #CLI #TUI #P9
Get an #3DPrinter and learn to use it
Design and build my own portable 8dot #braille terminal & try out if 3x3 or 3x4 dots is also workable.
Design and build my own low-power computers, their OS, and tools
Writing more of my own tools #DIY
#SmallTalk #ObjectPascal #Prolog #Scheme #Racket #CommonLisp #Haskell #Rust #Go #ObjectiveC #Swift
Deploy #LoRa #ReticullumNetwork #RNodes #MeshCore #Meshtastic
Start an #InternetResiliencyClub
Add #Tor, #I2P support by #WebProxy
#SolarPowered #SelfHost over #I2P, #OnionService #Blog #Wiki #Repositories #GopherHole #Darcs #Mercurial
#SelfHost my own #EmailServer, which will only accept email from #KnownServers #CommunityEmail #MutualEmailAcceptance
Share files via #BitTorrent over #I2P
DIY #HomeAutomation
DIY #GardeningAutomation
DIY #GreenHouse
Get a house cat, train the cat, use voice and gestures
Start asking money for advice & technology support
Build/program my own opportunistic and strange cryptocurrency miners #BTC, #XMR, #ZEC, etc #Art
#MakeMoreArt #LearnToDraw #Learn3DModeling #LearnGenerativeArt #LearnToComposeAmbientMusic
#ReCreateJottit #ReCreateInstikiWiki
#WriteMore #PublishMore #Letters, #Essays, #Missives, #Reports, #Treatise
…
If you ever needed a #haskell async job queue, similar to #celeryproject but simpler, with #postgres or (experimental) #redis backends, well, then here it is:
Just put in another application via #LinkedIn so I also wanted to try to get #FediHired again.
I've been a programmer since 1985 (as a child), I've been an IT professional since 1995 (pulling wires and swapping cards and configuring MS Windows). I graduated from University of Arkansas Fayetteville with a BS in CS in December of 2003. A full resume is available.
I currently require a 100% remote position. I cannot relocate from Cove, #Arkansas.
I prefer something where I can be a high-performing individual contributor: reading, writing and improving source text the majority of my day, with some time spent knowledge-sharing with other developers -- learning and teaching. I'd like to work with #Haskell, #Purescript, or #Idris as the primary source language, but I can be productive in almost any language (no PHP, please; I promised myself never again).
I would prefer W-2 employment with a base salary of at least 130k USD/yr, plus some sort of retirement offering (401k or similar) and healthcare benefits (HDCP + HSA or similar).
(Boosts appreciated.)
Cooked up this abomination at ZuriHac 2025 -- execute Verilog circuits right from your Haskell! All the blame for the idea goes to @kmett https://mazzo.li/posts/inline-verilog.html
#EAS #WEA for Fisher, #TX; #Haskell, #TX; #Jones, #TX: National Weather Service: SEVERE THUNDERSTORM WARNING in effect for this area until 8:30 PM CDT for DESTRUCTIVE baseball size hail and 80 mph winds. Take shelter in a sturdy building, away from windows. People and animals outdoors will be severely injured. Source: NWS San Angelo TX ** DO NOT RELY ON THIS FEED FOR LIFE SAFETY, SEEK OUT OFFICIAL SOURCES ***
I cannot remember the last time I was as frustrated with writing code as I am now trying to wrap my head around #haskell. And yet, after each night of swearing it off as a useless programming language I'll never find a job in, the next day I'm right back at it again.
Learn physics with functional programming. ~ Esteban Marin. https://youtu.be/Zp5D_wMi97Q #Haskell #FunctionalProgramming #Physics
#Pocket is dying so it's appropriate to talk about the minimal #ReadLater service I wrote for myself: LinkFodder.
You can save links via an API, or a form, or a Telegram bot, and you get an HTML page (shown below) and an Atom #feed. That’s it.
Supports multiple users, written in #Haskell, deployable as a single binary (or a Docker image) behind the reverse-proxy server of your choice in your #SelfHosting setup.
It doesn't even need a database to run; it simply rewrites the HTML and Atom files when you save a new link.
@jenniferplusplus @lunarood Oh, I thought it was about #Haskell .
Isn't this mainly a problem from the (main) compiler(s) not having a stable ABI? Or is it deeper than that?
I can certainly understand not trying to match the "C ABI", but it would be nice if we didn't have to update (almost) every Haskell package in #Debian in lock-step.
@das_g True. It is certainly magical that there is a programming language which defines a state monad called “IO” (or sometimes “Effect”) which carries around with it a symbol of the entire Real World in order to model the idea that any evaluation of a function of that type of monad may (or may not) create a change somewhere out in the real world, as opposed to “pure” functions which can only ever manipulate the stack.