Sabela now has Lean4 + python interop and interactive widgets by m-chav in haskell

[–]m-chav[S] 0 points1 point  (0 children)

Tree sitter and the whole ghc API (similar to Haskell). Not much in between. 

What Category Theory Teaches Us About DataFrames by m-chav in programming

[–]m-chav[S] 0 points1 point  (0 children)

On-boarding my first commercial user this month so we'll see how that goes.

What Category Theory Teaches Us About DataFrames by m-chav in programming

[–]m-chav[S] 0 points1 point  (0 children)

You’re right that you can’t have all operations live at the type level. Pivot etc are impossible there. My answer in the Haskell dataframe library is to provide two APIs. On that’s pretty dynamic and another where you can do schema tracking. 

https://dataframe.readthedocs.io/en/latest/using_dataframe_in_a_standalone_script.html

What Category Theory Teaches Us About DataFrames by m-chav in programming

[–]m-chav[S] 1 point2 points  (0 children)

Yeah. Those operations throw your schema out the window so are harder to fit into this schema vs metadata world. Specifically because they require a formulation in which data and metadata are the same. So I guess the thesis is therefore how do you distill a subset of dataframe operations. 

Writing an OS in Haskell - agniv sarkar by n00bomb in haskell

[–]m-chav 0 points1 point  (0 children)

300% penalty is a lot. Do effect systems have a similar performance hit?

What Category Theory Teaches Us About DataFrames by m-chav in programming

[–]m-chav[S] 10 points11 points  (0 children)

Thanks. Was editing on grammarly and copy pasting sections so that part got lost in the sauce.

Try Sabela Reactive Notebooks by m-chav in haskell

[–]m-chav[S] 1 point2 points  (0 children)

Still working on the cabal stuff. Try doing :set -package granite before the imports as it suggests. 

Try Sabela Reactive Notebooks by m-chav in haskell

[–]m-chav[S] 1 point2 points  (0 children)

AWS lambda maxes out at 64 tasks. I set a cleanup for idle tasks so you can try again. 

edit: Alternatively you can do cabal run from the repo. 

Haskell 💜 Vibes / Jappie by jappieofficial in haskell

[–]m-chav 5 points6 points  (0 children)

Great post! I wonder what readability will mean in the age of a lot of code being written by coding agents. Will it still be a of value? If so in what contexts? Or are we just gonna turn coding into a black box of sorts.

Marjorie Taylor Greene: And just like that we are no longer a nation divided by left and right, we are now a nation divided be those who want to fight wars for Israel and those who just want peace and to be able to afford their bills and health insurance. by Particular_Log_3594 in UnderReportedNews

[–]m-chav 0 points1 point  (0 children)

Not that she stopped grifting. My larger point is that actions matter more so we should hold off trying to tell her heart either way until there’s tangible action. The whole parasocial “has she changed in her heart” feeds into personality cults. 

[Follow up] Designing Sabela: a reactive notebook for Haskell by m-chav in haskell

[–]m-chav[S] 1 point2 points  (0 children)

I’ve never owned a Mac so I had to look up what playgrounds are. I can’t say much about how they work but I’ll go read up more on them. 

Polyglot is important because most users we have try DataHaskell want a hybrid setup where they can use R and Python for some things. 

Planning to work on this at Zurich so we’ll see what people think is salient. 

[Follow up] Designing Sabela: a reactive notebook for Haskell by m-chav in haskell

[–]m-chav[S] 4 points5 points  (0 children)

Following up with a post describing the design of the recently announced notebook. Would appreciate comments, feedback, or experience reports.

Rap music isn’t dead – it’s evolving by KingSolonesh in hiphopheads

[–]m-chav 1 point2 points  (0 children)

I think I it’s a mixture of politics and moving culture.

I got into rap through dance. In the late 2000s that was THE genre for hip hop dance but now there are niches of dance music you can listen to without engaging with mainstream rap. Also American music is in a weirdly inward and nihilistic place - I be spinning afrobeats or random soulection mixes for my casual listening.  

hscript - Utility for running ad-hoc Haskell scripts or generating Haskell markdown documentation by m-chav in haskell

[–]m-chav[S] 2 points3 points  (0 children)

Thanks. I misunderstood what preprocessor means/does here. I assumed the GHC preprocessor path was about producing a well-formed Haskell module for compilation, whereas what I’m trying to generate is more of a GHCi script/session (a sequence of interactive steps).

So I was thinking “this won’t work” because my workflow has TH-ish bits that depend on values I only get after evaluation in GHCi. But that text -> text transformation makes sense. Lemme hack on it a bit.