.       .  .   . .   .   . .    +  .
   .  :     .    .. :. .___---------___.
  .  .   .    .  :.:. _".^ .^ ^.  '.. :"-_. .
  :       .  .  .:../:            . .^  :.:\.
   .   . :: +. :.:/: .   .    .        . . .:\
    .     . _ :::/:               .  ^ .  . .:\
. .   . - : :.:./.                        .  .:\
   . . . ::. ::\(                           . :)|
.     : . : .:.|. ######              .#######::/
 .  :-  : .:  ::|.#######           ..########:|
  .  ..  .  .. :\ ########          :######## :/
      .+ :: : -.:\ ########       . ########.:/
  .+   . . . . :.:\. #######       #######..:/
 :: . . . . ::.:..:.\           .   .   ..:/
  .   .  .. :  -::::.\.       | |     . .:/
 .  :  .  .  .-:.":.::.\             ..:/
   -.   . . . .: .:::.:.\.           .:/
   .  :      : ....::_:..:\   ___.  :/
  .  .   .:. .. .  .: :.:.:\       :/
+   .   .   : . ::. :.:. .:.|\  .:/|
.         +   .  .  ...:: ..|  --.:|
  . . .   .  .  . ... :..:.."(  ..)"
.       .      :  .   .: ::/  .  .::\

馃懡 aka_dude

馃憢 One day, I'll write a Gemini server in Idris2

馃棧 Followers 8 路 Following 17 路 Logs 15 路 Docked 3 years ago

Actions

馃憢 Join Station

Logs

馃懡 aka_dude

Monad is the Witcher of typeclasses

馃挰 1 Reply 路 0 Thumbs 路 3 years ago

馃懡 aka_dude

Writing web chat without js 馃

馃挰 4 Replies 路 2 Thumbs 路 3 years ago

馃懡 aka_dude

A comment on HN about YT removing dislike button: https://news.ycombinator.com/item?id=29185244 I鈥檝e seen some interesting projects in the past that were browser based and made the entire Internet be equipped with comments sections, including YouTube This could be an addition to the "easy Gemini for non-tech people" idea, or rather, not the idea itself, but a Gemini client that implements it

馃挰 4 Replies 路 1 Thumb 路 3 years ago

馃懡 aka_dude

This wifi barely loads cppreference.com, but small web works just fine. Yay! Also, anyone knows C reference on gemini? :)

馃挰 2 Replies 路 2 Thumbs 路 3 years ago

馃懡 aka_dude

Swarm is a 2D programming and resource gathering game. Program your robots to explore the world and collect resources. Planned features include simple yet powerful programming language based on the polymorphic lambda calculus recursion, with a command monad for describing first-class imperative actions. Swarm is written in Haskell. https://github.com/byorgey/swarm

馃挰 0 Replies 路 0 Thumbs 路 3 years ago

馃懡 aka_dude

Heyy @calpico, is there something wrong with IIch? I can't open it and Houston says it's down: gemini://houston.gmi.bacardi55.io/cgi-bin/houston?IIch.space

馃挰 4 Replies 路 2 Thumbs 路 3 years ago

馃懡 aka_dude

Just realised that Iggdrasil is perfect for torrent trackers. Here is one btw: http://[300:7232:2b0e:d6e9:216:3eff:fe34:ec44]:6969/announce

馃挰 1 Reply 路 0 Thumbs 路 3 years ago

馃懡 aka_dude

Both Dolphin and Krusader hang when I select files in a directory and click RMB. Why? Probably because the files are symbolic links to FUSE-d torrent files. I mean sure if you need some metadata wait for it. But not being able to redraw window because of this... I thought "everything is a file" is part of Linux. Looks like it's more of "everything conventional might be a file" :(

馃挰 0 Replies 路 0 Thumbs 路 3 years ago

馃懡 aka_dude

@martin Proposal for Station: in log's "verbose" view (that appears when you open log by it's link) replace all the links with "[$INDEX]" E.g. the log is "I discovered this today: $LINK". After posting, when viewing from feed, the log is unchanged, but if you open it, it looks like: I discovered this today: [0] [0] $LINK

馃挰 2 Replies 路 1 Thumb 路 3 years ago

馃懡 aka_dude

Nice port (in russian) gemini://hugeping.tk/tuhoAcJE1pFOcC9kAmIS.gmi

馃挰 2 Replies 路 1 Thumb 路 3 years ago

馃懡 aka_dude

I am thinking of writing a Gemini FUSE driver, and while thinking, I came up with a question: why curl and wget are popular, but HTTP FUSE drivers are not (I can't think of any)? Is it just accidental or is there an appropriate reason?

馃挰 3 Replies 路 1 Thumb 路 3 years ago

馃懡 aka_dude

cc: @martin Repost @bacardi55 Trying to standardize the gemini tinylog format for better interoperability and interaction between authors :) https://codeberg.org/bacardi55/gemini-tinylog-rfc

馃挰 0 Replies 路 0 Thumbs 路 3 years ago

馃懡 aka_dude

Damn it's cute https://play.date

馃挰 9 Replies 路 3 Thumbs 路 3 years ago

馃懡 aka_dude

Today I Found: a Gemini wiki, edited with sed-like commands! I've created there a page for Gemini services (like wiki, blogging platform, lobste.rs-like link aggregator, etc.). Please submit something yours! P.S.: be careful, if you put a trailing "/" in a link, wrong page is returned :) Link: gemini://hannuhartikainen.fi/twinwiki/Applications%20and%20services Announcement: https://lists.orbitalfox.eu/archives/gemini/2020/002078.html

馃挰 0 Replies 路 1 Thumb 路 3 years ago

馃懡 aka_dude

Fun fact: THE gemini textboard supports identities: gemini://gemini-textboard.fgaz.me/thread/211

馃挰 3 Replies 路 2 Thumbs 路 3 years ago

馃摗 Tinylog Feed