fedistats
  • Trends
  • Search
  • Topics
  • Nodes
< back

#emacs

19 119 daily Toot LinkedIn
A chart of hourly posts over the last week (for big screens). A chart of hourly posts over the last week (for small screens).
English(16) German(1) French(1) Unknown(1)
fsf.org (1) github.io (1) plexwave.org (1) larsenwork.com (1) protagon.space (1) literatelisp.eu (1) exherbolinux.org (1)

1

From fsf.org

https://u.fsf.org/463

1 7

#emacs #copyrightassignments

on Mar 6


1

From plexwave.org

Seam

1 1

#emacs #orgmode #digitalgarden

22h ago


1

From exherbolinux.org

SYD-EMACS(1)

1 1

#api #lisp #emacs #editor #sydbox #exherbo #security

23h ago


1

From protagon.space

Editing Overleaf Documents with Emacs | Valentin Boettcher

1 1

#elisp #emacs #overleaf

3h ago


1

From github.io

Readings shared February 15, 2025

1 1

The readings shared in Bluesky on 15 March 2025 are Revisiting an early critique of formal verification. ~ Lawrence Paulson. #ITP #Math #FormalVerification A proof of the Schröder-Bernstein theorem i

#ai #chr #itp #nlp #acl2 #math #emacs #logic #prolog #haskell

5h ago


1

From literatelisp.eu

https://me.literatelisp.eu/org-anizing-my-fragrance-collection-with-emacs.html

1 1

#emacs #orgmode #fragrance

12h ago

Showing first 6 out of 7