Category: Open Source

Andy Wingo: a whiff of whiffle

Posted on by Michael G

A couple nights ago I wrote about a superfluous Scheme
implementation
and promised to move on from sheepishly justifying my egregious behavior in
my next note, and finally mention some results from this experiment.
Well, no: I am back on my bullshit. Tonight I write about a couple of
implementation details that discerning readers may find of interest:
value representation, the tail call issue, and the standard library.

what is a value?

As a Lisp, Scheme is one of the early “dynamically typed” languages.
These days when you say “type”, people immediately think propositions
as
types,
mechanized proof of program properties, and so on. But “type”
has another denotation which is all about values and almost not at all
about terms: one might say that
vector-ref has a type, but
it’s not part of a proof; it’s just that if you try to vector-ref a
pair instead of a vector, you get a run-time error. You can imagine
values as being associated with type tags: annotations that can be
inspected at run-time for, for example, the sort of error that
vector-ref will throw if you call it on a pair.

Scheme systems usually have a finite set of type tags: there are
fixnums, booleans, strings, pairs, symbols, and such, and they all have
their own tag. Even a Scheme system that provides facilities for
defining new disjoint types (define-record-type et al) will implement these via a secondary type tag layer: for example that all record
instances are have the same primary tag, and that you have to retrieve
their record type descriptor to discriminate instances of different
record types.

Anyway. In Whiffle there are immediate types and heap types. All values
have a low-bit tag which is zero for heap objects and nonzero for
immediates. For heap objects, the first word of the heap object has
tagging in the low byte as well. The 3-bit heap tag for pairs is chosen so that
pairs can just be two words, with no header
word.
There is another 3-bit heap tag for forwarded objects, which is used but the
GC when evacuating a value. Other objects put their heap tags in the low 8
bits of the first word.
Additionally there is a “busy” tag word value, used to prevent races
when evacuating from multiple threads.

Finally, for generational collection of objects that can be “large” —
the definition of large depends on the collector implementation, and is
not nicely documented, but is more than, like, 256 bytes — anyway these
objects might need to have space for a “remembered” bit in the object
themselves. This is not the case for pairs but is the case for, say,
vectors: even though they are prolly smol, they might not be, and they
need space for a remembered bit in the header.

tail calls

When I started Whiffle, I thought, let’s just compile each Scheme
function to a C function. Since all functions have the same type, clang and gcc will have
no problem turning any tail call into a proper tail call.

This intuition was right and wrong: at optimization level -O2, this
works great. We don’t even do any kind of loop recognition /
contification: loop iterations are tail calls and all is fine. (Not the
most optimal implementation technique, but the assumption is that for
our test cases, GC costs will dominate.)

However, when something goes wrong, I will need to debug the program to
see what’s up, and so you might think to compile at -O0 or -Og. In
that case, somehow gcc does not compile to tail calls. One time while
debugging a program I was flummoxed at a segfault during the call
instruction; turns out it was just stack overflow, and the call was
trying to write the return address into an unmapped page. For clang, I
could use the musttail
attribute;
perhaps I should, to allow myself to debug properly.

Not being able to debug at -O0 with gcc is annoying. I feel like if GNU were an actual thing, we would have had the equivalent of a musttail attribute 20 years ago already. But it’s not, and we still don’t.

stdlib

So Whiffle makes C, and that C uses some primitives defined as inline
functions.
Whiffle actually lexically embeds user Scheme
code
with a
prelude,
having exposed a set of
primitives
to that prelude and to user code. The assumption is that the compiler
will open-code all primitives, so that the conceit of providing a
primitive from the Guile compilation host to the Whiffle guest magically
works out, and that any reference to a free variable is an error. This
works well enough, and it’s similar to what we currently do in
Hoot
as well.

This is a quick and dirty strategy but it does let us grow the
language to something
worth using. I think I’ll come back to this local maximum later if I
manage to write about what Hoot does with modules.

coda

So, that’s Whiffle: the Guile compiler front-end for Scheme, applied to
an expression that prepends a user’s program with a prelude, in a
lexical context of a limited set of primitives, compiling to very simple
C, in which tail calls are just return f(...), relying on the C
compiler to inline and optimize and all that.

Perhaps next up: some results on using Whiffle to test Whippet. Until
then, good night!

F-Droid Alphas and good news for CJK users

Posted on by Michael G

TWIF generated on Thursday, 16 Nov 2023, Week 46

F-Droid core

F-Droid Basic and F-Droid were updated to 1.19.0-alpha1 as development continues. Note that this is still in beta so brave users need to install this manually (enable Beta updates for the app or from Client expert settings).

Community News

@Licaon_Kter highlights that Orgzly Revived was newly added, and as its name spells it out, it’s a fork of Orgzly that appeared out of necessity given that Orgzly’s main developer has not been seen for the last year. We hope @Neven if fine and safe!

As announced last week Arcticons Dark, Arcticons Light and Arcticons You were updated to 8.0.6 so you can now enjoy more than 8000 icons. And if your favourite app is not yet in, do ask for it!

@Vasyl Gello shared with us that RustDesk was updated to 1.2.3-1 bringing significant changes like:

  • Hardware keyboard support for Android: now you can use your favourite mechanics paired to your phone to control other desktops, servers or even phones!
  • Updated libraries: fixes CVE-2023-5217 and several other security vulnerabilities exploited in the wild.
  • Builds for all 4 platforms: arm, arm64, x86 and x86_64. Rustdesk becomes F-Droid’s first submission built with Flutter framework on 32-bit x86 Android.
  • Automated update support: new versions will be built automatically as soon as new upstream version becomes public!

Small note from @Licaon_Kter: RustDesk currently is flagged with the Tracking antifeature, but Vasyl promised they’re on track to fix that so F-Droid users get the chance to use their remote devices in a privacy-friendly way!

@rocka let us know that Fcitx5 for Android (and its plugins) have been updated to 0.0.8. Fcitx5 is a generic input method framework on Linux, the Android port includes virtual keyboard with customizable color scheme, clipboard management, as well as plugin support for adding more languages. English and Chinese (Pinyin, Wubi, Cangjie) are bundled within the application. Two plugins got updated this release:

  • Anthy: Japanese input method based on anthy-unicode
  • Clipboard Filter: strip tracking parameters from URLs in clipboard

And 6 more are now available:

  • Chewing: Zhuyin/Bopobomfo for Traditional Chinese based on libchewing
  • Hangul: Korean input method based on libhangul
  • Jyutping: Cantonese input method based on libime-jyutping
  • RIME: Rime Input Method Engine with custom schemas
  • Sayura: Sinhala input method
  • Unikey: Vietnamese input method

@linsui comments: Fcitx5 Android 0.0.8 is an exciting update for CJK users! The input methods apps are very important – without them you can’t input anything. English users maybe didn’t notice this since they can use the keyboard shipped with AOSP and there are many other keyboards like AnySoftKeyboard in F-Droid which support many more languages. However, CJK users have had much less choices, specially in F-Droid. We only had two general IME apps for Chinese users: Trime and Lime. There are few other apps supporting specific schemes. For Japanese users, there were only two choices: OpenWnn and Mozc Android, both of which are not maintained anymore, unfortunately. And we had no IME app for Korean users nor Sinhala users. Then what app were they using? Maybe GBoard was their only choice. But now the situation has changed! Fcitx5 Android brings many input methods to F-Droid and, since 0.0.8, most plugins available on Linux desktop are also available on Android. Besides that, as a input method framework, it’s much easier to develop a new input method for Android with it. So, if you’re stuck with GBoard, please give Fcitx5 a try!

Removed Apps

5 apps were removed

Como was no longer able to download words from its server.

Curator, LifeHQ and Wrotto are no longer developed, so their developer asked the team for them to be archived.

YARR’s repo was archived by its developer and it is no longer actively maintained.

Small note from @Licaon_Kter: Some of the apps were archived because users reported them to the F-Droid team, so if you see an app that suddenly misbehaves, fails to run, to connect to its services or otherwise malfunction, feel free to open an issue so the team can investigate and take measures as needed.

Newly Added Apps

6 more apps were newly added

Updated Apps

149 more apps were updated

Thank you for reading this week’s TWIF 🙂
Please subscribe to the RSS feed in your favourite RSS application to be updated of new TWIFs when they come up.

You are welcome to join the TWIF forum thread if you have any news from around the community, maybe it will be featured next week 😉

NetBox Tutorial: How to Add Dummy Inventory Data Into NetBox

Posted on by Michael G

Video by via Dailymotion Source Welcome back to IEE! In today’s tutorial, how we could add dummy data inventory into NetBox. What You’ll Learn:• ️ WARNING: The steps of this video is only intended for a Lab Environment not the production environment.• ️ Setting Up Dummy Data: Learn the step-by-step process of adding dummy inventory…

Una Dosis Diaria de Sol Capitulo 8 Español Audio Latino : Doramas en Audio Latino

Posted on by Michael G

Video by via Dailymotion Source Una noble enfermera de la unidad de Psiquiatría lo da todo para ser el rayo de luz que necesitan sus pacientes, a pesar de las dificultades que se cruzan en el camino. OP1 : https://doramasonlinelatino.blogspot.com/2023/11/una-dosis-diaria-de-sol-daily-dose-of.htmlOP2 : https://doramaslatinox.blogspot.com/2023/11/una-dosis-diaria-de-sol-daily-dose-of.htmlOp3 : https://doramasenestrenolatino.blogspot.com/2023/11/una-dosis-diaria-de-sol-daily-dose-of.htmlOp4 : https://doramaexpress.com/series/una-dosis-diaria-de-sol/ Una Dosis Diaria de Sol Capitulo 8 Español Audio…

Can’t Help Falling in Love – Elvis Presley | EASY Guitar Tutorial with Chords / Lyrics

Posted on by Michael G

Video by via Dailymotion Source Can’t Help Falling in Love – Elvis Presley | EASY Guitar Tutorial with Chords / Lyrics and Strumming Patterns ↓ ↓ Chords ↓ ↓https://guitarintensivechord.blogspot.com/2023/02/cant-help-falling-in-love-elvis-presley.html ↓ ↓ Instrumental Melody ↓ ↓https://youtu.be/0DYDTf7N7gI?si=-VKfL–_ZZqTct9e Thanks for WatchingPlease don’t forget to Like, Share, and Subscribe in my Channel for more Easy Guitar Tutorial Video See…

Korku Dolu Gece – Half life 2 Bölüm #5

Posted on by Michael G

Video by via Dailymotion Source Ayrıcalıklardan yararlanmak için bu kanala katılın:https://www.youtube.com/channel/UCpcHFJwDFlrnbCw3yD-4Wzg/join CANIM HANDAŞ AİLEM BİZLERİ DESTEKLEDİĞİNİZ HER GÜN GELEN VİDEOLARIMIZI İZLEYİP LİKE ve YORUM ATTIĞINI İÇİN HEPİNİZE SONSUZ TEŞEKKÜR EDİYORUM.SİZLER SAYESİNDE BURADAYIZ VE SİZLER SAYESİNDE HEDEFİMİZE ULAŞACAĞIZ 10 MİLYON HANDAŞ AİLESİNE ULAŞMAK İÇİN ELİMİZDEN GELENİ YAPACAĞIZ.SİZLERDE HANDAŞ AİLEMİZE KATILMAYI VE BİZLERE DESTEK VERMEYİ LÜTFEN UNUTMAYIN—————————————————————————————————————————————-–…