Discussion
Loading...

#Tag

Log in
  • About
  • Code of conduct
  • Privacy
  • Users
  • Instances
  • About Bonfire
Konrad Hinsen boosted
jnpn
jnpn
@jnpn@mastodon.social  ·  activity timestamp yesterday

racket based solver-aided programming

https://emina.github.io/rosette/

#racket #scheme #solver #sat #dsl #verification

Rosette: About

The Rosette Language
  • Copy link
  • Flag this post
  • Block
jnpn
jnpn
@jnpn@mastodon.social  ·  activity timestamp yesterday

racket based solver-aided programming

https://emina.github.io/rosette/

#racket #scheme #solver #sat #dsl #verification

Rosette: About

The Rosette Language
  • Copy link
  • Flag this post
  • Block
Rob Whittaker boosted
Kerrick Long (code)
Kerrick Long (code)
@kerrick@ruby.social  ·  activity timestamp last week

Developer experience has been my consistent focus when #Ratatui #Ruby and its #MVU runtime #Tea (The #Elm Architecture).

For example, look at this great #Router #DSL! For most cases, this will save you a ton of code and headaches. But when you need full control, you've got it.

Try it now: https://git.sr.ht/~kerrick/ratatui_ruby-tea

Learn more: https://sr.ht/~kerrick/ratatui_ruby/

#DeveloperExperience #DX #TUI #TerminalUserInterface #Software #Functional #Programming #SoftwareEngineering

A screenshot of two similar Ruby files, the one on the left is over 80 lines of code and the one on the right is about 40 lines of code. the one on the left is pretty dense and hard to read at first, the one on the right is pretty clear.
A screenshot of two similar Ruby files, the one on the left is over 80 lines of code and the one on the right is about 40 lines of code. the one on the left is pretty dense and hard to read at first, the one on the right is pretty clear.
A screenshot of two similar Ruby files, the one on the left is over 80 lines of code and the one on the right is about 40 lines of code. the one on the left is pretty dense and hard to read at first, the one on the right is pretty clear.

ratatui_ruby: 💎 Unofficial Ruby wrapper for Ratatui 👨‍🍳🐀.

~kerrick/ratatui_ruby-tea -

☕ The Elm Architecture for RatatuiRuby 💎 👨‍🍳🐀. -

sourcehut git

  • Copy link
  • Flag this post
  • Block
Kerrick Long (code)
Kerrick Long (code)
@kerrick@ruby.social  ·  activity timestamp last week

Developer experience has been my consistent focus when #Ratatui #Ruby and its #MVU runtime #Tea (The #Elm Architecture).

For example, look at this great #Router #DSL! For most cases, this will save you a ton of code and headaches. But when you need full control, you've got it.

Try it now: https://git.sr.ht/~kerrick/ratatui_ruby-tea

Learn more: https://sr.ht/~kerrick/ratatui_ruby/

#DeveloperExperience #DX #TUI #TerminalUserInterface #Software #Functional #Programming #SoftwareEngineering

A screenshot of two similar Ruby files, the one on the left is over 80 lines of code and the one on the right is about 40 lines of code. the one on the left is pretty dense and hard to read at first, the one on the right is pretty clear.
A screenshot of two similar Ruby files, the one on the left is over 80 lines of code and the one on the right is about 40 lines of code. the one on the left is pretty dense and hard to read at first, the one on the right is pretty clear.
A screenshot of two similar Ruby files, the one on the left is over 80 lines of code and the one on the right is about 40 lines of code. the one on the left is pretty dense and hard to read at first, the one on the right is pretty clear.

ratatui_ruby: 💎 Unofficial Ruby wrapper for Ratatui 👨‍🍳🐀.

~kerrick/ratatui_ruby-tea -

☕ The Elm Architecture for RatatuiRuby 💎 👨‍🍳🐀. -

sourcehut git

  • Copy link
  • Flag this post
  • Block
Josep Bigorra (jjba23)
Josep Bigorra (jjba23)
@jjba23@mastodon.social  ·  activity timestamp 2 months ago

Olive CSS (v0.1.5) a Lisp powered utility class vanilla CSS framework that allows opinionated "Tailwind-like" syntax and custom optimized production builds - no JavaScript (all Guile Scheme λ )

https://codeberg.org/jjba23/olive-css

You can use this in any web project, it is vanilla CSS, and it serves as a kind-of drop-in replacement for Tailwind so the syntax is mostly transferrable.

#lisp #scheme #guile #guix #utility #class #javascript #tailwind #css #vanilla #fp #dsl

4 media
hygguile in dark mode
hygguile in dark mode
hygguile in dark mode
Wikimusic genres
Wikimusic genres
Wikimusic genres
showing the Olive CSS DSL
showing the Olive CSS DSL
showing the Olive CSS DSL
olive CSS logo
olive CSS logo
olive CSS logo
  • Copy link
  • Flag this post
  • Block
heise online boosted
c't Magazin
c't Magazin
@ct_Magazin@social.heise.de  ·  activity timestamp 2 months ago

Abbrüche bei Cloud-Backup

Ich habe einen Glasfaseranschluss und mache jede Nacht ein Backup meines NAS zu einer Storage-Cloud. Manchmal klappt das nicht und schlägt fehl. Was ist da los?

https://www.heise.de/ratgeber/Abbrueche-bei-Cloud-Backup-10963573.html?wt_mc=sm.red.ho.mastodon.mastodon.md_beitraege.md_beitraege&utm_source=mastodon

#Backup #CloudComputing #DSL #IT #NAS #Wissenschaft #news

c't Magazin

Abbrüche bei Cloud-Backup

Ich habe einen Glasfaseranschluss und mache jede Nacht ein Backup meines NAS zu einer Storage-Cloud. Manchmal klappt das nicht und schlägt fehl. Was ist da los?
  • Copy link
  • Flag this post
  • Block
c't Magazin
c't Magazin
@ct_Magazin@social.heise.de  ·  activity timestamp 2 months ago

Abbrüche bei Cloud-Backup

Ich habe einen Glasfaseranschluss und mache jede Nacht ein Backup meines NAS zu einer Storage-Cloud. Manchmal klappt das nicht und schlägt fehl. Was ist da los?

https://www.heise.de/ratgeber/Abbrueche-bei-Cloud-Backup-10963573.html?wt_mc=sm.red.ho.mastodon.mastodon.md_beitraege.md_beitraege&utm_source=mastodon

#Backup #CloudComputing #DSL #IT #NAS #Wissenschaft #news

c't Magazin

Abbrüche bei Cloud-Backup

Ich habe einen Glasfaseranschluss und mache jede Nacht ein Backup meines NAS zu einer Storage-Cloud. Manchmal klappt das nicht und schlägt fehl. Was ist da los?
  • Copy link
  • Flag this post
  • Block
heise online
heise online
@heiseonline@social.heise.de  ·  activity timestamp 3 months ago

Digitalminister macht Netzausbau zur "Chefsache"

Im Dialog mit der Branche und den Kommunen will Digitalminister Wildberger den Netzausbau nun endlich voranbringen. Die Branche gibt sich optimistisch.

https://www.heise.de/news/Digitalminister-macht-Netzausbau-zur-Chefsache-10962149.html?wt_mc=sm.red.ho.mastodon.mastodon.md_beitraege.md_beitraege&utm_source=mastodon

#Bundesregierung #DSL #Glasfaser #Netze #Netzpolitik #Wirtschaft #news

heise online

Digitalminister macht Netzausbau zur "Chefsache"

Im Dialog mit der Branche und den Kommunen will Digitalminister Wildberger den Netzausbau nun endlich voranbringen. Die Branche gibt sich optimistisch.
  • Copy link
  • Flag this post
  • Block
Bálint Szilakszi boosted
heise online
heise online
@heiseonline@social.heise.de  ·  activity timestamp 3 months ago

"Glasfaser-DSL": Gericht verbietet Werbung von 1&1

Nach einer Klage der Verbraucherzentrale muss der Internetanbieter 1&1 die Werbung für seine Glasfaser-Anschlüsse ändern.

https://www.heise.de/news/Glasfaser-DSL-Gericht-verbietet-Werbung-von-1-1-10781152.html?wt_mc=sm.red.ho.mastodon.mastodon.md_beitraege.md_beitraege&utm_source=mastodon

# #DSL #Glasfaser #IT #Netzpolitik #Werbebranche #Wirtschaft #news

heise online

"Glasfaser-DSL": Gericht verbietet Werbung von 1&1

Nach einer Klage der Verbraucherzentrale muss der Internetanbieter 1&1 die Werbung für seine Glasfaser-Anschlüsse ändern.
  • Copy link
  • Flag this post
  • Block
heise online
heise online
@heiseonline@social.heise.de  ·  activity timestamp 3 months ago

"Glasfaser-DSL": Gericht verbietet Werbung von 1&1

Nach einer Klage der Verbraucherzentrale muss der Internetanbieter 1&1 die Werbung für seine Glasfaser-Anschlüsse ändern.

https://www.heise.de/news/Glasfaser-DSL-Gericht-verbietet-Werbung-von-1-1-10781152.html?wt_mc=sm.red.ho.mastodon.mastodon.md_beitraege.md_beitraege&utm_source=mastodon

# #DSL #Glasfaser #IT #Netzpolitik #Werbebranche #Wirtschaft #news

heise online

"Glasfaser-DSL": Gericht verbietet Werbung von 1&1

Nach einer Klage der Verbraucherzentrale muss der Internetanbieter 1&1 die Werbung für seine Glasfaser-Anschlüsse ändern.
  • Copy link
  • Flag this post
  • Block
Josep Bigorra (jjba23)
Josep Bigorra (jjba23)
@jjba23@mastodon.social  ·  activity timestamp 5 months ago

GGG (Guile Glyph Generator) v0.4.6 ✨

Now also packaged via Podman/Docker, and a new version is in a PR to Guix, containing many improvements, specially to CLI experience and flexibility, as well as a cleaner badge definition DSL

https://codeberg.org/jjba23/ggg

Generate SVG images for handy useful glyphs, Org/Markdown badges and more, leveraging the power of Lisp (Guile Scheme)

#lisp #scheme #guix #guile #docker #podman #ggg #badge #gnu #linux #cli #org #markdown #dsl #generator #glyph #svg

3 media
Example badges 2
Example badges 2
Example badges 2
Example badges 1
Example badges 1
Example badges 1
DSL
DSL
DSL
  • Copy link
  • Flag this post
  • Block

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances
Bonfire social · 1.0.1-beta.35 no JS en
Automatic federation enabled
Log in
  • Explore
  • About
  • Members
  • Code of Conduct