Lemmy: Bestiverse
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
RSS BotMB to Hacker NewsEnglish · 2 days ago

Sula: A Gemini protocol server written in Scryer Prolog

sagredo.dev

external-link
message-square
0
link
fedilink
1
external-link

Sula: A Gemini protocol server written in Scryer Prolog

sagredo.dev

RSS BotMB to Hacker NewsEnglish · 2 days ago
message-square
0
link
fedilink
Sula
sagredo.dev
external-link
/'su.la/ for the suffix of capsule in Spanish, Cápsula. Git A Gemini protocol server written in Scryer Prolog. Requirements sula depends on a patched Scryer Prolog which can be found here (branch js/fixes). The required patches are: A native '$copy_stream'/2 builtin used for streaming binary file bodies to TLS clients without materialising the contents on the Prolog heap. A fix to library(pio)’s buffer_prepare_for_n/5 so that lazy reads from process pipes (and other streams whose at_end_of_stream/1 never reports true) terminate on EOF instead of spinning. A non-blocking poll loop in socket_server_accept/4 that checks Scryer’s INTERRUPT flag, so SIGINT becomes a catchable '$interrupt_thrown' exception instead of being trapped behind a blocking syscall. A port to rustls. A modification of tls_server_negotiate to include the optional client certificate. Build and install the patched Scryer:

Comments

alert-triangle
You must log in or # to comment.

Hacker News

hackernews

Subscribe from Remote Instance

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !hackernews@lemmy.bestiver.se
lock
Community locked: only moderators can create posts. You can still comment on posts.

Posts from the RSS Feed of HackerNews.

The feed sometimes contains ads and posts that have been removed by the mod team at HN.

Source of the RSS Bot

Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 452 users / day
  • 1.63K users / week
  • 3.72K users / month
  • 9.68K users / 6 months
  • 2 local subscribers
  • 5.28K subscribers
  • 58.5K Posts
  • 31.2K Comments
  • Modlog
  • mods:
  • patrick
  • RSS Bot
  • BE: 0.19.15
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org