home.social

#declarative — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #declarative, aggregated by home.social.

fetched live
  1. 🚀 Oh, joy! Another "Let's build the worst" series—because who doesn't love a good #htmx disaster? 🤦‍♂️ Apparently, the author is thrilled that their decade-old #JavaScript relics still haunt us, while #backend #developers gleefully dance on the grave of JavaScript, dreaming of a #declarative #utopia that no one asked for. 🙄✨
    zserge.com/posts/worst-htmx-ev #disaster #legacy #HackerNews #ngated

  2. 🚀 Oh, joy! Another "Let's build the worst" series—because who doesn't love a good #htmx disaster? 🤦‍♂️ Apparently, the author is thrilled that their decade-old #JavaScript relics still haunt us, while #backend #developers gleefully dance on the grave of JavaScript, dreaming of a #declarative #utopia that no one asked for. 🙄✨
    zserge.com/posts/worst-htmx-ev #disaster #legacy #HackerNews #ngated

  3. By the time I started poking round in LISP, sometime in the mid 1980s, I had been programming in assembly, FORTRAN, and C for a few years—the weapons of all EE undergrads, in those days. I was #imperative, to the core. Yet, I took to LISP. But I hit the FP wall, when I met ML a bit later.

    ML was then far simpler than modern FP languages. Despite being comfortable with LISPy FP, I struggled with the purer MLish FP. With effort, it all clicked. Later in CS grad school, I met early, small Haskell, which was not a big gap for me to cross.

    As a grad student, I taught FP, in ML, to upper-level undergrads. Many of them came to the course armed with C or C++, so they faced the same hurdles I did. My personal experience helped me guide them. To my surprise, a few students who took ML as their very first programming language suffered far less. They were lower-level students who lacked programming experience but had already acquired theoretical proficiency. Because they came to ML without imperative prejudices, but armed with theoretical concepts, they got FP immediately.

    The #declarative paradigm is indeed a tall step to climb for the imperative #programmers. I would have cracked, had I transitioned from C and Smalltalk directly to Haskell, without the aid from LISP and ML.

    Every freshman today enters the CS programme with at least a few years of C++ or Python, usually taught by high school teachers without CS background. And most FP courses now use large, complex, industrial-strength languages like OCaml or Haskell.

    In my view, introducing FP using older, smaller, simpler, stabler languages, like R⁴RS Scheme and Standard ML '97, would be far less off-putting to the imperative-minded novices.

  4. By the time I started poking round in LISP, sometime in the mid 1980s, I had been programming in assembly, FORTRAN, and C for a few years—the weapons of all EE undergrads, in those days. I was #imperative, to the core. Yet, I took to LISP. But I hit the FP wall, when I met ML a bit later.

    ML was then far simpler than modern FP languages. Despite being comfortable with LISPy FP, I struggled with the purer MLish FP. With effort, it all clicked. Later in CS grad school, I met early, small Haskell, which was not a big gap for me to cross.

    As a grad student, I taught FP, in ML, to upper-level undergrads. Many of them came to the course armed with C or C++, so they faced the same hurdles I did. My personal experience helped me guide them. To my surprise, a few students who took ML as their very first programming language suffered far less. They were lower-level students who lacked programming experience but had already acquired theoretical proficiency. Because they came to ML without imperative prejudices, but armed with theoretical concepts, they got FP immediately.

    The #declarative paradigm is indeed a tall step to climb for the imperative #programmers. I would have cracked, had I transitioned from C and Smalltalk directly to Haskell, without the aid from LISP and ML.

    Every freshman today enters the CS programme with at least a few years of C++ or Python, usually taught by high school teachers without CS background. And most FP courses now use large, complex, industrial-strength languages like OCaml or Haskell.

    In my view, introducing FP using older, smaller, simpler, stabler languages, like R⁴RS Scheme and Standard ML '97, would be far less off-putting to the imperative-minded novices.

  5. On Thursday I was at the notary for the incorporation of my first company: @atvari 🥳

    Starting August, I will be offering consulting & contracting services to clients in the areas of Software & Cloud Engineering with a focus on Rust 🦀, Nix / NixOS ❄, and Open Source 🌐. I'm still open to opportunities, so feel free to reach out.

  6. On Thursday I was at the notary for the incorporation of my first company: @atvari 🥳

    Starting August, I will be offering consulting & contracting services to clients in the areas of Software & Cloud Engineering with a focus on Rust 🦀, Nix / NixOS ❄, and Open Source 🌐. I'm still open to opportunities, so feel free to reach out.

    #DevEx #DevOps #Kubernetes #Declarative #Reproducibility #Observability #Scalability

  7. Need to securely pass secrets to shell scripts in Jenkins? Use `withCredentials` in Declarative Pipelines. This snippet binds a Secret text credential to `SECRET_API_KEY`, masking it in console logs. Jenkins 2.176+ with Credentials Binding Plugin 1.24+ required. #jenkins #declarative-pipeline #credential-binding

    valtersit.com/vault/secure-cre

  8. Jenkins pipeline with manual approval gate using `input` directive and configurable timeout. Pauses execution until user provides input or timeout aborts stage. Essential for change management. #declarative-pipeline #input-approval #timeout

    valtersit.com/vault/pipeline-w

  9. Что такое Apple Declarative Device Management?

    В рамках WWDC 2026, а если быть точнее, то в ролике What’s new in managing Apple devices , инженер Device Management team, Cyrus Daboo, заявляет о том, что "Declarative Device Management уже здесь" и используется в продакшене для управления парками корпоративных устройств Apple по всему миру. Действительно, многие зарубежные вендоры уже добавили этот функционал в свой MDM- и UEM-решения, как-то: Jamf Pro, Workspace One, MobileIron и т. д., – но далеко не в полном объеме. Что касается классического MDM, то ранее компания Apple уже обозначала некоторые команды MDM как Deprecated, например, ScheduleOSUpdate , которая отвечает за установку обновлений macOS. Информацию об этой команде уже не найти на сайте Apple Developer | Device Management , но она все еще присутствует в репозитории Device management schema data for MDM на Github Apple . В следующей macOS 27 Golden Gate эта команда точно не будет работать, и без функционала DDM установить обновления "тихо и незаметно" не получится. В системе пока еще присутствует терминальная команда softwareupdate , но там есть нюансы, о которых можно прочитать в одной из статей , опубликованной в корпоративном блоге Ринго на Хабре. Так что же такое DDM?

    habr.com/ru/companies/ringo_md

    #MDM #macos #mobile_device_management #ios #системное_администрирование #declarative #macos_27 #uem #обновление #корпоративная_мобильность

  10. Как я случайно написал что-то быстрое и декларативное (на Rust)

    Писал парсер строго под свой проект, а получился быстрый декларативный движок для парсинга текстовых форматов. Как?

    habr.com/ru/articles/1049432/

    #rust #parsing #engine #declarative #fast #парсер #парсинг #работа_с_текстом #работа_с_текстовыми_данными

  11. 🎉 Behold, the latest marvel from the land of Go: a #GUI #framework that is declarative! 🤔 Because, evidently, there was a burning need for more ways to make #Go even more inscrutable. #GitHub sparkles with a new toy, while developers everywhere wonder, "Wasn't this already done… in 1995?" 🔧💥
    github.com/NV404/gova #Declarative #Innovation #DeveloperTools #TechHumor #HackerNews #ngated

  12. 🎉 Behold, the latest marvel from the land of Go: a #GUI #framework that is declarative! 🤔 Because, evidently, there was a burning need for more ways to make #Go even more inscrutable. #GitHub sparkles with a new toy, while developers everywhere wonder, "Wasn't this already done… in 1995?" 🔧💥
    github.com/NV404/gova #Declarative #Innovation #DeveloperTools #TechHumor #HackerNews #ngated

  13. kiviktnm/decman: Declarative package & configuration manager for Arch Linux.

    "Decman is a declarative package & configuration manager for Arch Linux. It allows you to manage installed packages, your dotfiles, enabled systemd units, and run commands automatically. Your system is configured using Python so your configuration can be very adaptive."

    Link: github.com/kiviktnm/decman

    #linkdump #archlinux #cfgmgmt #declarative #tool

  14. kiviktnm/decman: Declarative package & configuration manager for Arch Linux.

    "Decman is a declarative package & configuration manager for Arch Linux. It allows you to manage installed packages, your dotfiles, enabled systemd units, and run commands automatically. Your system is configured using Python so your configuration can be very adaptive."

    Link: github.com/kiviktnm/decman

    #linkdump #archlinux #cfgmgmt #declarative #tool

  15. After quite some time, I finally have all the pieces in place. Over the last 30 minutes, I’ve set up one of my servers from scratch. Here are some key changes:
    - Reverse Proxy: Nginx with Modsecurity (WAF)
    - Container Isolation: Every container runs in a seperate linux user
    - Podman Quadlet: I rewrote all my compose stacks into quadlet files - now all containers are starting probably after reboot 🥳
    - Grafana: Grafana's configuration is no managed by Opentofu which provitions at the moment the datasources (Grafana Loki and Prometheus) as well as the dashboards.
    - Server hardening: Improved ssh configuration, firewall, permissions in general on this host
    - Ansible: Everything is powered by ansible
    - Certbot: Use wildcard certificates for my domains / subdomains for easier renew process
    - Backups: All those services have proper backups configured which are timed with systemd timer and are replicated into my local homelab.
    - Services that are running at the moment
    - Grafana
    - Prometheus
    - Grafana Loki
    - Grafana Alloy
    - GitLab Runner
    - some other services that I wanna migrate to this server

    #homelab #sysadmin #linux #ansible #automation #devsecops #selfhosting #declarative #gitops #monitoring

  16. After quite some time, I finally have all the pieces in place. Over the last 30 minutes, I’ve set up one of my servers from scratch. Here are some key changes:
    - Reverse Proxy: Nginx with Modsecurity (WAF)
    - Container Isolation: Every container runs in a seperate linux user
    - Podman Quadlet: I rewrote all my compose stacks into quadlet files - now all containers are starting probably after reboot 🥳
    - Grafana: Grafana's configuration is no managed by Opentofu which provitions at the moment the datasources (Grafana Loki and Prometheus) as well as the dashboards.
    - Server hardening: Improved ssh configuration, firewall, permissions in general on this host
    - Ansible: Everything is powered by ansible
    - Certbot: Use wildcard certificates for my domains / subdomains for easier renew process
    - Backups: All those services have proper backups configured which are timed with systemd timer and are replicated into my local homelab.
    - Services that are running at the moment
    - Grafana
    - Prometheus
    - Grafana Loki
    - Grafana Alloy
    - GitLab Runner
    - some other services that I wanna migrate to this server

    #homelab #sysadmin #linux #ansible #automation #devsecops #selfhosting #declarative #gitops #monitoring

  17. (3/3)
    IMO it's one such really underrated feature of the NixOS. Imagine same #OS but very little extra storage for a different setup like #gaming, office, #mobile OS(in future maybe) etc all without dual or triple booting multiple OS🔥💪
    More such use cases too. Like I want a specialisation with #cachyos #linux #kernel some options tweak for performance use case etc etc

    Power of #declarative OS. And it's just one of the features of this awesome OS😁. The ecosystem is growing too

    #nix #nixos

  18. From #ContainerDays London to Barcelona: big thanks to the #DevOps BCN #Meetup for having me!

    I revisited my talk on moving beyond imperative #Docker builds toward #Declarative, #Reproducible and #Secure #OCI #Containers with #Nix:
    Hermetic, network-isolated builds, clearer dependency graphs, better layer reuse across images, and a stronger supply-chain story (#SBOM + #SLSA provenance).

    You can find the slides, transcript and more information at my website: arik-grahl.de/talks/devops-bcn

  19. On this week's #ITOps Query vodcast, #Microsoft corporate vice president and #Kubernetes project co-founder Brendan Burns envisions a long-term transition in the industry from #declarative cloud-native infrastructure to #intentbasedinfrastructure, facilitated by #AI.

    In the short term, the impact of AI on enterprise infrastructure will be strongest in two major areas, according to Burns: reducing toil through automation and improving data summarization with natural language-based infrastructure exploration.

    As enterprises adjust to these changes, Burns emphasized that IT leaders should get hands-on, firsthand experience with AI automation tools.

    In today’s episode, we’ll cover…

    -- The #KAITO #opensource project and #K8s evolution for AI

    -- #AIgovernance and control

    -- What needs to change about companies' mindsets to best use AI

    and more!

    youtube.com/watch?v=nYP0vD5Hgj8

  20. On this week's #ITOps Query vodcast, #Microsoft corporate vice president and #Kubernetes project co-founder Brendan Burns envisions a long-term transition in the industry from #declarative cloud-native infrastructure to #intentbasedinfrastructure, facilitated by #AI.

    In the short term, the impact of AI on enterprise infrastructure will be strongest in two major areas, according to Burns: reducing toil through automation and improving data summarization with natural language-based infrastructure exploration.

    As enterprises adjust to these changes, Burns emphasized that IT leaders should get hands-on, firsthand experience with AI automation tools.

    In today’s episode, we’ll cover…

    -- The #KAITO #opensource project and #K8s evolution for AI

    -- #AIgovernance and control

    -- What needs to change about companies' mindsets to best use AI

    and more!

    youtube.com/watch?v=nYP0vD5Hgj8

  21. kiviktnm/decman: Declarative package & configuration manager for Arch Linux.

    "Decman is a declarative package & configuration manager for Arch Linux. It allows you to manage installed packages, your dotfiles, enabled systemd units, and run commands automatically. Your system is configured using Python so your configuration can be very adaptive."

    Link: github.com/kiviktnm/decman

    #linkdump #archlinux #cfgmgmt #declarative #tool

  22. kiviktnm/decman: Declarative package & configuration manager for Arch Linux.

    "Decman is a declarative package & configuration manager for Arch Linux. It allows you to manage installed packages, your dotfiles, enabled systemd units, and run commands automatically. Your system is configured using Python so your configuration can be very adaptive."

    Link: github.com/kiviktnm/decman

    #linkdump #archlinux #cfgmgmt #declarative #tool

  23. Announcing a new #Guix release with version 1.5.0.

    guix.gnu.org/en/blog/2026/gnu-

    Guix is a rolling release meaning users receive the latest updates continuously.
    This release updates all the installation media when setting up Guix on a new system.

    It can be used as a package manager on top of an existing Linux distribution (e.g. #debian, #ubuntu, #suse, #fedora, #archlinux, etc). Or it can be used as a stand-alone #linux distribution installed as #desktop #server or in the #cloud.

    Since the previous release Guix has added 12,525 new packages and 29,932 packages have been updated.

    - #KDE Plasma and a #declarative configuration service

    - There are around 40 new system services to choose from such as Forgejo Runner and RabbitMQ

    - Full-source bootstraps of the #Zig and #Mono their compilers are now available

    - Other major updates include GCC 15.2.0, Emacs 30.2, Icecat and Librewolf 140, LLVM 21.1.8 and Linux-libre 6.17.12.

    - Contributing teams building packages for areas including #openscience, #hpc, #electronics, #python, #astronomy and #rust

    Read all about it on the blog and try out Guix now!

  24. Announcing a new #Guix release with version 1.5.0.

    guix.gnu.org/en/blog/2026/gnu-

    Guix is a rolling release meaning users receive the latest updates continuously.
    This release updates all the installation media when setting up Guix on a new system.

    It can be used as a package manager on top of an existing Linux distribution (e.g. #debian, #ubuntu, #suse, #fedora, #archlinux, etc). Or it can be used as a stand-alone #linux distribution installed as #desktop #server or in the #cloud.

    Since the previous release Guix has added 12,525 new packages and 29,932 packages have been updated.

    - #KDE Plasma and a #declarative configuration service

    - There are around 40 new system services to choose from such as Forgejo Runner and RabbitMQ

    - Full-source bootstraps of the #Zig and #Mono their compilers are now available

    - Other major updates include GCC 15.2.0, Emacs 30.2, Icecat and Librewolf 140, LLVM 21.1.8 and Linux-libre 6.17.12.

    - Contributing teams building packages for areas including #openscience, #hpc, #electronics, #python, #astronomy and #rust

    Read all about it on the blog and try out Guix now!

  25. Interested in #declarative computing, #linux or #reproducible software? #Guix is going to be at #FOSDEM for lots of goodness on #guile #scheme and the #nix approach to packaging #FreeSoftware - check out the talks various people are giving:

    guix.gnu.org/blog/2026/meet-gu

    As usual the Declarative and Minimalist computing track will have lots of interesting #lisp #spritely and #nrepl talks!

  26. Interested in #declarative computing, #linux or #reproducible software? #Guix is going to be at #FOSDEM for lots of goodness on #guile #scheme and the #nix approach to packaging #FreeSoftware - check out the talks various people are giving:

    guix.gnu.org/blog/2026/meet-gu

    As usual the Declarative and Minimalist computing track will have lots of interesting #lisp #spritely and #nrepl talks!

  27. Heard there is a better way?
    We're here you, every day!

    We are putting the fun into functional programming. Call 4400 to learn more.

    #elixir #39C3 #functional #declarative #immutable #concurrent #easy

  28. Heard there is a better way?
    We're here you, every day!

    We are putting the fun into functional programming. Call 4400 to learn more.

    #elixir #39C3 #functional #declarative #immutable #concurrent #easy

  29. Exploring how Datafun innovates declarative programming: This pure functional language extends Datalog, enabling concise expression of fixed-point computations over semilattices. Recent POPL 2020 research highlights its efficient, incremental evaluation using seminaïve techniques. Significant potential for simplifying complex, data-centric tasks while maintaining rigor. Could this influence future tools? Thoughts welcome. #FunctionalProgramming #Declarative #LanguageDesign

  30. @kevin
    Same here.
    "Learn as you go" approach works great. Some still haven't yet adapted to the understanding of declarative Linux systems. So once someone realise and taste it's potential they'll start looking at things the nix way.

    #linux #nix #declarative #system #paradigm #potential

  31. Now is the time to submit a talk for the declarative and minimalistic computing room at FOSDEM

    lists.fosdem.org/pipermail/fos

    If you're into #guix or #declarative #linux then there's lots of interesting areas.

    Some ideas:

    * building and configuring #guix and #guile #scheme - how particular services are used.
    * #guix and containerization / #docker
    * deploying #guix services in the cloud / on servers
    * running #guix on a hosted Linux distribution like #debian #ubuntu or #suse
    * managing development work flows

    And so much more ...

    It's a super friendly room so submit your talk now! Or talk to @pjotrprins

  32. Now is the time to submit a talk for the declarative and minimalistic computing room at FOSDEM

    lists.fosdem.org/pipermail/fos

    If you're into #guix or #declarative #linux then there's lots of interesting areas.

    Some ideas:

    * building and configuring #guix and #guile #scheme - how particular services are used.
    * #guix and containerization / #docker
    * deploying #guix services in the cloud / on servers
    * running #guix on a hosted Linux distribution like #debian #ubuntu or #suse
    * managing development work flows

    And so much more ...

    It's a super friendly room so submit your talk now! Or talk to @pjotrprins

  33. Thanks to the @fsf for promoting GNU Guix's fundraising.

    Like many other Free Software project's we depend on our users and fans support to pay for the project's expenses.

    We're running a campaign to 'sustain and strengthen' Guix. As a #linux distribution we have a lot of #packages which costs quite a bit to build and distribute to users. And, as we use the declarative and reproducible system pioneered by #Nix we rebuild packages whenever there's a change.

    If you'd like to know more about what we're doing, or support the project you can check out the blog post:

    guix.gnu.org/en/blog/2025/fund

    We appreciate any support that people can give!

    #linux #guix #gnuguix #scheme #guile #freesoftware #declarative #reproducible

  34. Thanks to the @fsf for promoting GNU Guix's fundraising.

    Like many other Free Software project's we depend on our users and fans support to pay for the project's expenses.

    We're running a campaign to 'sustain and strengthen' Guix. As a #linux distribution we have a lot of #packages which costs quite a bit to build and distribute to users. And, as we use the declarative and reproducible system pioneered by #Nix we rebuild packages whenever there's a change.

    If you'd like to know more about what we're doing, or support the project you can check out the blog post:

    guix.gnu.org/en/blog/2025/fund

    We appreciate any support that people can give!

    #linux #guix #gnuguix #scheme #guile #freesoftware #declarative #reproducible

  35. @noodle
    Git clone my-nixos-config-repo && cd myrepo
    && nh os switch -a .
    That's all.
    I'll go chill and then come back after sometime and it'll be in the state I have configured along with my home manager including all my ricing, dotfiles etc down to the exact version I have mentioned in my config.
    #nix #nixos #homemanager #linux #os #dotfiles #declarative #config

  36. @noodle
    Git clone my-nixos-config-repo && cd myrepo
    && nh os switch -a .
    That's all.
    I'll go chill and then come back after sometime and it'll be in the state I have configured along with my home manager including all my ricing, dotfiles etc down to the exact version I have mentioned in my config.
    #nix #nixos #homemanager #linux #os #dotfiles #declarative #config

  37. @finner
    #Nix became an awesome ecosystem, it's not just one thing now. All the projects of it doing awesome things.
    Scripts are imperative, Nix idea is like declarative and atomic in nature no midway script fails and undo problems etc.
    If u wanna read about nix shells have a look at this, I made this for a workshop few weeks back. It's almost like blog, so u get everything from basics.

    docs.google.com/presentation/d

    #nix #shells #scripts #imperative #declarative #atomic #workshop #blog

  38. @rachel The point of #NixOS is to #bootsrap and #customize things. So that ur #configurations become #portable and works on everyone's #machine. In this sense #Bazzite, #SteamOS all can just do their own configurations, kernels etc in the Nix way. So comparing NixOS with Bazzite or anything else is not the right way.
    For example, u can produce Bazzite, #Arch whatever with #Nix. Because NixOS is just a #declarative configuration by using #Nix.

  39. Ah, yes, yet another genius proposal to solve a problem no one knew they had: a 💫 "native" 💫 #DOM #templating API! Because, clearly, the web development community hasn't had enough hand-wringing debates about what "declarative" means. 😂 Let's all gather 'round and stare in awe at the brilliance of #overthinking the obvious! 🎉
    justinfagnani.com/2025/06/30/w #webdevelopment #API #declarative #proposals #humor #HackerNews #ngated

  40. So I'm kinda liking the idea of a #Declarative OS - that is, one where I can edit a config file (or whatever) to indicate the basic system setup, apps, gsettings (since I'm a Gnomie) and so on. Then hit "Update" or "Deploy" or whatever, reboot, and there's the system, as specified.

    THEN... I can take that file over to another computer and BOOM, same setup, same apps, same basic desktop setup, etc.

    #BlendOS does this with an easily editable yaml file. #NixOS does this with a .nix file that is significantly more complicated, but also more powerful.

    Anyone know any other OSes like that?

  41. Declarative programming for Digital Preservationists @ NTTW8


    by @beet_keeper

    youtube.com/watch?v=GkjQgU0Aq5

    Just released on the No Time to Wait (NTTW) YouTube channel is my presentation from NTTW8 in Karlsruhe, Germany. (Slides also available here).

    The presentation follows up on my proposal for iPRES 2024 and allowed me to present parts of what was, in the end, a pretty significant paper (in terms of word count).

    Sticking the

    #Code #Coding #Conferences #declarative #declarativeLanguages #declarativeProgramming #jsonid #KVAL #kvalAccessLanguage #NoTimeToWait #NTTW #NTTW8 #NTTW9 #Programming #programmingParadigms #software #SoftwareDevelopment #talks