ec changed the topic of #elliottcable to: a π―ππ ππ π―πππππππππ π―ππππππ slash sΝΜuΝΝpΝΝeΜΜΊrΜΌΜ¦iΜΌΜoΜΜ¬rΜΜ cΜΝα»₯Μ§ΝαΈ·Μ‘ΝΕ£ΝΜ || #ELLIOTTCABLE is not about ELLIOTTCABLE
<elliottcable>
I usually have such trash-branches named βblah+β, and then don't notify IRC on trash-branches
<elliottcable>
mis-named that branch apparently, oops
<elliottcable>
ljharb: ur so helpful omg
<elliottcable>
Pyrrh: hello
<pikajude>
elliottcable:
<elliottcable>
gonna be some more noise sry
<elliottcable>
fuck this conference has been a clusterfuck
<elliottcable>
my sleep-schedule is so far of
<elliottcable>
off
<elliottcable>
out of, uh, sun/mon/tue/wed, four days of conference, I've actually managed to *attend* 1.5 days, mon and half of tue
<elliottcable>
my flights were all delayed massively, resulting in me actually arriving in Barcelona at like 7am on Sunday, running on no sleep β so I obviously missed everything that day ...
<elliottcable>
then jet lag and insomnia have basically had a beautiful, perfect, Satan-baby, leaving me awake all night every night and sleep-deprived as fuck every day
<elliottcable>
the material at this conference is *way* over my head, like massively, and would be difficult enough if I weren't trying to keep up on a goddamn cocktail of stimulants
<elliottcable>
and none of that is to mention the 35Β° / 80% humidity fucking weather
<purr\Paws>
giraphe/Current c0c7307 ELLIOTTCABLE: (- meta pkg) Support npm@5...
<elliottcable>
Cheery: hahaha exactly ;_;
<elliottcable>
Cheery: idk I'm obsessed or mentally ill I think who knows probably something
<elliottcable>
Cheery: you're designing a language too, yah?
<Cheery>
yup
<elliottcable>
I'm at PLDI right now!
<elliottcable>
it's so far beyond me
<elliottcable>
here's hoping you have more idea what you're doing than I do ;_;
<Cheery>
the two last days I've been diverging to writing scripts that fetch new reddit posts from my favorite subreddits and does naive bayes on their title.
<Cheery>
though I'm doing that in python
<Cheery>
results were encouraging so I'm studying some more document classification stuff.
<Cheery>
I hope to produce a "secretary" to myself that filters out all the utter crap from the mess that's internet.
<elliottcable>
lolololol
<elliottcable>
reinforcing your bubble programmatically sounds like a huge waste of effort :P
<Cheery>
I'm not thinking about a bubble, I'm more like thinking about noise vs. I've-seen-that-before vs. signal.
<Cheery>
also I can re-introduce some crap into it with random generator.
<elliottcable>
idk, for me, Reddit is 97% noise
<elliottcable>
I stay mostly th'fuck away
<Cheery>
yup. But there are the gems.
<elliottcable>
I get a lot more value from Twitter, due to a carefully-curated following
<elliottcable>
β¦ of 2,000+ people, but still π€£
<Cheery>
I should probably prune my twitter though.. :)
<elliottcable>
Cheery: come write Pratchett w/ me!
<elliottcable>
;)
<elliottcable>
-didja
<elliottcable>
-didja didja
<elliottcable>
I miss purr
<Cheery>
? wut
<elliottcable>
hahaha nothing'
<elliottcable>
before your time
<elliottcable>
I used to spend a weirdly inordinate amount of my time trying to convince people to write implementations of Paws for m
<Cheery>
I've thought about writing interactive fiction sample program in Lever.
<elliottcable>
it's supposed to be a small language at its core, if you ignore a few of the concurrency constructs kinda/sorta β think Scheme
<Cheery>
to illustrate the parser.
<elliottcable>
so theoretically people were supposed to be able to knock out a simple 90%-implementation of Paws in, like, a weekend, in their favourite language
<elliottcable>
problem is I'm really bad at explaining my work v.v
<Cheery>
I'm thinking about a dracula castle -story, but I keep hitting storylines where it diverges too much.
<elliottcable>
lmao
<elliottcable>
wait what's that got to do with a parser
<Cheery>
"walk to garden shed" "kick the coffin"
<Cheery>
not necessarily in that older.
<Cheery>
order*
<Cheery>
I've also thought about writing a dartmouth basic with the same thing..
<Cheery>
so I suppose if Paws is a weekend -thing, you could probably get me to write an implementation of it in Lever.
<Cheery>
stuff is accumulating though. :)
<Cheery>
15:22 <+elliottcable> reinforcing your bubble programmatically sounds like a huge waste of effort :P
<Cheery>
this is actually quite serious concern.
<Cheery>
I think what I want to do is kick off the crap that just wastes my time.. The kind of gambling elements that catch your interest but often turn out to be empty.
<Cheery>
except the ones that resemble those that paid off in the past.
<Cheery>
Then I also want to separate out the kind of overflowing self-promotion, and of course all the guys who yell at the wolf to gain attention.
<Cheery>
it may be that's 10% of stuff in the end.
<Cheery>
but it's easily the sort of stuff that distracts and consumes time from all the good stuff.
<Cheery>
Then there's the opposite.. I want it to highlight the kind of stuff with very high information value.
<Cheery>
and stuff that's interesting to me.
<Cheery>
and for the rest I sort of want it to just pass it plain.
<Cheery>
maybe some sort of sorting by signal/noise, independent of what's the signal.
<Cheery>
But for it to do that, it needs a good classification model.
<Cheery>
I think titles won't do it all the way through.
<Cheery>
anyway.. you get the idea.
<elliottcable>
so what's Lever
<elliottcable>
bear in mind I have low band-width
<elliottcable>
is it typed, strict, static, by any stretch of the imagination? if so, I have no bandwidth for it
<elliottcable>
(not in a critical way just a βthings I care aboutβ way!)
<elliottcable>
if not ... gimme the, uh, four-ish-line elevator-pitch, b/cuz I don't remember whatever you've told me in the past π€£
<Cheery>
it's dynamically typed.
<Cheery>
ok. I'll tryr.
<elliottcable>
:3
<elliottcable>
and forgive lack of an immediate reply, too β I'm sitting here trying to digest even 1/10th of a talk about tree-flattening-operation-compilation in a polyhedral compiler
<elliottcable>
i.e. Shit I Don't Grasp At All
<Cheery>
where?
<Cheery>
ohwait.. there.
<elliottcable>
Barcelona
<Cheery>
yeah.
<elliottcable>
pldi17.sigplan.org
<elliottcable>
I can't load that page but presumably it says something useful ;_;
<Cheery>
shows out funny looking buildings, spotted out few big brands that I suppose are sponsors, bunch of faces of guys I don't know..
<elliottcable>
unfortunately I've missed a ton of it
<Cheery>
I suppose it'd be hard to catch all of it.
<elliottcable>
my first time outside my home-country, and my crippling fucking clinical insomnia conspired with jet-lag to leave me incapacitated for about half my time here
<elliottcable>
and out of the stuff I've been here for, I've understood maybe 25%, if I'm being generous to myself :x
<elliottcable>
but nonetheless there's been some really cool stuff
<elliottcable>
andy wingo's was dense, but I was really proud at myself over how much I actually grasped (nearly all of it, despite not being a heavy Lisp user, nor familiar with CML)
<elliottcable>
sometimes papers, sometimes blog posts, sometimes tooling, sometimes formats or whatever
<Cheery>
I think there can be something I might be able to use here.
<elliottcable>
hopefully can be synthesised into something remotely useful to somebody idk π
<elliottcable>
bear in mind I've read almost-none of those papers, they're just all on my stack for βwhen I get smart enoughβ
<elliottcable>
I've usually read the abstract and some of the background sections to help build my knowledge-base; but any of the actual work is almost universally beyond me
<elliottcable>
but yeah β the main tracks of these confs are videoed, although idk how they're posted
<elliottcable>
you may need to be an ACM member and/or pirate them
<Cheery>
well. yeah. I'll think up with my nuggets what can yield and then pursue it like mad, as always.
<elliottcable>
Cheery: you'd get along with @small_catgirl
<elliottcable>
or nope hm
<elliottcable>
@SmallCatgirl
<elliottcable>
and ofc @sigfig et al
<Cheery>
twitter handles?
<elliottcable>
yeah
* elliottcable
exhaustedly cuts 2.0 of his dumb boring current library
<Cheery>
I think I'm still exploring with Lever.
<Cheery>
It's built over the stuff that makes PyPy self-hosting, RPython.
<Cheery>
It's got very nice bindings to Vulkan API, and my plans are to do interactive apps with it.
<elliottcable>
familiar with rpy, yes
<Cheery>
I'm experimenting with a subset of the language that can be compiled on-demand into machine code, so that you would no longer have to write fast parts in C.
<elliottcable>
the first talk I linked above did some really cool work with that, showing that some cool optimisations are possible when co-compiling a language runtime with a library, instead of ffi'ing it
<elliottcable>
Vulkan?
<Cheery>
Successor for OpenGL, though OpenGL will be still supported for a long while.
<elliottcable>
oh yeah that
<Cheery>
Vulkan is also my bridge to translating subset of Lever to run on a GPU.
<Cheery>
that way Lever needs to have the statically typed -part, but it's role is optimization, not "type safety" or "correctness".