Logic Programming à la Carte by Edward Kmett #FnConf19
I've been working on a logic programming framework in Haskell, called guanxi (關係) with an eye towards scalability. To build it I leaned heavily on my previous ...
ConfEngine
Scalable Language Specification 2013
Making real-time language definitions scalable.
Microsoft Research
Visualization for People + Systems
Making sense of large and complex data requires methods that integrate human judgment and domain expertise with modern data processing systems. To meet ...
Microsoft Research
How we program multicores - Joe Armstrong
When we write a program, we just want it to run faster when we run it on a multicore. If I have a 10 core computer I just want it to run 10 times faster, if I have a ...
RISE SICS
Life without CONS
Can higher-order functional programs solve more problems than first-order programs? Answer: NO, since both program classes are Turing complete. The ...
Microsoft Research
A Unified Approach to Solving Seven Programming Problems (Functional Pearl)
Presenter: William Byrd.
ICFP Video
Dave Thomas - The legacy of Simula 67
From the Seminar celebrating the 50 years of Simula: Early computers were designed to solve difficult numerical problems; to the extent that models entered the ...
UiO Realfagsbiblioteket
"The Joys and Frustrations of Software Engineering" with Mark Harman
Title: The Joys and Frustrations of Software Engineering Date: 10/23/2019 ABSTRACT In this talk I will talk about research and deployment work on source code ...
Association for Computing Machinery (ACM)
Towards Complex Language in Partially Observed Environments
Stefanie Tellex, Brown University.
MITCBMM
J is for JavaScript
It is a time-honored fashion to implement a domain-specific language (DSL) by translation to a general-purpose language. Such an implementation is more ...
Microsoft Research
Erik Stenman - BEAM: What Makes Erlang BEAM - Code Mesh 2017
In this talk we will look at how the Erlang virtual machine works and how it enables Erlang to achieve scalable, highly available and robust servers. More details ...
Erlang Solutions
Essential vs Accidental Complexity in Scala & Dotty—Andrew Phillips
(How) can we construct a programming language that is elegant without being elementary; expressive without becoming exasperating? Scala offers a wide ...
Scala World
Implementing languages on the BEAM by Robert Virding & Mariano Guerra | #OpenErlang webinar
In this session, Robert Virding and Mariano Guerra provide us with a brilliant breakdown of how the BEAM languages compare across their influences, parsers, ...
Erlang Solutions
Allen School Colloquium: Rohan Padhye (UC Berkeley)
Presentation title: Bending Fuzzers to One's Own Will Software bugs affect the security, reliability, and performance of critical software systems that much of our ...
Paul G. Allen School
Self-Improving Artificial Intelligence
October 24, 2007 lecture by Steve Omohundro for the Stanford University Computer Systems Colloquium (EE 380). Steve presents fundamental principles that ...
Stanford
SensiLab Forum - Simon Colton
Sensilab monash
"Ceptre: A Language for Modeling Generative Interactive Systems" by Chris Martens
Strange Loop
OSLC Fest 2020, Day 1
Live chat is disabled, use https://meet.ps/oslcfest instead! OSLC Fest is a key OSLC event of the year. Join us to hear presentations from the OSLC project ...
Open Services for Lifecycle Collaboration
Programming language
A programming language is a formal constructed language designed to communicate instructions to a machine, particularly a computer. Programming ...
Audiopedia
Open Discussion Part 2 convened by KenBaclawski on 2019-10-02
The Ontology Summit 2020 Fall Series continues with another open discussion.
Ontolog Forum
HPlan2020: HTN Planning: Interactions of Theory and Practice (Robert Goldman, Invited Talk)
For many years my colleagues and I have been doing applied research with automated planning, and especially HTN planning. Because of their expressive ...
HPlan Workshop
How to Chase Bugs in Embedded Systems and Circuits? by Gérard Berry
IRT Saint Exupéry Seminar 31 May 2016 - Gérard Berry is Former student of the Ecole polytechnique and Corps des mines, Member of the Academy of sciences ...
IRT Saint Exupéry
Data Provenance | David Koop, UMass-Dartmouth
Slides for this presentation are available here: http://extremecomputingtraining.anl.gov/atpesc/sessions/data-provenance/ Presented at the Argonne Training ...
ANL Training
Declarative Static Analysis and Zombies (ok, Soundness) - Yannis Smaragdakis
Workshop on Dependable and Secure Software Systems 2018 The talk will discuss the general declarative points-to analysis approach of the Doop framework ...
ETH WSCR
BxJS Weekly Ep. 13 - June 2, 2018 (javascript news podcast)
This is a weekly javascript podcast delivering you all the best javascript news of the week. You can find all mentioned links here: ...
Tim Ermilov
Software, Art, Augmented Intelligence and Functional Programming with Alex Bolboaca & David Schmudde
We had the chance to discuss with David Schmüdde, artist and programmer, passionate about functional programming, and tuned to the humanistic aspects of ...
Think. Design. Work Smart.
Dialect (computing) | Wikipedia audio article
This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/Programming_language 00:02:14 1 Definitions 00:06:55 2 History 00:07:04 2.1 ...
wikipedia tts
9 HighPerformance 2OpenMP Declarative Concurrency
Prasun Dewan
David Schmudde - Software, Art, Augmented Intelligence & Functional Programming with Alex Bolboaca
We had the chance to discuss with David Schmüdde, artist and programmer, passionate about functional programming, and tuned to the humanistic aspects of ...
Think. Design. Work Smart.
Programming language
Programming language A programming language is a formal computer language designed to communicate instructions to a machine, particularly a computer ...
Speaking Videos
Functional programming
Please give us a THUMBS UP if you like our videos!!! Source:http://en.wikipedia.org/wiki/Functional_programming In computer science, functional programming ...
Wikivoicemedia
Learning Functional Programming without Growing a Neckbeard
Java is a computer programming language that is concurrent, class-based, object-oriented, and specifically designed to have as few implementation ...
Javas
Programming language | Wikipedia audio article
This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/Programming_language 00:02:10 1 Definitions 00:06:44 2 History 00:06:53 2.1 ...
wikipedia tts
