« first day (2346 days earlier)      last day (2593 days later) » 

3:00 PM
@BartekBanachewicz Haskell is very beautiful. But is it meant to be practical? I thought it was designed as a successor in the ML vein of stuff and was meant as a research language, not as a production language
 
@VermillionAzure No not really. Typically one needs to pass a sufficiently big dataset to observe those anyway
@VermillionAzure What it was designed as and what it's actually good at need not to be the same.
For hobby projects it's the most practical language I know
 
It's very orderly. But I'm kind of wondering if such a thing would ever work at the embedded level, etc.
 
I'm not.
 
Right, because it's not meant to be.
 
Because I don't really need it to
Embedded for me is all about realtime and precise CPU control
 
3:02 PM
I think if something like this got onto C, and it became a hit, the orderliness of C programs would go WAAAAAY up.
 
Dunno, I wouldn't want to program arduinos in regular haskell
 
@BartekBanachewicz But you would want to encode typeclass semantics as an additional check for correctness
 
@VermillionAzure not necessarily
I think I like Terra's approach better for embedded
 
@BartekBanachewicz I hear you can use Haskell with a backend for C++ template metaprogramming.
No idea what Terra is.
 
@VermillionAzure I don't know and again, I don't really care.
For my desktop stuff Haskell is plenty fast and useful
I absolutely don't need C++
 
3:04 PM
Meh. I want a more powerful and functional language for my next project.
C++ is tiring me out with template errors.
 
Haskell would tire you with errors even more, just saying ;)
 
But I also need something that people can learn quickly. And I want it to be statically-typed.
At this point I'm inclined to go with Java or Rust...
@BartekBanachewicz Any suggestions for a C++ replacement right now?
 
I wouldn't want to code in a team where most of the people have just started learning the language
 
@BartekBanachewicz Welp that's my situation this semester :|
But it's turning out okay I think.
 
@VermillionAzure C++ replacement where? There's no universal C++ replacement present and I doubt there'll ever be
 
3:06 PM
@BartekBanachewicz C++ replacement on the desktop. I'm building a Scheme interpreter, and I'll soon be building a compiler/transpiler.
 
@VermillionAzure For that Haskell is certainly way superior to C++
2
 
The C++ stuff is seriously infuriating when it doesn't work. Template errors SUCK. HARD.
 
One of the reasons I keep working on Turnip is how good Haskell is at this thing
 
Why the heck can't C++ possess better front-end errors?
 
it's a consequence of its design
and overly complicated ruleset
 
3:08 PM
So it HAS to blurt out it's nested 40-level template thing? Or can't it truncate it just a little bit? Sheesh gcc...
Ugh. The errors might as well be completely useless when it gives you about a 25-50% hint of what the actual error is.
 
the actual error appears right after the first 'error:'
 
@LucDanton Yes. But it still doesn't usually help.
It's about 2 steps of logic away from the real problems
Try and find the error.
 
> error: invalid use of incomplete type 'class shaka::Procedure'
 
@LucDanton Yes. So what is actually happening?
 
3:14 PM
has_nothrow_constructor<Procedure> is being used in the wrong place
a quick hack is to make Procedure re-dependent
well, assuming the instantiation takes place in a member function
 
@LucDanton No. It's not. That is coming from boost::variant itself.
The real problem there is that shaka::Procedure is acutally not defined yet.
But if I do define it fully before it, here's what we get:
 
because you’re using something in the wrong place, yes
i.e. using something that requires a definition before the definition
 
Here's what happens if I add #include "Procedure.h" before hand.
Oh, and by the way, the Data.h file doesn't explicitly include the rest of those Eval_ header files.
It's Procedure.h that actually relies on Data.h that relies on Procedure.h and so on
 
> error: 'Data' in namespace 'shaka' does not name a type
that’s the error this time
 
@LucDanton Yes. But here's the catch.
The two header files rely on each other. But there's so much noise in the errors :|
 
3:19 PM
the errors are straightforward and you even figured out the problem yourself
 
Also, I was missing boost::recursive_wrapper<> and I had to split up the Eval header files into define and declare.
 
it doesn’t get any better in any other language (well, save that other languages don’t have headers, that’s the real improvement)
 
@LucDanton It took 6 hours. When it should've taken 2.
The real problem was that turning a non-recursive variant into a recursive one with boost::variant and mutually-recursive procedures and trying to reconcile it with the include order was difficult.
 
given the circumstances the compiler gave you all the help it possibly could
not to diminish the frustration you experienced
the tools only go so far
 
> the tools only go so far
Who decided it could only go so far? Ugh... This needs to change in my lifetime
 
3:22 PM
@VermillionAzure I don’t mean the C++ tools, I mean tools in general
 
I'll do it myself if I can
 
@VermillionAzure 'do what I mean, not what I said' will remain an open problem for a long time
 
@LucDanton Problem is that intent is not very well specified with most programming languages.
Especially imperative. Functional is getting better because at least you have categories and typeclasses now.
 
nonsense
 
@LucDanton I took at look at 3 different Scheme implementations in C. They're all hard to follow because the code is flat, the organization is not intuitive without some sort of hand-holding documentation, and the directory structure does not have to follow any sort of logical style.
 
3:25 PM
let me stop you right here
 
The way of doing compile-time stuff is not integrated into the semantics of the language at all, and who's going to tell the compiler that your macros mean something semantically?
 
@VermillionAzure protip: grep for required from here
 
@milleniumbug I did. But it doesn't help when your fundamental data type header is getting errors from all of your Evaluate_Data_Type_On_Tree headers
Or, rather, it did. But it took waaaaaay to long to fix that.
 
Yeah yeah yeah I'm just complaining. Don't listen to me, it's 5:30am and I haven't slept yet because I'm tripping on Haskell.
Thanks for listening and not plonking anyways.
g'morning.
 
4:01 PM
@Mysticial I seem to be having HW issues. So far it had only happened in games and I thought I was somehow overusing VRAM and causing massive swaps which would have explained the game slowing down to a crawl. But I just now got it with just browsers opened and watching a youtube video. Symptoms are, everything slows down to a crawl and I get distorted audio. Thoughts? I'm thinking either a dying CPU or PSU.
 
4:31 PM
@LucDanton afraid it was too late
@VermillionAzure Sure it can truncate it. Just specify which random parts you want gutted.
@VermillionAzure Who knew? I mean error: invalid use of incomplete type 'class shaka::Procedure' doesn't say anything like that, right.
@VermillionAzure Since you got normative about it taking too much time, I think the real real problem was that you underestimated that.
@VermillionAzure heh. You too
 
@Borgleader malware?
 
4:48 PM
A) It happens at random
B) my monitors werent updating anymore. that would mean it fucked with the system enough for that like even the cursor wasnt moving
C) i could run some scans but last one i did said my system was clean
Ok. Ran Furmark for a little over 30 min. No issues.
 
A) certainly fits with malware- if you're part of a botnet it would happen when whoever is controlling them commands it to happen
b) is not surprising with any excessive load and c) means nothing at all
recommend partition hard drive, install known clean OS, test if issue remains
 
thats a long time to have a definitive answer, i can spend a week and not have any issues =/
 
ScY
Windows modules installer used to take up 1GB or more at times on win7
Could definitely be malware
 
@VermillionAzure Because they still haven't gotten agreement about Concepts.
 
Concepts are like unicorns
 
4:55 PM
Currently running Prime 95
 
user784668
I love Intel.
 
user784668
Congratulations you fucking retards, I managed to bottleneck the instruction decoder again.
 
user784668
Seriously, this happens since Pentium Pro.
 
std::remove(confusion.begin(), confusion.end());
4
 
@Fanael If you want a POWER 8, you know where to get it. :-)
@Borgleader You forgot to use the remove/erase idiom.
 
Xeo
5:14 PM
just use confusion.clear()
 
@Xeo That would work too, of course (but would be a better fit if he asked for somebody to "clear up" his confusion).
 
user784668
@Xeo I prefer confusion.empty().
 
Xeo
that's a no-op tho
 
user784668
You don't say.
 
@Xeo clearly you’re confused, empty it again
 
Xeo
5:19 PM
err
 
user1804599
Omg lol kek
 
I starred because the remove operation left elements still in the confusion vector because there was no erase operation
 
@Xeo Maybe you want to use STL2. It provides better support for parallel programming to maximize your NOP/second rate.
 
and because of it the confusion in the confusion vector would itself then be confusing to a newbie :D
 
@Mysticial Any plans for 48TB RAM Optane boxes?
 
5:31 PM
@Borgleader Sounds like you're swapping.
@Puppy I wish.
 
finally a piece of hardware too expensive for you?
 
Since when was I able to afford any hardware I wanted?
 
@Mysticial That was my thought when I was gaming cuz my GPU doesnt have that much VRAM but last time it happened all i had open were browsers. So idk...
Just ran Prime95 for 40 min. No crashes or anything.
 
@Mysticial Since the first time I encountered you, as far as I can recall
 
@Borgleader Open up task manager and see if you're running out of ram.
 
5:35 PM
Ouch, I knew you were gonna beat me to it, while I was in the middle of writing it up :D Good one, as usual. — Dan Mašek 3 mins ago
Another poster child for C++14/Spirit.
If only he had been using X3 (not sure whether it would become more or less elegant really.)
 
@Mysticial I'm at 8 of 16 GB right now. Dont know exactly how much I was at when I got the slowdown last time but I highly doubt I was higher than 12. I'll leave the perf page of the WTM open though, in case it happens again. Then I'll know.
I could also be running out of VRAM too, I guess?
 
user784668
@JerryCoffin So I could run out of I$ instead of stalling in the decoder?
 
@Borgleader I always leave TM sitting in the corner. More than once has it saved me from a memory leak.
 
@Fanael Probably. Or maybe you'd manage to get by that and bottleneck in instruction retirement (that's where I usually run into problems on Intel).
 
@Mysticial RAII mate ;)
 
5:38 PM
@Borgleader Even with that, I've fucked up before. Such as forgetting to declare destructor virtual.
 
tbh, id need a 4th monitor for that... one i could leave WTM, GPU-Z & OpenHWMonitor open on.
my card doesnt support using all 4 outputs at once though, at least... i couldnt get a signal to the 4th monitor when i tried (unless it was an incompatibility with the displayport cable i was using)
 
Hmm. Something wrong with Coliru. The demo live on Wandbox: melpon.org/wandbox/permlink/QusDUD8SjTt6XRS3sehe 9 secs ago
/cc @StackedCrooked ?
 
user784668
@JerryCoffin Or my favorite, port 5 congestion.
 
@Borgleader 4 monitors master race :)
 
@Borgleader Obviously you need more cards.
 
5:43 PM
@Mysticial Nice flat.
 
@Mysticial that view
 
Xeo
@Mysticial not weeb enough
 
@Mysticial Unless my counting has gotten defective, that seems to show 5 monitors.
 
user784668
@Mysticial Holy shit, that view sucks.
 
user784668
@JerryCoffin One monitor is only for anime so it doesn't count obv
 
5:46 PM
@Mysticial But still you dont own one.. and will be pain to move out from this place when time comes on
 
@ProblemSlover I actually just moved into this place. And yes, moving absolutely sucks.
I lot of my shit is still at my old apartment (including my bed). And I have until the end of April to clear it out.
I'm sleeping on an air bed until I get that moved.
 
Xeo
also, wait, didn't you want to get a house?
 
@Xeo This is it. Newly bought condo.
 
Xeo
ah, condo
 
user784668
m
 
5:54 PM
There are no "houses" in the city except for penthouses. But that's a couple figures too many for me.
 
Xeo
I was thinking of an actual... house
yeah
 
user784668
@Mysticial What city?
 
@Fanael Chicago
 
Xeo
And with the view from his window, you should now be able to pin-point his address
 
@Xeo That's not difficult to do. All real estate sales are public information.
And I'm not anonymous on the internet. So anyone can dig up the records and look for my name.
 
5:57 PM
@Mysticial Is that mirror for checking whether someone is standing behind you?
 
@Mysticial :O nice view. i wanted a highrise condo like this too. couldnt afford any that werent broom closet sized xD
 
The top floor penthouse in this building is listing for around 6 million USD. Can't afford it. I wouldn't want to go there anyway since that'd put me above several of my managers whom I'm under. lol
 
ScY
What's the difference between a condo and an apartment?
 
Xeo
ffs, I should've stayed home last week. my throat and coughing are killing me
 
user784668
@Xeo Why would I want to, though?
 
user1804599
5:59 PM
A condo is for preventing STD transmission and pregnancy. An apartment is for living in.
 
@ScY I'm not sure if this is the official answer, but apartment = rent, condo = own.
 
condos are said to be able to grab lambs
no wait that’s condors
 
Xeo
I thought those were for walking in?
 
ScY
Ah so it's only about ownership
 
Xeo
no wait that's corridors
 
user784668
6:00 PM
@Mysticial std::unique_ptr<apartment>
 
@Xeo aren't those the home computers from the 80's?
 
user784668
@StackedCrooked I'm p sure that's Galileo
 
@Mysticial This is the project i wanted to live in most. But, the only 2 that are left are well, as you can see very expensive. sigh
 
I've wanted to live in this building for a while since it's close to work and has nice views. But even the shittiest units are renting for $3 - 4k/month. So I was like fuck. The only way I'm getting in here is to buy into it - at least mortgage can be written off. So I camped around for half a year waiting for a good unit to list. And when it did, I grabbed it.
 
@Mysticial That seems correct to me.
 
Ell
6:02 PM
@Xeo I thought that was a game of thrones character?
no wait thats Hodor
 
@Mysticial Oh, theres a place in town that rents for that high too. Its crazy.
 
@Borgleader There's a 50-some floor 3-bed unit that they're listing for 10k/month rent. It's insane.
 
This place more specifically.
@Mysticial WHAT
 
@StackedCrooked Some boi says that leshak cimplolation on coliru is borken, confirm?
 
10k/month a rent is enough to pay mortgage on multiple "real" houses outside of the city.
 
6:06 PM
@набиячлэвэли Compilation seems to work for me..
 
user784668
@набиячлэвэли leshrac did what?
 
Ok... Long Generic test passed on my HDD. (Also did Short Generic and Short Drive Self Test)
 
> Leshrac the Tormented Soul is a ranged intelligence hero who is known for his ability to put out tremendous amounts of area magical damage.
 
Short ones has also passed on my SSD.
 
probably just that
 
6:11 PM
@Borgleader Those prices aren't too different from downtown Chicago.
Ah, and a corner unit.
 
I was looking for something around ~650-700 sq ft
 
Xeo
800k... I make that in 20 years if lucky
 
and there were some at the time, but sold before i could get the req funds (i was quite close though)
 
Xeo
I should see about working remotely for some Murican company for the $$$
 
@Xeo It's only CAD, that's gotta be like, what, 30 euros?
 
6:13 PM
savage
 
Xeo
still ~550k
 
user784668
@Xeo 800k is how much they pay their doctor when they catch a cold though
 
Xeo
If I could make like $120k/yr and live in Germany... hnnng
that's just so not gonna happen though, unless I get super lucky
 
@Mysticial When I first started looking at housing in San Diego, I saw some ads where the price seemed strangely low--near the beach, ~3000 square feet, and only $2500. Then I realized that was per night...
 
user784668
@JerryCoffin How much is 3000 square feet in sane units?
 
Xeo
6:19 PM
what kinda justification is there even for such a price... ugh
 
There's one downside of my unit. If I look to the left of me, I'm staring directly at the Trump tower - half way across the city. It's a nice building - except that there's the giant letters, "TRUMP" written in front of it which I can partially read.
 
@Fanael Strangely enough, square feet almost fits with the metric system in this case. 10 square feet is about one square meter (so 300 square meters).
 
Xeo
@Mysticial Like I said, cover the windows in tapestries
 
@JerryCoffin LOL
 
Xeo
problem solved and you get to look at cute anime girls
 
6:20 PM
@Mysticial "RUMP" seems a fairly accurate description.
 
user784668
@JerryCoffin I meant square furlongs, but thanks anyway.
 
@Mysticial Did not know you were in New York now
 
@Puppy There's a Trump tower in Chicago.
 
@Fanael Oh. that would be about 0.007.
 
oh
 
6:23 PM
It's the 2nd or 3rd tallest building in Chicago.
 
Someones compensating for something :P
 
user784668
@Borgleader Are you suggesting the glorious leader is not perfect?
 
@Mysticial when you get to Mountain view man.. your curren place is quite polluted :P
 
user784668
@Mysticial Is that giant penis-shaped building in the background the Ministry of Truth?
 
6:26 PM
@Fanael I never looked at it that way. But now that you mention it...
 
Ell
@Fanael which one of those is penis shaped?
 
user784668
@Ell The one named after a dickhead.
 
Ell
I think you need to see a urologist
 
user784668
@Mysticial Can I drop by someday? I mean, committing autodefenestration in your place would certainly be one-in-a-lifetime kind of experience.
 
Xeo
Hey @Mysticial, mind adding me to your will and letting me drop by?
 
Ell
6:34 PM
haha
 
@Fanael There are better buildings to that in Chicago. Such as the Sears Tower.
 
user784668
@Mysticial Easier still would be going to the nearest Walmart and buying a gun.
 
user784668
lol
 
user784668
Walmart really does sell guns
 
The Sears Tower is probably tall enough where you could wingsuit off of it. (ignoring the legality of that)
 
7:18 PM
lol @Jefffrey @Shoe look what I found
 
1 message moved to Trash
 
@milleniumbug why?
 
Mar 15 at 9:58, by R. Martinho Fernandes
Write a witty rules reminder and I'll pin it.
 
@BOTJr. no "hello", no question, just a code dump?
 
i am new over here
and hello
should i provide the link ?
 
7:21 PM
questions go here
 
nwp
well, the "no hello" was the only thing you got right actually
 
would that be suffice
 
@nwp oh wait it was larger than I thought
 
things like that tend to be starred
 
Not sure about implementing table constructors with forM_ entries (addEntry tr) but this seems to be the most fool-proof way
> t.x = 3.0
[Nil]
> return t.x
[Number 3.0]
#soproud
 
Ven
7:51 PM
TABLES?
when do you get meta
 
you make it sound like Meta Stack Overflow is some kind of sickness
8
 
@Ven soon enough
I don't have : yet
altough that should actually be easy
but I have to fix arrays first
 
@Puppy ...it isn't???
2
 
I'm not sure how Lua deals with e.g. { 2 = 3, 1, 1 = 2, 3, 2 }
> t[0/0] = 123
stdin:1: table index is NaN
interesting
I guess I'd need to specialcase all that
> t = { 1, [2] = 2, 3 }
> for k,v in pairs(t) do print(k,v) end
1       1
2       3
ouch
 
user1804599
Badlet in Dutch is really silly word
 
user1804599
8:01 PM
"slechtje"
 
ScY
schlechte
 
ouch. fuck.
 
user1804599
Catatumbo lightning (Spanish: Relámpago del Catatumbo) is an atmospheric phenomenon in Venezuela. It occurs only over the mouth of the Catatumbo River where it empties into Lake Maracaibo. It originates from a mass of storm clouds at a height of more than 1 km, and occurs during 260 nights a year, 10 hours per day and up to 280 times per hour. It occurs over and around Lake Maracaibo, typically over the bog area formed where the Catatumbo River flows into the lake. Catatumbo lightning changes its frequency along the year, and it is different from year to year. For example, it ceased from January...
 
user1804599
I want to go there.
 
I can't put my code in the stateT because it's a type synonym
what nooooow
well, I could get around that with a partial type signature
but now the problem is that the inner type is MonadState B
and I need StateT A over it
@rightfold help
 
user1804599
8:13 PM
newtype
 
can I do that w/o modifying the inner type?
 
@Mikhail Yeah, you only have to update the colors that were cycled. It's correct in the mathematical sense of visiting pixels, but incorrect about rendering pixels. @JennaSloan The files probably contain the palette and animation hooks for the viewer to use. Otherwise you'd have a couple hundred frames because the domain is time-frames*cycle-frames
 
user1804599
SSCCE
 
user1804599
or GTFO
 
user1804599
8:16 PM
and/or
 
I have no clue what you mean by "incorrect about rendering pixels", here is the GLSL that does it correctly:

vec2 pos = texPosOut.st;
gl_FragColor = texture(lut, texture(img, pos).r);
 
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE RankNTypes #-}

module Main where

import Control.Monad.State

type InnerM a = forall m. MonadState String m => m a

-- foo :: StateT Int InnerM ...
foo :: StateT Int _ _
foo = do
    i <- get
    doTheInnerThing :: InnerM
    return 42


main = print "ok"
@rightfold something like that
Both coliru and wandbox fail on it -.-
now I'm getting a constraint violation because the InnerM molds to become the StateT, which prevents the MonadState String from succeeding
 
@Mikhail Just in the sense that most rendering systems will skip updating pixels they don't need to. It's not particularly costly to repaint a whole 640x480 image though, unless the browser has no graphics-acceleration.
 
the thing is, I want to immediately run that state
bar :: InnerM
bar = do
    flip evalState 0 $ foo
so I'd kinda like to leave that inner monad untouched, if that makes sense
 
user1804599
Don't use a rank-N type
 
user1804599
8:20 PM
It doesn't work like that
 
it's been working fine elsewhere...
well, it was easy to define my functions in terms of that
 
@Aaron3468 I don't think this is true for a GPU, once the data is in the front buffer the actual display portion doesn't cost any computation (or rather always happens). Anyways the guy bragged about some JS optimization to do something a GPU is built for.
 
I guess this is one of the limitations
can't I just lift into the inner thing ?
ueh, apparently not
oh wait one missing
there we go
@rightfold so yeah it was enough to simply lift to create a "barrier" between those two monads
maybe this isn't the prettiest style ever, but it's just a small localised case
 
Yeah, the bragging is a bit misguided. He basically makes the same point; there's no problem of speed in new browsers that speak to the GPU directly, but slow as hell in browsers that just send the frames one-at-a-time to a software-based rendering system.
 
Its worse than that because the kind of LUT lookup he performed is not computationally expensive on a CPU either. A more clever implementation would have modified the LUT in internal to a gif file or similar, that way the lookup wouldn't need to actually happen in JS.
 
8:26 PM
        addEntry tr (Nothing, ev) = do
            ix <- get
            put $ ix + 1

            lift $ do
                v <- head <$> eval ev cls
                setTableField tr (Number (fromIntegral ix), v)
how terrible is this on a 1-10 scale?
 
@BartekBanachewicz is 1 terrible or is 10 terrible?
 
Ell
I don't know what it's supposed to do
 
@JennaSloan w/e, assume 10 is terrible
 
Ell
monad transformers are yucky
 
17 mins ago, by Bartek Banachewicz
I can't put my code in the stateT because it's a type synonym
... for a rank-n-type
a funny, rather subtle problem
 
8:29 PM
@Mikhail To be frank, I find it amusing that browser developers still struggle to process things that computers from the early 80s were capable of doing. Some say that OSes are terribly inefficient, but if that's the case then browsers are the champions of inefficient computing.
 
Ell
@Aaron3468 what like?
 
@Ell Like a lut lookup to paint a 640x480 image
@Aaron3468 Truth is that he was doing it wrong, but got away with it because his machine has 3Ghz and 4 cores.
Everyday we stray further from God's light
 
lol, he's a bit arrogant:
 
@Aaron3468 The more important thing is that the author will never know he was doing it wrong
 
> This creates a much smoother appearance, and gives the illusion of more colors in the scene. I call this technique BlendShift Cycling. Someone may have invented this before me, but I've certainly never seen it used.
> basically linear interpolation
 
Ell
8:32 PM
lol
 
lol
:gamedev:
oops, I accidentaly made my arrays 0-based :D
 
user1804599
@Ell Free master race
 
@JennaSloan both
 
@Puppy lol
 
Ell
@rightfold yes
 
8:44 PM
So, the E7-8890 v4 has 60 MB of cache, what if we installed Windows 95 on it?
 
@Mikhail Microsoft will deny you updates because it thinks you're a douche for not using Windows 10.
 
Official system requirements were an Intel 80386DX CPU of any speed, 4 MB of system RAM and 50–55 MB of hard disk space depending on features selected.
I wonder if we could achieve a similar effect by caping system memory to the cache size. Also disable the other CPU cores.
 
user1804599
@Ell recursion schemes are awesome
 
Ell
I agree
they're amazing
 
@Mikhail What a world we live in, to be able to fit an operating system on the processor itself :)
 
8:48 PM
@Ell @rightfold do you mean this one?
 
Ell
yes
 
This is a great opportunity to publish a bullshit, sensationalist research paper, about how OS performance goes up when the whole thing fits on in the cache!
 
@Ell got any tutorial for that? :) It seems I'm behind on Edward's recent developments
 
Ell
Where do you want to start?
 
and yes I see it's like ages old
@Ell dunno, some usage example would be nice. I can grunt and point at things I don't get then
 
/user/bartosz/
brace for impact
 
user1804599
@BartekBanachewicz yes also purescript-matryoshka
 
Ell
yeah, the cheat sheet on matryoshka is very good
 
user1804599
@BartekBanachewicz This one is very good: blog.sumtypeofway.com/an-introduction-to-recursion-schemes
 
zygohistomorphic prepromorphism
I've missed that
@Ell hey I am getting it after the first pass
the Fix idea is really interesting
 
Ven
8:55 PM
@rightfold I want to implement ES4
well, E4X.
The Original JSX.
 
user1804599
Your desires suck.
 
> Novel Approach to OS Design: Cache Synergism's Applications to HPC
 
Ven
element..fido.@color
hahaha that's so absolutely terrible
 
woah this is really interesting
alg :: ExprF Int -> Int

alg (Const i)   = i
alg (x `Add` y) = x + y
alg (x `Mul` y) = x * y
this part
I see how it splits the recursion (in the functor instance) from the actual processing now
 
Ell
it's awesome :)
 
8:59 PM
Abstract: [sic] ...we also employ the use of a RAM disk to function as an ad-hoc cache extension for larger programs
 
@Ell not sure what it has to do with monad transformers though
 

« first day (2346 days earlier)      last day (2593 days later) »