Email or username:

Password:

Forgot your password?
133 posts total
Show previous comments
Jeko

@civodul
Congratulations ! Happy birthday ! Keep making hacking fun and free !

w96k

@civodul grats. Sadly I'm not contributing, but I find guix as the best currently available libre gnu distribution. And as the time pass it becomes better and better.

w96k

Rare picture of the first laptop in the universe that booted Guix System, then GuixSD (there’s been so much intense hacking on it that it even lost some of its keys).

Picture of said laptop with an old Guix sticker; screen shows GNOME on Guix System.
dave

@civodul wow, 12 years already! and what a cool artifact! the original logo and everything.

w96k
Monadic programming in R7RS Scheme

This is my article on how to solve practical programming problems in the Scheme language using monads, a concept originally introduced to the world of software engineering by the Haskell programming language. Because the Scheme language is not purely a Lambda Calculus computer the way Haskell is, and does not do static type checking, monads are not as necessary to Scheme programmers as they are to Haskell programmers, but can still come in handy.

Monads let you code procedures (without using macros) that do not use strictly procedural programming semantics. They let you model alternative semantics like concurrent programming, or lazy evaluation. I go over two examples: of a procedural but monadic pretty printer, and list monad implementation which demonstrate a simple concurrent programming semantics.

https://tilde.town/~ramin_hal9001/articles/scheme-monads.html

#software #computers #ProgrammingLanguage #Scheme #SchemeLang #Monads #Haskell #HaskellLang #Lisp

Monadic programming in R7RS Scheme

This is my article on how to solve practical programming problems in the Scheme language using monads, a concept originally introduced to the world of software engineering by the Haskell programming language. Because the Scheme language is not purely a Lambda Calculus computer the way Haskell is, and does not do static type checking, monads are not as necessary to Scheme programmers as they are to Haskell programmers, but can still come in handy.

w96k

I've extended the Libreboot 9020 clearance sale to November 25th; I'm spending the time to polish Libreboot for a new stable release around that time, November 25th.

minifree.org/

I'm Libreboot's founder and lead developer. Sales fund Libreboot. Libreboot (preinstalled) is free/opensource firmware replacing proprietary BIOS/UEFI.

Your choice of Debian Linux, other distro or BSD.

Libreboot 9020 price further reduced; was £218, then 138, now 118. New products to launch by the 25th.

w96k

theguardian.com/global-develop
stallman.org/glossary.html#tru

* Moscow is using ties with neighboring countries to deport and arrest anti-war Russians who fled after invasion of Ukraine.* Soon the fascist may help Putin do likewise to expat Russians in the US.

w96k

@rms that's why the safest tactic for ru immigrants to stay quiet at social media. In Russia you can be jailed for 5-10 years for words, and jails are not as comfortable as they might be in Europe. US, EU people might think that ru citizens deserve their government, but it's not the case, majority of the people just want to be safe, because censorship went strong enough. Russia can literally get you in foreign countries, they will claim you as a terrorist for posting something online.

w96k

I have started working on an interactive debugger for Guile. Still at a very early stage. But here is a small demo. Thanks to Andrew Tropin (@abcdw) for guile-ares-rs and arei, which serve as the foundation for this tool.

#guile #scheme

w96k

Are dependencies here in this room right now?

(image done by @avp and @fd9a)
((golang packaging sucks))

w96k

Let's get rid of all the binary blobs. In S01E02 of the NGI0 podcast we talk to @janneke, founder of GNU Mes. The project helped to significantly reduce the number & size of binary seeds used in the bootstrap of GNU Guix 1.0.
He talks about working on GNU Mes, its community, NGI0 funding & calls for a 5th freedom: freedom 4. The freedom to build a program from source. "If you can't build a binary from source, how would you exercise freedom 0?"

podcast.nlnet.nl/@NGIZero/epis

#FOSS #NGI0 #NGI #podcast

Let's get rid of all the binary blobs. In S01E02 of the NGI0 podcast we talk to @janneke, founder of GNU Mes. The project helped to significantly reduce the number & size of binary seeds used in the bootstrap of GNU Guix 1.0.
He talks about working on GNU Mes, its community, NGI0 funding & calls for a 5th freedom: freedom 4. The freedom to build a program from source. "If you can't build a binary from source, how would you exercise freedom 0?"

Khleedril

@NGIZero I would be more concerned with exercising freedom 1: to study and modify the program. But to me this itself implies the new freedom 4, hence 4 is not needed.

w96k

Spring refuses to accept an MR done by Russian guy:

opennet.ru/opennews/art.shtml?

I think it will happen much more often, I've seen it happening with Iranians and Chinese on github before. My overall recommendation, don't stick with only one vendor, use community-driven tools like gnu.org. Not sure that it is impossible to happen in gnuland, the thing is if the code is not attached to one specific company, you are probably fine. I hope GNU and Free Software in general has higher standards.

w96k

🗞️ How about October issue of RDE Monthly?

The best monthly newsletter about Guix, Guile and RDE ecosystems.

Events, Releases, Announces, Articles and Videos, everything from the last month collected in one place.

Brought to you by Kirill Yermak and community.

lists.sr.ht/~abcdw/rde-monthly

#rde #guix #guile #hoot #scheme #lisp #Newsletter

w96k

An In-Depth Exploration of GCC

The GNU Compiler Collection (GCC) is a set of compilers developed by the GNU Project for various programming languages. Initially released in 1987, GCC has become one of the most widely used and influential compilers due to its open-source nature, portability, and ability to compile code for a broad range of programming languages.

Read More: machaddr.substack.com/p/an-in-

#GCC #C #Compiler #OpenSource #Computer #Science #FSF

Alfred M. Szmidt

@machaddr Minor correction.. it is developed by the GNU project not the FSF.

w96k

The GNU C Library, often referred to as "glibc," is one of the most critical components of the GNU system and Linux operating systems. It provides the fundamental system interface for C programs, offering essential services such as process control, memory allocation, and I/O handling, which enable applications to interact with the underlying operating system.

Read More: machaddr.substack.com/p/the-ev

#GNU #glibc #C #Language #OpenSource #Computer #Science #Linux #UNIX

The GNU C Library, often referred to as "glibc," is one of the most critical components of the GNU system and Linux operating systems. It provides the fundamental system interface for C programs, offering essential services such as process control, memory allocation, and I/O handling, which enable applications to interact with the underlying operating system.

w96k

I saw this nice Libreboot installation video that someone did. This person's enthusiasm is admirable and I'm glad that my project was considered useful:

youtube.com/watch?v=HxsQ4j8U_F

The video talks about the Dell Precision T1650 desktop, which Libreboot added some time ago now.

I'm linking it because I really like the meme that the individual put in it at the start and end, which I've made a screenshot of and attached to this post on Mastodon; I've *also* made it my desktop background.

Great job!

I saw this nice Libreboot installation video that someone did. This person's enthusiasm is admirable and I'm glad that my project was considered useful:

youtube.com/watch?v=HxsQ4j8U_F

The video talks about the Dell Precision T1650 desktop, which Libreboot added some time ago now.

I'm linking it because I really like the meme that the individual put in it at the start and end, which I've made a screenshot of and attached to this post on Mastodon; I've *also* made it my desktop background.

w96k

Discord got banned in Russia. While I hate government regulations I kinda glad that these blocks can lead people towards unblockable means of communication. Of course all of them are free software. At least try XMPP, Jami, Tox or something like that. If you play games there are Teamspeak and Mumble.

Sadly I myself is still present in Telegram and it is hard to leave some things because your friends, family and so on use that. The bright side is that Telegram has API and emacs client at least.

[DATA EXPUNGED]
w96k

The ad industry spoiled TV and radio experience. The ad industry spoiled the Internet experience. The ad industry must disappear.

w96k

@jrballesteros05 ad thing in general is kind of a information violence, because you've being pushed by information you didn't asked, so it is done by force mostly all the time. I haven't seen anyone who willingly would watch or read ads.

w96k

fsf.org/bulletin/2024/spring/i

I like GNU Dragora potentially more than Parabola / Hyperbola / Trisquel solely because it feels that Dragora is more original distro that are not just forked from some popular proprietary distribution.

PublicLewdness

@w96k

I like Trisquel because of it's simplicity and ease of use.

Go Up