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.

brokenix, to random

interpersonal need contain all the needful and correct info and specifics . Even if its delayed or\and uninteresting . Else , you cant blame others for not caring or causing it a cost that seems unfair to you

codinghorror, to random

"Every person who confuses correlation and causation ends up dying."

brokenix,

@codinghorror Every person dies

brokenix, to random

is amazing
+
this is the best $TERM experience I ve had yet
hon mention -

image/jpeg

brokenix,

@scy The tweet doesnt exist anymore
i went on to seeing the web page featured on the twitter bio
https://kuschku.de/
it doesnt even mention suckless
post a better reference to make your point

brokenix, to random

MongoDB dropped the in late-2018 in favor of the "Server Side Public License" (SSPL), a modified version which requires those who offer the licensed software as a service accessible to third-parties, to make the entire source code of all software used to facilitate the service (including without limitation all "management software, user interfaces, application program interfaces, automation software, monitoring software, backup software, storage software and hosting software, all such that a user could run an instance of the service using the Service Source Code you make available") available under the same license

brokenix, to random

a #nix #dsl for #nftables
https://github.com/chayleaf/notnft

brokenix, to random

#Agda grammar for #treesitter
https://github.com/tree-sitter/tree-sitter-agda

brokenix,

@velox_vulnus I am trying out=of-tree package , for related purpose

brokenix, to climate

Perhaps the luckiest piece of article ever written on internet
https://www.nytimes.com/interactive/2018/08/01/magazine/climate-change-losing-earth.html

brokenix, to random

Tragedy of is the more code he copies and builds , the more productive he ll be counted as , at a typical works place ( at least in 3rd world countries ), as opposed to figuring things out
but if you are cursed with the latter, you ll eventually get to a point where copying beyond a limit ll mean broken build, race conditions, bugs of all kinds failed deployment
actually idk which is more a curse , even if i talk about then again , there re various ways to climb the ladder , each to their own

brokenix, to emacs

difference btween leaf and #usepackage
use-package has a copyright issue and is virtually impossible to attach to #Emacs
Check out the git log at leaf.el. Leaf.el takes full advantage of lisp's homoiconicity, and the rules for converting keywords are very readable and adding keywords is very easy.
Package(s) with :package keyword passing to leaf-key just expand eval-after-load to eval after definition minor-mode map
Issue
listing each package as a header. I might consider changing this in the future. In my neovim config I group packages together, however the nvim package management tool makes this very easy to do since you can list packages as dependencies of one another.
https://drollery.org/emacs/#emacs-files
https://github.com/conao3/leaf.el/issues/257
https://www.reddit.com/r/emacs/comments/bwbo9n/interesting_emacs_packages_leafel_and_featherel/

kushal, to python
@kushal@toots.dgplug.org avatar

For the over 5000 years we are writing code in via पायथन् () :

In English:

print(answer)  
42
brokenix,

@kushal Do you have some historical reference to verify that?

brokenix, to emacs

so far I can breath
folks , what keeps you from switching to ?

brokenix,

okay! ahem , bad wording, this one backfired. let me put it this way, what's your favorite way to modal edit in . folks !

brokenix,

@hajovonta I guess I am just scared of the rumor calls Emacs pinky ( wrist pain :)
I don't even know , if its true

brokenix, to random

rewriting - https://tvl.fyi/blog/rewriting-nix

timnitGebru, to random
@timnitGebru@dair-community.social avatar

“Andreessen Horowitz is warning that billions of dollars in AI investments could be worth a lot less if companies developing the technology are forced to pay for the copyrighted data that makes it work.” Via neil turkewitz.

https://www-businessinsider-com.cdn.ampproject.org/c/s/www.businessinsider.com/marc-andreessen-horowitz-ai-copyright-2023-11?amp

brokenix,

@timnitGebru I think the befitting term is accelerationist

timnitGebru, to random
@timnitGebru@dair-community.social avatar

I am absolutely disgusted. Absolutely disgusted. May she live to see a . I would say may all of the aids & abetters of genocide face justice but experience says that will not happen.
https://thehill.com/homenews/house/4298840-house-censures-tlaib-for-israel-criticisms/

brokenix,

@timnitGebru Great america , it bombs the armless , in interest of democracy and free markets, everywhere except home

rml, to scheme
@rml@functional.cafe avatar

PCI bus enumeration in

https://gitlab.com/weinholt/loko/-/raw/master/drivers/pci.sls

brokenix,

@rml til guile is indeed used for embedded programming , thanks

brokenix,

@rml One guy has written his own lazy scheme\ lamda scheme which ks closer to haskell
but yes , i can't look at a piece of such code and say which scheme is it

brokenix, to haskell

doesn't have -like records at all. They just wrap anonymous records into newtypes
https://blog.monadfix.com/nau-2-records

k9mail, to android

Hi K-9 Mail community! This is a reminder that we'll be retiring this account next month, when K-9 Mail transforms into for .

So please go follow @thunderbird to stay in touch and get future updates. Thanks for being on this journey with us!

(YES, Thunderbird for Android will be on @fdroidorg)

If you missed the news, here's the original announcement: https://blog.thunderbird.net/2022/06/revealed-thunderbird-on-android-plans-k9/

And here's where to find our monthly development updates: https://blog.thunderbird.net/category/thunderbird-mobile/

brokenix,

@k9mail @thunderbird @fdroidorg Disappointing

brokenix, (edited ) to random

This directory contains KR, a knowledge representation system. Unlike other systems, KR implements a small, carefully selected amount of functionality in order to keep performance within reasonable limits

https://github.com/rogersm/kr

brokenix,

@rml Thanks just an enthusiast in this domain and share in hopes that people like you ll object and correct :)
source of the paper?

pervognsen, (edited ) to random
@pervognsen@mastodon.social avatar

I wonder if someone has made a complete list of all the different ways of calculating modular inverses besides the extended Euclidean algorithm. Most of them are a lot easier to remember and derive, too, than the extended Euclidean algorithm (which in my head is matrix reduction over a principal ideal domain like with Smith normal form).

The methods mostly boil down to the same thing but they can look and feel pretty different at the outset.

brokenix,

@pervognsen @dpiponi Proof of lemma is constructive , leads to hensel lifting

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