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 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 Fair point - reading such textbooks is mostly for learning one pl at a time bottom up learning

brokenix, (edited )

@rml Okay if its lisp , many dialects of one pl too
but like he says one clrs is tied to cpp , and another to scheme page 1 intro paragraph

rml, to random
@rml@functional.cafe avatar

non- #ReproducibleResearch? you mean an experience report?

brokenix,

@rml Can that even be called science,
given the falsifiability doctrine of popper ?

brokenix, to random

Funny sometimes I don't get any notification for DM

Is this happening because of those random tiny downtimes?
cc @louis

brokenix,

@louis which browser? ON my OS , sometimes I also needed to switch browser to cope with the issues of apps like

brokenix,

@louis so am I and I am saw a delay just now , oh wait I think if i change my masto settings on mobile app they are propagate on other machines too.
In that case, my bad, Another case of absent-minded-ness

rml, to Palestine
@rml@functional.cafe avatar

"Understanding and as social movements that are , that are on the left, that are part of a global left, is extremely important. That does not stop us from being critical of certain dimensions of both movements."

  • Judith Butler

brokenix,

@rml One thing thats fairly obvious from Reuters coverage as quoted here, is that is still the bottleneck of sold to rich govs.
i mean Israel seem tp have failed to find actionable intelligence from all the intelligence it was able to collect with bigtech,

  1. At least for now the aggressor is more innovative than them
brokenix,

@rml Reminds me of cuban revolution when soldiers made radio-com network from blades and wires , read it on web not from a book

brokenix,

@rml I wish i could say that my country is doing any better

brokenix,

@rml India

brokenix,

@rml Somewhere near Bangalore , luckily a less disturbed and polar politically and I am not socially significant enough to be not safe , it has its own price though...
i had no problem sharing particular, had the secure communication on internet been a norm .
you are from?

brokenix,

@rml Absolutely , tailscale is cool with wg , so is my os . I am setting up a reverse tunnel from my phone atm.
Hanoi is famous, thanks to the tower of hanoi puzzle.any places are nice to visit , but living nearly anywhere and actively standing by your beliefs , is a different ballgame

brokenix,

@rml Oh cool , which app?. This country has a colourful and very misunderstood culture . I myself am naive in that regard. I do my best to remain above it v but even that requires identifying these divides and biases ... mammoth task. Usually metropolitans kept the working isolated from it, but even to stay there , some wisdom is required .

brokenix, to random

The most resilient machine i ve experienced
i mean it the 3rd time i left it on by mistake and thought now there s no doubt that i ve toasted it
but, had i?

brokenix, to haskell

- Understanding STG - Stack Overflow

"On the G-Machine, all stack entries point to an application node except the one on the top, which points to the head of the expression. Those application nodes make access to the arguments indirect, and in some G-Machine descriptions, before applying a function the stack is rearranged, so that the last n nodes on the stack are made to point to the argument instead of the application node. If I am not mistaken, the "Spineless" part is about avoiding having these application nodes (which are called the spine of the graph) on the stack altogether, thus avoiding that re-arrangement before each reduction.

As to the "Tagless" part, you are more correct now that you used to be, but... Using tags on nodes is a very, very old thing. Can you think on how a dynamically-typed language such as was implemented? Every cell must have its value and a tag which says the type. If you want something you must examine the tag and act accordingly. In the case of Haskell, the evaluation state is more important than type, Haskell is statically typed"
https://stackoverflow.com/questions/11921683/understanding-stg#:~:text=the%20G%2DMachine,is%20statically%20typed

rml, to rust
@rml@functional.cafe avatar

deleted_by_author

    •
    brokenix,

    @rml @civodul What other theorem prover verified mikrokernels do you have in mind ?

    brokenix,

    @rml @ramin_hal9001 @civodul I had been thinking on such dominance recently
    and wrote something naive here
    https://emacs.ch/@brokenix/111200403115210290
    the question i could ask was
    can people with nothing- no savings ( which is many) even vote anything but for the people who have something amd hope to have an exchange of any nature? economic Isolation and othering is terrifying enough to break people. Even those who have something ll vote for those who ensure that they have more than something ( better return for their investments\ good or bad \ from their savings )
    false hope just sells for decades as desperation works

    brokenix, to random

    Collins Dictionary has named "permacrisis" as its Word Of The Year. "Metacrisis" would be our contender...

    " has its roots in contemporary systems theory, which claims that a crisis can become so complicated that we can’t predict its outcome"
    https://www.thealternative.org.uk/dailyalternative/2022/11/7/permacrisis-metacrisis#:~:text=permacrisis%20has%20its%20roots%20in%20contemporary%20systems%20theory%2C%20which%20claims%20that%20a%20crisis%20can%20become%20so%20complicated%20that%20we%20can%E2%80%99t%20predict%20its%20outcome

    brokenix,

    @rml Even if one breaks it down to domain wise optimisation problems ( for example amazon forest fires, (the optimal extent of extinguishing ) ) and devotes irrational computing power with smartest algorithms under the sun, the problem by definition is ... like undecidable ( vaguely ) , until it isn't . As happened with know theory.
    That is the economic impact of honest research for good

    brokenix, to random

    I didn't read the full text search feature carefully
    It doesn't matter , if I opt in or our out
    Since many people have opted in , theirs posts ll appear in my search results , besides mine.
    how about enabling a regular wordpress like search on the blog user.emacs.ch , st users can look up their exclusively their own posts, without having to rely on other apps/portals?
    cc @louis

    brokenix,

    @louis That slipped my mind entirely , my bad

    brokenix,

    @louis It does , ( & i might be mistaken in observing this, but) but doesnt show all posts from me with that keyword
    i dont see a lot of referential transparency here

    rml, (edited ) to random
    @rml@functional.cafe avatar

    Literature > Libraries

    I'd much rather have endless amount of research to study and implement than, you know, endless amounts of other people's software.

    You're only going to maintain your sanity if you restrict your project dependencies to those you can name from memory and have learned to use. So you're probably only going to use the same number of libraries whatever language you use anyway.

    brokenix,

    @rml
    my bad both parent url of first throws a certificate error here to , it didn't earlier ( this is why I dump em all in a ssd and cloud, but data backup fragility has made me learn a thing or 2 :)
    as for the 2nd link
    https://dlicata.wescreates.wesleyan.edu/pubs/l13githit/git.pdf
    Git as a HIT
    Dan Licata
    Wesleyan University
    I don't see a d.o.i. - here s a drobox link
    ( fwiw - ive nothing to do with MIT
    just in case
    https://www.dropbox.com/scl/fi/gumcw4x0gkwigslcavjn5/git.pdf?rlkey=s3b7ki804fz1p93obbdm8rg3x&dl=0

    indianewswatch, to journalism
    @indianewswatch@kolektiva.social avatar

    INDIA alliance will boycott 4 TV news channels, 10 anchors

    The 12-party alliance won’t appear at all on Republic Bharat, Times Now, Sudarshan News and Doordarshan.

    https://www.newslaundry.com/2023/09/14/exclusive-india-alliance-will-boycott-4-tv-news-channels-10-anchors

    More details: https://scroll.in/latest/1055957/india-coalition-to-boycott-tv-debates-hosted-by-pro-bjp-anchors

    brokenix,

    @indianewswatch Good move , better late than never

    raptor, to random

    Life is too short to move my mouse as randomly as possible

    brokenix,

    @raptor once wrote

    hackers are painters
    now i see why :neofox_comfy_happy:

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