Sabitlenmiş Tweet
The greatest page of text in human history was written by a 22-year-old.
English
effectfully
9.8K posts
effectfully
@effectfully
Haskell, compilers, mental decay
Katılım Ağustos 2016
1.2K Takip Edilen11K Takipçiler
@SwissBankingJew @JustDeezGuy @renzocarbonara @onehappyfellow I mean, you get a sense of what has algebraic laws over time, but most abstractions you're gonna define for business logic or whatever aren't gonna be some pretty math abstractions.
English
@effectfully @JustDeezGuy @renzocarbonara @onehappyfellow So its just "Here is some glue, it may or may not combine, it happens to work nicely with this subset" and "Don't worry about it?"
I'll have to hack around until I stumble uppon "maybe there is an abstraction" then fight my "genius idea" 3 days later until I rewind it?
English
@effectfully @JustDeezGuy @renzocarbonara @onehappyfellow
What are some good resources about "How to build Typeclasses", "How to uncover algebraic structures from your domain" that shows some real world uses of Typeclasses? I'm looking to understand "How to think" in TCs
English
@effectfully is that related to the -fno-full-laziness you had to pass to work around a bug you mentioned some time ago?
tbh I don't understand why it's a fundamental flaw in the design of the compiler rather than a couple of bugs in the optimiser
English
all I want is Haskell but strict data by default, no language extension hell, stable compiler and libraries, compiler taking less than inf time and memory to compile hello world, proper metaprogramming (TH is a joke), proper module system and it might be usable then
English
The greatest page of text in human history was written by a 22-year-old.
English
I need a good challenge, @effectfully have something?
English
@onehappyfellow Why not write a paper at that point? Extend this to lambda calculus and make it extractable to efficient Haskell or whatever and you have a paper: github.com/effectfully/ra…
English
@effectfully Your response is quite cold but maybe it's just me. I'll write more and hopefully you read it too if you want but if you don't that's okay.
English
@sowilosowilo @theo No, I had 1% weekly limit left and it kept running for one more hour.
English
@effectfully @theo I think it affects your weekly limit, as it doesnt stop on 5h limit but stopped it when i hit my weekly limit
English
I sent a single message on Copilot and it did over 60m tokens. It's still going. $30 of inference so far.
In their current billing model, you get 1,500 messages, regardless of how expensive each is. I'm pretty sure I can do $45,000 of messaging on this plan
English
@0day_ninja I don't want anything. You asked for my feedback, I gave it to you.
English
@effectfully So you want something more complex and thought-provoking?
English
I did this at 31
𝟮𝟭.🛸@Big_tagg
is 27 a good age to leave everything you know and love and start over
English
@datayja I don’t think about Haskell at all.
OCaml brings back fond memories.
English
@DeepDishEnjoyer @ptichushka What language did you expect someone named "ptichushka" think in?
English
@effectfully @bryan_johnson Never flirt again with anyone ever you lack even the bare minimum rizz required you're just not wired for this effectfully go home
English
guys you’ll never believe where I found the fountain of youth
English
@barettorein @bryan_johnson oh I was just referring to yourself
English