#prog18 search results

Slides from my #prog18 talk "What we talk about when we talk about monads": tpetricek.github.io/Talks/2018/mon… (get the full paper from programming-journal.org/2018/2/12/)

tomaspetricek's tweet image. Slides from my #prog18 talk "What we talk about when we talk about monads": tpetricek.github.io/Talks/2018/mon… (get the full paper from programming-journal.org/2018/2/12/)

.@mlvdv talking about efficient and polyglot infrastructure for tooling in the GraalVM. #prog18

smarr's tweet image. .@mlvdv talking about efficient and polyglot infrastructure for tooling in the GraalVM. #prog18

“Computers are expensive? -> Performance. People are expensive? -> Tools!“ — @mlvdv at #prog18

fniephaus's tweet image. “Computers are expensive?
-> Performance.

People are expensive?
-> Tools!“ — @mlvdv at #prog18

Fantastic experience by @didierverna, on Lisp, Jazz and Aikido and their shared appeal: simple rules, easy to conform to, fun to break, and best enjoyed enlightened at the meta-level. Thank you! #prog18

annam_ei's tweet image. Fantastic experience by @didierverna, on Lisp, Jazz and Aikido and their shared appeal: simple rules, easy to conform to, fun to break, and best enjoyed enlightened at the meta-level. Thank you! #prog18

.@mlvdv on “Fast, Flexible, #Polyglot Instrumentation Support for Debuggers and other #Tools” at #prog18. #Truffle #GraalVM

fniephaus's tweet image. .@mlvdv on “Fast, Flexible, #Polyglot Instrumentation Support for Debuggers and other #Tools” at #prog18. #Truffle #GraalVM

Put-based and get-based approaches to bidirectional programming, by Hsiang-Shang Ko #bx18 #prog18

grammarware's tweet image. Put-based and get-based approaches to bidirectional programming, by 
Hsiang-Shang Ko #bx18 #prog18
grammarware's tweet image. Put-based and get-based approaches to bidirectional programming, by 
Hsiang-Shang Ko #bx18 #prog18

#prog18 Opening keynote by @ShriramKMurthi on "The Recurring Rainfall Problem" with a ton of insights about how students learn programming

amintos's tweet image. #prog18 Opening keynote by @ShriramKMurthi on "The Recurring Rainfall Problem"  with a ton of insights about how students learn programming
amintos's tweet image. #prog18 Opening keynote by @ShriramKMurthi on "The Recurring Rainfall Problem"  with a ton of insights about how students learn programming
amintos's tweet image. #prog18 Opening keynote by @ShriramKMurthi on "The Recurring Rainfall Problem"  with a ton of insights about how students learn programming

@khatchad on analyzing adaption patterns of Java default methods by submitting pull requests for refactored code and analyzing accept/rejects, and developer feedback. Awesome way to collect data! #prog18

annam_ei's tweet image. @khatchad on analyzing adaption patterns of Java default methods by submitting pull requests for refactored code and analyzing accept/rejects, and developer feedback. Awesome way to collect data! #prog18

#prog18 keynote by Sukyoung Ryu on finding bugs and security vulnerabilities in Android applications

amintos's tweet image. #prog18 keynote by Sukyoung Ryu on finding bugs and security vulnerabilities in Android applications
amintos's tweet image. #prog18 keynote by Sukyoung Ryu on finding bugs and security vulnerabilities in Android applications
amintos's tweet image. #prog18 keynote by Sukyoung Ryu on finding bugs and security vulnerabilities in Android applications

I'm presenting my Software != Programs poster at #prog18, feel free to ask me about it or give comments/feedback if you see me irl or @Sowhow.

annam_ei's tweet image. I'm presenting my Software != Programs poster at #prog18, feel free to ask me about it or give comments/feedback if you see me irl or @Sowhow.

@tomaspetricek pointing out the curious lack of monad-based refactoring tools. #prog18

annam_ei's tweet image. @tomaspetricek pointing out the curious lack of monad-based refactoring tools. #prog18

“Listen to the beauty of a purely functional #Lisp program” - @didierverna at #prog18

programmingconf's tweet image. “Listen to the beauty of a purely functional #Lisp program” - @didierverna at #prog18

Had a brilliant time at ProWeb @ #prog18 this morning! Now the talk is done, time for a bit of exploring :)

Simon_JF's tweet image. Had a brilliant time at ProWeb @ #prog18 this morning! Now the talk is done, time for a bit of exploring :)

.@fniephaus demoing how to compose Smalltalk with Python and Ruby with a data pipelining example running in a Smalltalk image, showing a word count histogram of a Wikipedia page! #prog18

eregontp's tweet image. .@fniephaus demoing how to compose Smalltalk with Python and Ruby with a data pipelining example running in a Smalltalk image, showing a word count histogram of a Wikipedia page! #prog18

. @tomaspetricek talking about "talking about monads" and the role of metaphors in computational reasoning #prog18

amintos's tweet image. . @tomaspetricek talking about "talking about monads" and the role of metaphors in computational reasoning #prog18
amintos's tweet image. . @tomaspetricek talking about "talking about monads" and the role of metaphors in computational reasoning #prog18
amintos's tweet image. . @tomaspetricek talking about "talking about monads" and the role of metaphors in computational reasoning #prog18
amintos's tweet image. . @tomaspetricek talking about "talking about monads" and the role of metaphors in computational reasoning #prog18

A different approach to presentation. You can either love it or hate it but still an interesting experiment/form of art. This is/was #programmingconf #prog18. Thanks @didierverna (what a mistake to have removed your voice-over).


A new issue facing my students after @programmingconf : #PostPosterImposterSyndrome -- the belief that your poster presentation has revealed you as academically inadequate, and that the poster will haunt you in the hallways for all eternity. #prog18

anyahelene's tweet image. A new issue facing my students after @programmingconf : #PostPosterImposterSyndrome -- the belief that your poster presentation has revealed you as academically inadequate, and that the poster will haunt you in the hallways for all eternity. #prog18

Thank you very much, Nice, for this lovely weather, now that I'm leaving... #prog18


Congratulations to all Student Research Competition winners! #prog18 @TheOfficialACM

I won the @TheOfficialACM Student Research Competition at @programmingconf in the graduate category. Thank you @philippkhaller for the excellent organization of the competition!

RiggerManuel's tweet image. I won the @TheOfficialACM Student Research Competition at @programmingconf in the graduate category. Thank you @philippkhaller for the excellent organization of the competition!


Had a great time at <Programming> (#prog18). Some fantastic talks and brilliant discussions. Thanks to the organisers!


Slides from my #prog18 talk "What we talk about when we talk about monads": tpetricek.github.io/Talks/2018/mon… (get the full paper from programming-journal.org/2018/2/12/)

tomaspetricek's tweet image. Slides from my #prog18 talk &quot;What we talk about when we talk about monads&quot;: tpetricek.github.io/Talks/2018/mon… (get the full paper from programming-journal.org/2018/2/12/)

«Well-typed programs don't go wrong. But they might not go at all.» -- Luca Padovani #prog18


. @tomaspetricek talking about "talking about monads" and the role of metaphors in computational reasoning #prog18

amintos's tweet image. . @tomaspetricek talking about &quot;talking about monads&quot; and the role of metaphors in computational reasoning #prog18
amintos's tweet image. . @tomaspetricek talking about &quot;talking about monads&quot; and the role of metaphors in computational reasoning #prog18
amintos's tweet image. . @tomaspetricek talking about &quot;talking about monads&quot; and the role of metaphors in computational reasoning #prog18
amintos's tweet image. . @tomaspetricek talking about &quot;talking about monads&quot; and the role of metaphors in computational reasoning #prog18

@tomaspetricek pointing out the curious lack of monad-based refactoring tools. #prog18

annam_ei's tweet image. @tomaspetricek pointing out the curious lack of monad-based refactoring tools. #prog18

#prog18 keynote by Sukyoung Ryu on finding bugs and security vulnerabilities in Android applications

amintos's tweet image. #prog18 keynote by Sukyoung Ryu on finding bugs and security vulnerabilities in Android applications
amintos's tweet image. #prog18 keynote by Sukyoung Ryu on finding bugs and security vulnerabilities in Android applications
amintos's tweet image. #prog18 keynote by Sukyoung Ryu on finding bugs and security vulnerabilities in Android applications

One is glad to be of service. #prog18


Michael Van De Vanter's talk on Graal and its virtual machine for Ruby, Python and JS was also highly interesting: he thinks tool development is an open field and many more can be enabled by having a powerful infrastructure for them. #prog18


I'm glad I stayed till the last day of #prog18 and not left right after #raincodelabs #CoCoDo: great talk/paper by @khatchad on how to evaluate new language features early with proposed refactorings and collected feedback.


@khatchad on analyzing adaption patterns of Java default methods by submitting pull requests for refactored code and analyzing accept/rejects, and developer feedback. Awesome way to collect data! #prog18

annam_ei's tweet image. @khatchad on analyzing adaption patterns of Java default methods by submitting pull requests for refactored code and analyzing accept/rejects, and developer feedback. Awesome way to collect data! #prog18

“Computers are expensive? -> Performance. People are expensive? -> Tools!“ — @mlvdv at #prog18

fniephaus's tweet image. “Computers are expensive?
-&amp;gt; Performance.

People are expensive?
-&amp;gt; Tools!“ — @mlvdv at #prog18

.@mlvdv talking about efficient and polyglot infrastructure for tooling in the GraalVM. #prog18

smarr's tweet image. .@mlvdv talking about efficient and polyglot infrastructure for tooling in the GraalVM. #prog18

.@mlvdv on “Fast, Flexible, #Polyglot Instrumentation Support for Debuggers and other #Tools” at #prog18. #Truffle #GraalVM

fniephaus's tweet image. .@mlvdv on “Fast, Flexible, #Polyglot Instrumentation Support for Debuggers and other #Tools” at #prog18. #Truffle #GraalVM

Being at #prog18 again reminded me how many PL people don't like #javascript and want to "fix it". Maybe we should first understand why is it popular and what makes it good?


“Computers are expensive? -> Performance. People are expensive? -> Tools!“ — @mlvdv at #prog18

fniephaus's tweet image. “Computers are expensive?
-&amp;gt; Performance.

People are expensive?
-&amp;gt; Tools!“ — @mlvdv at #prog18

Slides from my #prog18 talk "What we talk about when we talk about monads": tpetricek.github.io/Talks/2018/mon… (get the full paper from programming-journal.org/2018/2/12/)

tomaspetricek's tweet image. Slides from my #prog18 talk &quot;What we talk about when we talk about monads&quot;: tpetricek.github.io/Talks/2018/mon… (get the full paper from programming-journal.org/2018/2/12/)

The next #CoCoDo star is @anyahelene with #RascalMPL. Let's talk grammars! #prog18

grammarware's tweet image. The next #CoCoDo star is @anyahelene with #RascalMPL. Let&apos;s talk grammars! #prog18

.@mlvdv on “Fast, Flexible, #Polyglot Instrumentation Support for Debuggers and other #Tools” at #prog18. #Truffle #GraalVM

fniephaus's tweet image. .@mlvdv on “Fast, Flexible, #Polyglot Instrumentation Support for Debuggers and other #Tools” at #prog18. #Truffle #GraalVM

@khatchad on analyzing adaption patterns of Java default methods by submitting pull requests for refactored code and analyzing accept/rejects, and developer feedback. Awesome way to collect data! #prog18

annam_ei's tweet image. @khatchad on analyzing adaption patterns of Java default methods by submitting pull requests for refactored code and analyzing accept/rejects, and developer feedback. Awesome way to collect data! #prog18

Fantastic experience by @didierverna, on Lisp, Jazz and Aikido and their shared appeal: simple rules, easy to conform to, fun to break, and best enjoyed enlightened at the meta-level. Thank you! #prog18

annam_ei's tweet image. Fantastic experience by @didierverna, on Lisp, Jazz and Aikido and their shared appeal: simple rules, easy to conform to, fun to break, and best enjoyed enlightened at the meta-level. Thank you! #prog18

@tomaspetricek pointing out the curious lack of monad-based refactoring tools. #prog18

annam_ei's tweet image. @tomaspetricek pointing out the curious lack of monad-based refactoring tools. #prog18

“Listen to the beauty of a purely functional #Lisp program” - @didierverna at #prog18

programmingconf's tweet image. “Listen to the beauty of a purely functional #Lisp program” - @didierverna at #prog18

.@mlvdv talking about efficient and polyglot infrastructure for tooling in the GraalVM. #prog18

smarr's tweet image. .@mlvdv talking about efficient and polyglot infrastructure for tooling in the GraalVM. #prog18

Next at Salon des Refusés, @old_sound exploring the relationship between programming and literary theory. #prog18

tomaspetricek's tweet image. Next at Salon des Refusés, @old_sound exploring the relationship between programming and literary theory. #prog18

I'm presenting my Software != Programs poster at #prog18, feel free to ask me about it or give comments/feedback if you see me irl or @Sowhow.

annam_ei's tweet image. I&apos;m presenting my Software != Programs poster at #prog18, feel free to ask me about it or give comments/feedback if you see me irl or @Sowhow.

An exclusive preview of soon to be released FunCon library — today at #CoCoDo #prog18; the official beta release planned for the next week; final release toward the end of the year.

grammarware's tweet image. An exclusive preview of soon to be released FunCon library — today at #CoCoDo #prog18; the official beta release planned for the next week; final release toward the end of the year.

The inspiring future work slide by @perditast #bx18 #prog18

grammarware's tweet image. The inspiring future work slide by @perditast #bx18 #prog18

. @tomaspetricek talking about "talking about monads" and the role of metaphors in computational reasoning #prog18

amintos's tweet image. . @tomaspetricek talking about &quot;talking about monads&quot; and the role of metaphors in computational reasoning #prog18
amintos's tweet image. . @tomaspetricek talking about &quot;talking about monads&quot; and the role of metaphors in computational reasoning #prog18
amintos's tweet image. . @tomaspetricek talking about &quot;talking about monads&quot; and the role of metaphors in computational reasoning #prog18
amintos's tweet image. . @tomaspetricek talking about &quot;talking about monads&quot; and the role of metaphors in computational reasoning #prog18

Loading...

Something went wrong.


Something went wrong.


United States Trends