|
the only proper way to leave a job is through a spectacular bankruptcy all the other ways, possibly excluding going on a killing spree, just feel a bit wishy-washy
|
# ? Sep 4, 2014 07:04 |
|
|
# ? May 31, 2024 08:48 |
|
Cybernetic Vermin posted:the only proper way to leave a job is through a spectacular bankruptcy same but your mum leaving your dad
|
# ? Sep 4, 2014 08:02 |
|
JewKiller 3000 posted:he relented and is gonna release 1.7.1 back to the old version and change the breaking one to 2.0.0 interesting thing he said: If at this point you're hopping on one foot and saying — wait a minute, Node is 0.x.x — SemVer allows pre-1.0 packages to change anything at any time! You're right! And you're also missing the forest for the trees! Keeping a system that's in heavy production use at pre-1.0 levels for many years is effectively the same thing as not using SemVer in the first place.
|
# ? Sep 4, 2014 12:32 |
|
Most of the talks from ICFP are up now: https://www.youtube.com/playlist?list=PL4UWOFngo5DVBqifWX6ZlXJ7idxWaOP69 (tw: functional programming, Haskell, Agda, type theory etc etc) Connor McBride's is an Agda demonstration and is apparently pretty funny and Kathleen Fisher's talk is on her work at DARPA and is apparently really good, but hasn't been uploaded yet.
|
# ? Sep 4, 2014 15:07 |
|
brb, just gonna go watch 15 hours of people talking about functional programming
|
# ? Sep 4, 2014 17:03 |
|
I watched Connor's and it was a demonstration of encoding the upper and lower bound in the type of an ordered data structure in order to make it impossible to construct instances that violate the invariants. then at the end he uses Agda's case analysis/suggestions feature and, with a few hints, coerced the interpreter to write almost all of a function to insert an element correctly into a 2-3 tree. while pacing around the stage in bear feet and talking about how much he likes to drink of course
|
# ? Sep 4, 2014 17:22 |
|
why would i click on that sry i love functional programming but drat
|
# ? Sep 4, 2014 17:29 |
|
Jennifer Hackett's i watched because i know her and her topic* is interesting, Connor's because I like seeing Agda work even if I cba to do it myself and Kathleen Fisher's was linked to me with "this is seriously one of the best talks I've seen at ICFP ever". I'm not going to watch any more than those *: actually doing some goddamn reasoning about program optimisation (specifically in the context of lazy evaluation) rather than the age old technique of throwing stuff to the wall and seeing what sticks
|
# ? Sep 4, 2014 17:32 |
|
i will try the video on laziness. thanks
|
# ? Sep 4, 2014 17:39 |
|
hey, i did research six years ago in a language that let you reflect arbitrary dependent information into the type system and hence express ordering bounds on data structures to statically enforce invariants it's frustrating and a waste of time welp, that's my story about grad school
|
# ? Sep 4, 2014 17:41 |
|
agda seems neat every time i read stuff about it, but
|
# ? Sep 4, 2014 19:18 |
|
i'm surprised that gui toolkits for functional languages don't make heavy use of markup languages. like, you'd think they would be perfect fits for each other. from what i can gather not even f# and xaml are very seamless.
|
# ? Sep 5, 2014 10:21 |
|
heres ur programming optimization pro tip: use fewer instructions
|
# ? Sep 5, 2014 14:44 |
|
are you doing moon power rankings this year btw?
|
# ? Sep 5, 2014 14:50 |
|
Otto Skorzeny posted:are you doing moon power rankings this year btw? moon power rankings?
|
# ? Sep 5, 2014 18:05 |
|
count on microsoft on making something awesome like f# and then doing a halfassed job at integrating it with its tools
|
# ? Sep 5, 2014 18:14 |
|
Notorious b.s.d. posted:by now you should have realized it is ok if tragedy occurs as long as you still land on your feet know what's better than landing on ur feet after tragedy no tragedy to start with
|
# ? Sep 5, 2014 19:14 |
|
test
|
# ? Sep 5, 2014 19:48 |
|
SYNTAX ERROR
|
# ? Sep 5, 2014 19:50 |
|
fleshweasel posted:count on microsoft on copying something awesome like ocaml and then doing a halfassed job at integrating it with their tools
|
# ? Sep 5, 2014 19:50 |
|
wow this is a very bad blog
|
# ? Sep 5, 2014 20:14 |
|
i thought that you used to develop a power rankings algorithm for nfl teams. must have been thinking of some other coc poster
|
# ? Sep 5, 2014 20:26 |
|
i have power rankings, they go gently caress the goddamn seahawks the glorious forty-niners the broncos i guess ... nc state ... gently caress the motherfucking new york football giants forever i don't need an algorithm for this tho
|
# ? Sep 5, 2014 20:32 |
|
._.
|
# ? Sep 5, 2014 20:38 |
|
something something new york jest
|
# ? Sep 5, 2014 20:39 |
|
jaff fatwood pissed off the guy who did markdown by building a variant and not bothering to read the licensing terms of markdown he wanted to call it standard markdown, sent gruber an email asking for permission, and assumed when his dumbass email wasn't responded to that everythign was cool. when he went public with standard markdown, john gruber called him an rear end in a top hat and made him take it down (and also apologize in writing lol). then fatwood thinks "well, I'll just call it common markdown, that'll be ok right?", and being conscientious as always, sends gruber an email and figures gruber's silence means he's cool with common markdown. then gruber told him just stop usign markdown entirely for his lovely new markup standard now his variant has to be called commonmark lol
|
# ? Sep 7, 2014 08:03 |
|
lol
|
# ? Sep 7, 2014 08:59 |
|
who cares about original markdown isn't it horribly undefined junk?
|
# ? Sep 7, 2014 09:12 |
|
MeruFM posted:who cares about original markdown yeah
|
# ? Sep 7, 2014 10:06 |
|
MeruFM posted:who cares about original markdown john gruber wants it that way
|
# ? Sep 7, 2014 10:19 |
|
Gruber was ready to accept 'Strict Markdown' or 'Pedantic Markdown' but wouldn't allow a better-defined markdown to exist without having a pejorative name attached to it.
|
# ? Sep 7, 2014 11:06 |
|
MononcQc posted:Gruber was ready to accept 'Strict Markdown' or 'Pedantic Markdown' but wouldn't allow a better-defined markdown to exist without having a pejorative name attached to it. Yeah, I must say he doesn't come across as the sympathetic one here. Surely Atwood and Co. could have approached him earlier about their 2 year running project to spec out Markdown, though. Open source conflict resolution, man-child style...
|
# ? Sep 7, 2014 11:11 |
|
MononcQc posted:Gruber was ready to accept 'Strict Markdown' or 'Pedantic Markdown' but wouldn't allow a better-defined markdown to exist without having a pejorative name attached to it. yeh gruber's a giant rear end in a top hat but at the same time fatwood should've learned by now to be conscientious of the licensing terms of other projects.
|
# ? Sep 7, 2014 11:27 |
|
Yeah there's no surprise here that everyone involved was a clown about it.
|
# ? Sep 7, 2014 11:28 |
|
on the internet???
|
# ? Sep 7, 2014 11:33 |
|
the stakes are so, loving, low
|
# ? Sep 7, 2014 11:55 |
|
Maluco Marinero posted:Yeah, I must say he doesn't come across as the sympathetic one here. Surely Atwood and Co. could have approached him earlier about their 2 year running project to spec out Markdown, though. They did. Like, a whole bunch of times. He ignored them.
|
# ? Sep 7, 2014 12:10 |
|
Eh, Gruber is a twat, but just come up with your own name for your markup variant and stop trying to piggyback off of success. And don't whine about such petty poo poo publicly.
|
# ? Sep 7, 2014 14:25 |
|
more like jonathan schickelgruber imo
|
# ? Sep 7, 2014 16:48 |
|
|
# ? May 31, 2024 08:48 |
|
MononcQc posted:Yeah there's no surprise here that everyone involved was a clown about it. hello coworker buddy
|
# ? Sep 9, 2014 01:27 |