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

Yeah , thats a thing and thats why correct code is more important than the released code
type coherence doesnt firx everythin

abcdw, to random
@abcdw@fosstodon.org avatar

@ekaitz_zarraga @janneke @efraim Have you seen https://justine.lol/lambda/ (lambda calculus in 383 bytes)?

I'm wondering if it can simplify the beginning of the bootstrap chain?

Probably, it won't solve the issues with tinyCC and steps somewhere around it, but still can be an interesting bootstrap seed.

brokenix,

@abcdw @ekaitz_zarraga @janneke @efraim D
For the patient

brokenix, to guix

https://issues.guix.gnu.org/48083
issue and i was missing

brokenix,

@abcdw True , i used it myself (long back)
my issues is , web.telegram.org doesnt load on for hours
thats the issue i wanted to raise nyxt is in lisp
and this shouldn't happen ( correct me if i am wrong)
Disclaimer - i am on kde atm
i should ve stated it in first place

thelinuxEXP, to linux
@thelinuxEXP@mastodon.social avatar

So, I say I use all the time, and that X11 is dead, or dying.

And while the second part of that statement is a fact, it doesn’t mean Wayland is ready for everyone right now, so I decided to take a look at the current state of Wayland support, between desktops, apps, drivers, and what the protocol still doesn’t support:

https://youtu.be/xlvusAuDDZ0

brokenix, (edited )

@thelinuxEXP you can force on on for one is another issue
I am doing it for less than a week and i ve not listed but i see many such issues . was doing fine initially but as i keep moving to or it breaks
sucks , but it ll be around for a long long time . Esp if wants it
was crap on . Many of us are way behind the learning curve , to be anywhere near

brokenix, to random

Git commit config and credential confusion causes consternation for customers

"Thousands of users are guilty of a giant security blunder. They inadvertently and unwittingly publish their login credentials for services like GitHub, GitLab and BitBucket up to their own public repositories."
oh they are definitely more than 1000s https://www.theserverside.com/blog/Coffee-Talk-Java-News-Stories-and-Opinions/Git-commit-config-and-credential-confusion-causes-consternation-for-customers#:~:text=Thousands%20of%20Git%20users%20are%20guilty%20of%20a%20giant%20security%20blunder.%20They%20inadvertently%20and%20unwittingly%20publish%20their%20login%20credentials%20for%20services%20like%20GitHub%2C%20GitLab%20and%20BitBucket%20up%20to%20their%20own%20public%20repositories.

brokenix, (edited )

@6d03 What really helped my { per ui} was git log -- shortlog and mailmap
hopefully

rml, to random
@rml@functional.cafe avatar

points at ant-colony
permacomputer.

brokenix,

@rml Thoughts on community collapse disorder ?

brokenix,

@rml tbh , it doesnt resonate with the idea of individual freedom
iirc cco happens in bee colony , same hierarchy

brokenix,

@rml bad acronym it stood for community collapse disorder only - CCD to be correct

brokenix, to nostupidquestions

@nostupidquestions test
!nostupidquestions
https://lemmy.world/c/nostupidquestions@lemmy.world

brokenix,

@jmd_akbar I don't see a thing on my lemmy post

brokenix,

@jmd_akbar Whoa , appreciate man . I just checked my own profile for new posts. How did you search for this post of yours ? Aha it so happened that you were tagged in this thread from your lemmy handle
let me check. Nope i see the thread on your profile not mine
@xameer
this confusing for me till settled

brokenix,

@breadsmasher True , its just that there s no such norm that every instance ll have a community name by the same keyword -test
But i admit its spam and i am willing to delete that if that helps
that said, its still a useful discussion of the user issues , i m sure maker of undo-tree emacs d ve thought so

brokenix,

@breadsmasher Hmm first post there. In such a case , i never had any intention of posting there again .
hope that helps

autism101, to actuallyautistic
@autism101@mstdn.social avatar

It is often hard for me to switch tasks. Especially when I get into a hyperfocus state. 🧘

I've always struggled to explain to others why it is so difficult. 🤔

“Tendril theory" by Erin Human explains it really well.

image: @theeisforerin

@actuallyautistic

brokenix,

@Two9A @autism101 @actuallyautistic Git commits

brokenix, to haskell

Loop averse -
loop theist - #c
loop agnostic -
clueless -
Keyword lover -
make up your mind :neofox_box:

6d03, to haskell
@6d03@mathstodon.xyz avatar

@sovtechfund Is apparently sponsoring work on https://mastodon.social/@sovtechfund/111261389255552201

Very cool.

brokenix,

@6d03 @sovtechfund But they ve merely linked to man cabal

rml, to random
@rml@functional.cafe avatar

deleted_by_author

    •
    brokenix,

    @rml K9 is good too when you are away from your system

    louis, to random
    @louis@emacs.ch avatar

    I now have 11 apps installed on my iPhone just for the purpose of authentication with ebanking systems, authorizing credit card and debit card transations and scanning payment slips, since every bank and credit card provider runs their own apps. Each has to be registered in their system and often includes the Hardware ID of the device.

    Then there is Apple Pay. Having credit cards registered with Apple Pay means you have to run through some (provider-specific) process for every card + for every iDevice, sometimes with personal authentication on the phone, chat or text messages.

    Replacing phones (which I did two weeks ago) becomes very difficult. It involves hours of work and phone calls with support call centers.

    I think that is not how it was supposed to be. Technology should make life easier, not endlessly more complex.

    brokenix,

    @louis is there nothing compatible with pass of linux? I mean android has password store

    rml, to random
    @rml@functional.cafe avatar

    hyperbolic geometry is the absolute WORST geometry I can possibly imagine, jfc

    brokenix,

    @rml Thoughts on differential geometry?

    brokenix,

    @rml Yes energy is an issue , its something that s hard for individual to regulate.

    rml, to scheme
    @rml@functional.cafe avatar

    Why calculating is better than scheming

    A critique of Abelson and Sussman
    Philip Wadler

    https://www.cs.kent.ac.uk/people/staff/dat/miranda/wadler87.pdf

    brokenix,

    @rml Introduction to Algorithms is a book on computer programming by Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein.
    and yes i am quoting from the page 1 only

    brokenix, (edited )

    @rml Uh oh , i guess i was half asleep when i read it , my bad.
    even than sussman book is still said to be applicable to scheme? If i read it right this time. No?
    also, even though i admit that i was sloppy in paraphrasing, but ( was i lucky?)
    KRC (Kent Recursive Calculator) is a lazyfunctional language developed by David Turner from November 1979 to October 1981[1] based on SASL, with pattern matching, guards and ZF expressions[2] (now more usually called list comprehensions). Two implementations of KRC were written: David Turner's original one in BCPL running on EMAS, and Simon J. Croft's later one in Cunder Unix, and KRC was the main language used for teaching functional programming at the University of Kent at Canterbury (UK) from 1982 to 1985.
    Unix distinguishes itself from its predecessors as the first portable operating system: almost the entire operating system is written in the C programming language, which allows Unix to operate on numerous platforms.

    brokenix,

    @rml
    there is a hackage https://hackage.haskell.org/package/ghc-8.2.2/docs/Reg.html
    this is relevant discussion
    https://stackoverflow.com/questions/9352744/what-prevents-an-efficient-haskell-virtual-machine-like-jvm
    mlabs (company ) was doing something vm related i submitted a similar proposal to cardano, upon request fro a friend ( had little to do with their approach - rejected, i was short of a working team to be closer to a proof of concept - ie i appeared less prepared )

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