brokenix

@brokenix@emacs.ch

data Free f a = Pure a | Free (f (Free f a))
⊢ V : C ✓
classical logic corresponds to the mechanism of first-class continuation under the Curry-Howard isomorphism
all partial functions are computable
emacsclient --eval '(my-refresh-foo-bar)'

This profile is from a federated server and may be incomplete. Browse more on the original instance.

rml, to random
@rml@functional.cafe avatar

just heard a dude say that vscode is like your current text editor but on steroids and the fact that most people think that sounds like a good thing makes me very concerned

brokenix,

@rml how's that different from Emacs being nano on steroids
Naive question

brokenix, to random

Security by isolation sounds simple enough, but in actuality requires a lot of work and maintenance. Operating systems that can compartmentalize programs and processes are very hardware-specific and the virtual machines they run require regular and complicated upkeep. The Spectrum operating system takes a different and simpler approach: all data on the system is stored in one place and applications that need access to that data are isolated and specifically told what information they can and cannot access, even within the same application. For example, when you want your word processor to access certain files when you are working and other documents when you are at home, you can create two versions or simulations (called instances in Spectrum) with specific access rights. Users can keep a clear overview of their system and applications, as well as the various instances they create, by simply writing all this down in a configuration text. A system called Nix takes this text and creates all the software that the user has written down. Each program can be updated separately, without worries that other parts will break or become incompatible.

https://nlnet.nl/project/Spectrum/

brokenix, to random

Thoughts on bangs ?

brokenix, to random

vhdl - Question about pipeline techniques in FPGA - Electrical Engineering Stack Exchange

"speed at which your design can be clocked safely (without race conditions / violating timing) is governed by the worst case combinational logic path in your design (i.e. between flip-flops). The way pipelining can help with that is by making the path length of your combinational logics shorter by introducing flip-flop boundaries in those paths. The trade off, of course, is that it requires multiple clock cycles to push a signal all the way through a pipelined path. So, generally speaking while pipelining has the benefit of possibly increasing your maximum clock rate, it's real benefit is increasing throughput"
https://electronics.stackexchange.com/questions/573358/question-about-pipeline-techniques-in-fpga#:~:text=speed%20at%20which,is%20increasing%20throughput

brokenix,

@dekkzz76 you did :😀
On a serious note, noted with thanks and corrected

brokenix, to twitter

I am struggling to delete as has yet to deliver me the feed to browse > 15 mins
Which is good in many ways for me , but old habits - good or bad , die hard

amoroso, to mastodon
@amoroso@fosstodon.org avatar

In @Tusky on Android, with the home or notifications feed scrolled down, when I tap the icon of the home or notifications feed I'd expect the corresponding feed to jump to the very top and show the latest toot first.

Instead the feed often moves up a bit but not to the top. I have to repeatedly tap the icon or pull to refresh to get to the top.

Am I Tusky-ing wrong?

brokenix,

@amoroso @Tusky try megalodon or equivalent

brokenix, to random

but headless
(defun headless-latex ()
"exports to a .tex file without any preamble"
(interactive)
(org-export-as-latex 3 nil nil nil t nil)
)
https://superuser.com/questions/299662/emacs-org-mode-headless-export-as-commands

brokenix, to random

How do I download documents in #nyxt
atm I am using wget

amoroso, to Lisp
@amoroso@fosstodon.org avatar

I published my new Interlisp program Sysrama, a documentation tool for Interlisp. Sysrama generates reports on the objects of a Lisp program such as functions, record fields, global variables, property lists, and more.

https://journal.paoloamoroso.com/sysrama-a-documentation-tool-for-interlisp

brokenix,

@amoroso is this the same interlisp that Schlumberger was using in its processes in 80s?

rml, to random
@rml@functional.cafe avatar

If you don't use , why not?

brokenix,

@rml have you tried it on Linux desktop, jitsi is giving me a headache with mic settings

brokenix,

@rml
Mostly true.I tried it with a friend, but forgot to place the proxy , maybe next time.

brokenix, to random

Nostaligic
running from
brings back the good ol' erros of early days of my use of the former

brokenix, (edited )

@louis last i checked it was in one pine64 pinebook, pine64 , rockpro
Feel free to call me an overenthusiastic fanboi of ... umm both
https://discourse.atlas.engineer/t/sync-nyxt-annotations-with-pinephone/412
So far i ve only used it on Intel , but personally it's taken over nearly every other browser i ever used ( well they all sucked .. again personal opinion)

brokenix, to linux

Is this or mini
same old errors as last yer on

image/jpeg

brokenix, (edited )

@louis For a lisp dev environment on Nixos
Although i am all ears for a better way

brokenix, to random

naive question- which string manipulation plugin do you use, why and how do you install in in # emacs?

I have s.el , but I not clear of any of the 3 parts about it

brokenix, to random

Hi, first post
Intro later

brokenix,

@louis thanks.
I learnt about this instance from
https://emacs.ch/@louis/110458762195476964
What do you think of #Nyxt

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • GTA5RPClips
  • DreamBathrooms
  • InstantRegret
  • magazineikmin
  • khanakhh
  • Youngstown
  • ngwrru68w68
  • slotface
  • everett
  • rosin
  • thenastyranch
  • kavyap
  • tacticalgear
  • megavids
  • cisconetworking
  • normalnudes
  • osvaldo12
  • ethstaker
  • mdbf
  • modclub
  • Durango
  • tester
  • provamag3
  • cubers
  • Leos
  • anitta
  • lostlight
  • All magazines
    •