@haskman@functional.cafe
@haskman@functional.cafe avatar

haskman

@haskman@functional.cafe

Founder Functional Programming India, Concur UI framework.

“It’s all fine, if the compiler says it’s fine”.
"Rage against walled gardens"

#Haskell, #Purescript, #Rust, #FunctionalProgramming, #Robotics #3DPrinting #India #FOSS #Spanish #Japanese #Atheism

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

haskman, to india
@haskman@functional.cafe avatar

Did anyone manage to see the in ? Are there any videos or pictures?

haskman, to stackoverflow
@haskman@functional.cafe avatar

Ah yes totally normal #Stackoverflow

haskman, to stackoverflow
@haskman@functional.cafe avatar

Burn in hell

winterschon, to FreeBSD
@winterschon@hachyderm.io avatar

common linux-user FUD on FreeBSD forums:

> "modern wifi doesn't work!"
> "it won't run a desktop"

reality: user doesn't want to read docs/man/apropos

here's a Thinkpad X1 Nano:

  • KDE Plasma6 on FreeBSD 14.0R-p6
  • Intel AX201 wifi (basic wpa-supplicant params)
  • external travel monitor: plug-n-play, it just works

time required: 20 minutes of relaxed leisurely morning coffee sipping

#freebsd #KDE #plasma6 #thinkpad #linux #foss #FreeBSD14

haskman,
@haskman@functional.cafe avatar

@winterschon I installed Neon on a P14s and everything worked out of the box including WiFi, power management, the printer, and the fingerprint reader. Fantastic experience

haskman, to stackoverflow
@haskman@functional.cafe avatar

#Stackoverflow is dead. What is the alternative?

Aleenaa, to news
@Aleenaa@india.goonj.xyz avatar

Biden attacked countries like Indian, Russia and China and called them 'Xenophobic'. It is problematic!

The White House said that the United States is a country of immigrants while none of the countries mentioned by Biden welcome immigrants.

https://www.hindustantimes.com/world-news/white-house-defends-bidens-statement-calling-india-china-russia-and-japan-xenophobic-101714736700479.html

@mastodonindians

haskman,
@haskman@functional.cafe avatar

@TruthSandwich @Aleenaa @mastodonindians Look at India's record so far, I implore you. Do you know how many refugees live in India? People that other countries expelled as a group and India took in?

haskman,
@haskman@functional.cafe avatar

@TruthSandwich @Aleenaa @mastodonindians How many people are currently in the queue for permanent US residency? What is their wait time like?

haskman, to javascript
@haskman@functional.cafe avatar

Since the backend post (https://www.moonbitlang.com/blog/js-support) is trending, I thought I'd compare backend optimizer (https://github.com/aristanetworks/purescript-backend-optimizer) output to see how it fares. The results were pretty good!

With basically this PureScript code -

run = fromArray  
 >>> flatMapF (fromArray <<< _.members)  
 >>> filterF _.gender  
 >>> mapF (\x -> min 100 (x.score + 5))  
 >>> mapF grade  
 >>> filterF (_ == 'A')  
 >>> foldF (\_ x -> x+1) 0

the benchmark results are as follows. PureScript is roughly 6x faster than plain JS, and 6x slower than Moonbit output ( -

┌─────────┬──────────────┬─────────────┬────────────────────┬──────────┬─────────┐  
│ (index) │ Task Name │ ops/sec │ Average Time (ns) │ Margin │ Samples │  
├─────────┼──────────────┼─────────────┼────────────────────┼──────────┼─────────┤  
│ 0 │ 'Moonbit' │ '34,67,542' │ 288.38869989829305 │ '±0.06%' │ 1733772 │  
│ 1 │ 'Plain Js' │ '74,816' │ 13365.983827421464 │ '±0.54%' │ 37409 │  
│ 2 │ 'Kotlin Js' │ '1,90,241' │ 5256.474017304151 │ '±0.38%' │ 95121 │  
│ 3 │ 'PureScript' │ '4,99,456' │ 2002.1768597161156 │ '±0.70%' │ 249729 │  
└─────────┴──────────────┴─────────────┴────────────────────┴──────────┴─────────┘

haskman,
@haskman@functional.cafe avatar

I packaged up the and put it up here - https://gitlab.com/ajnsit/purescript-moonbit-benchmark-202404

haskman,
@haskman@functional.cafe avatar

A great example of how cool PureScript backend optimizer is - The PureScript code makes multiple map and filter calls and also calls into two functions with complicated logic. The generated output shows that the PS code was aggressively inlined into a tiny bit of JS code -

#PureScript on the left : #Javascript on the right

The tiny bit of JS code that was generated for the above PS code

18+ tokyo_0, to mastodonindians
@tokyo_0@mas.to avatar

India election question: What does Congress mean by "freedom of personal laws"?

I'm drawing on translated materials here—I don't know what was said in the original Hindi and it seems possible that what's been said is being misrepresented in some way.

From what I am able to see, though, it seems like an odd idea to campaign on—it's hard to see strong arguments for law not applied equally to all. Is there something I'm missing?

@mastodonindians

haskman,
@haskman@functional.cafe avatar

@tokyo_0 I generally don't try to engage with wild personal accusations because it just encourages more such behavior. @drupler If you are angry and lashing out at a random stranger on the internet, the most charitable interpretation I can form is that you are looking to feel better about having done your part in educating the "ignorant masses" who have made what you consider "mistakes".

Not only are you wrong on every count in this instance, that ironically also makes you a part of the problem you are trying to solve. For example, check my profile and try to gauge my political leanings. Then perhaps reconsider your behavior and your usage of labels for people you haven't bothered to know at all.

haskman, to fpindia
@haskman@functional.cafe avatar

Announcing the next meetup, this Saturday 20 April in .

We’re diving into deeper FP waters with applicatives, monads, and transformers.

Join us! Our Telegram group has more details and updates. https://t.me/fpncr

abnv, to FunctionalProgramming
@abnv@fantastic.earth avatar

alignment chart. via @haskman

haskman,
@haskman@functional.cafe avatar

@kosmikus @abnv I like to call Rust an honorary functional programming language. Specifically because its strong static types, immutable variables by default, and tracked mutability, makes it familiar for Haskellers

haskman,
@haskman@functional.cafe avatar

@feld @abnv no.. on the original post I had added a caption of "not taking questions at this time" for a reason 😄

haskman,
@haskman@functional.cafe avatar

@feld @abnv Okay, let me try to explain my thinking a bit -

A caveat - if I were to make this chart today, I would swap the positions of Erlang and Rust.

Keeping that in mind, I made this chart so that each axis broadly makes sense. Lawful languages tend to stick to rules and the only surprises are usually how much of a stickler for rules they are. Chaotic languages on the other hand, love their quirks / special cases. "Good" languages are usually languages with academic backgrounds, whereas "Evil" languages sacrifice some ideals for practicality.

With those definitions, the alignment for each language broadly makes sense to me. Lisp for example, is an academic language, yet a hackers tool, quirky, yet very regular. Hence true neutral.

haskman, to ai
@haskman@functional.cafe avatar

Every shitty #proprietary service, going head first into monetising your data and using it to train #AI:

"We have updated our terms of service!

We have changed how we describe our service and how it can be personalised for you.

We also updated what data we collect and how we use it.

We have updated our dispute resolution process and your rights to arbitration."

#privacy #enshittification

haskman,
@haskman@functional.cafe avatar

@Deebster @jfmezei Control? Who decides if something is a search term instead of a website?

haskman, to linux
@haskman@functional.cafe avatar

In 2024, is the woman with the sledgehammer, is the big screen

video/mp4

haskman, to apple
@haskman@functional.cafe avatar

The web app is incredibly buggy. They don't have a client and the web app doesn't let me listen to stuff. So basically Linux is unsupported 😔

haskman,
@haskman@functional.cafe avatar

@infektor I looked at it and v1 seemed to be deprecated, and like you said, v2 is proprietary sadly

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

In a hypothetical global government, do you think it's important for India's and China's interests to be represented more strongly than other nations?

When a genocide occurs, should the diminished population subsequently have less pull in government?

haskman,
@haskman@functional.cafe avatar

@chris__martin my personal take on questions of this kind is - when in doubt support the marginalized and the underdogs

haskman, to ai
@haskman@functional.cafe avatar

END TO END ENCRYPTION for private communication, data, photos, whatever.

FEDERATION for public communication and social media.

That is how you prevent your data from being misused and harvested for , and stop the march of

Do your part to save the open web!

haskman, to FunctionalProgramming
@haskman@functional.cafe avatar

people on : I am now moderating the and communities on Programming.dev.

The best part is that you can also (sort of) follow them from . Search for the following URLs in your mastodon client

https://programming.dev/c/purescript, and https://programming.dev/c/haskell

See you there!

haskman, to apple
@haskman@functional.cafe avatar

doing it's best to disallow alternative app stores on despite EU ruling. gearing up to ban sideloading apps on in Singapore.

Meanwhile over here, my running happily downloads apps from for me 😀

BoydStephenSmithJr, to haskell
@BoydStephenSmithJr@hachyderm.io avatar

My director is looking for "a good haskeller that is looking for work". Let me know if that is you, and introduce yourself to me so I can tell my director I know you.

I'll gladly help you skill up on our stack by answering questions so that I have another person working on the backlog.

haskman,
@haskman@functional.cafe avatar

@BoydStephenSmithJr Which company?

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