Tagged | programming-languages

• Presentation: Differentiable Programming in Kotlin

  (www.infoq.com)

  #machine-learning #programming-languages #JVM

• Pin, Unpin, and why Rust needs them

  (blog.cloudflare.com)

  #programming-languages #runtime #memory-management #rust

• Proof Repair and Code Generation

  (galois.com)

  #dev-tools #programming-languages #research #formal-verification

• Building a Concurrency Verifier Using Crucible

  (galois.com)

  #programming-languages #static-analysis #program-verification

• Jolie - A Service-Oriented Programming Language for Distributed Applications

  (www.infoq.com)

  #API #programming-languages #distributed-systems

• Presentation: The Functional Evolution of Object-Oriented Programming

  (www.infoq.com)

  #programming-languages #design-pattern

• A brief history of Rust at Facebook

  (engineering.fb.com)

  #software-engineering #programming-languages #rust

• Public Tech Talk: “Gillian Verification of JavaScript and C”

  (galois.com)

  #programming-languages #research #cs-theory #formal-verification

• Hacklang at Slack: A Better PHP

  (slack.engineering)

  #software-engineering #programming-languages #runtime

• Rethinking Programming: Network-Aware Type System

  (hackernoon.com)

  #programming-languages #networking #runtime #cloud

• Rethinking Programming: The Network in the Language

  (hackernoon.com)

  #programming-languages #networking #cloud #async

• Interview with Yukihiro Matsumoto: Ruby is Designed for Humans, not Machines

  (hackernoon.com)

  #HCI #programming-languages #ruby #compilers

• TypeScript Pick 'n Mix

  (blog.scottlogic.com)

  #programming-languages #type-script #type-system

• Pay No Attention: Behind the Magic of Ruby DSLs

  (spin.atomicobject.com)

  #programming-languages #ruby #DSL

• Presentation: Keeping Up with Java: Look at All These New Features!

  (www.infoq.com)

  #programming-languages #java #JVM

• Safer code with container types (Either and Maybe)

  (blog.logrocket.com)

  #programming-languages #type-script #type-system

• Presentation: The Talk You've Been Await-ing For

  (www.infoq.com)

  #programming-languages #runtime #systems #async #rust

• Polyglot Influences in Python

  (8thlight.com)

  #programming-languages #python #type-system

• How Ruby Can Surprise You

  (tech.showmax.com)

  #programming-languages #ruby #runtime

• Article: A First Look at Inline Classes

  (www.infoq.com)

  #programming-languages #java #JVM #runtime

• Presentation: Rust's Journey to Async/await

  (www.infoq.com)

  #programming-languages #rust #concurrency

• Escape Hatches: Principles vs. Guarantees

  (8thlight.com)

  #software-design #programming-languages #design-pattern

• C++ Creator Bjarne Stroustrup Answers Our Top Five C++ Questions

  (stackoverflow.blog)

  #programming-languages #C++

• The case for Discriminated Union Types with Typescript

  (thoughtbot.com)

  #programming-languages #type-script #type-system

• Parallelism in Crystal

  (crystal-lang.org)

  #programming-languages #parallel-computing #crystal #multi-threading

• Our journey to type checking 4 million lines of Python

  (blogs.dropbox.com)

  #dev-tools #programming-languages #python #compilers #type-system

• Designing a Kotlin memory safe mode

  (itnext.io)

  #programming-languages #kotlin #runtime #concurrency

• Experiment, Simplify, Ship

  (blog.golang.org)

  #software-engineering #programming-languages #practices #GoLang

• Why Generics?

  (blog.golang.org)

  #programming-languages #programming-paradigm #GoLang

• Presentation: Java Futures, 2019 Edition

  (www.infoq.com)

  #software-engineering #programming-languages #java

• Status of JavaScript(ECMAScript): 2019 & beyond.

  (itnext.io)

  #javascript #programming-languages

• Zoncolan: How Facebook uses static analysis to detect and prevent security issues

  (code.fb.com)

  #programming-languages #security #parsing #cs-theory

• Presentation: Why Continuations are Coming to Java

  (www.infoq.com)

  #software-design #programming-languages #java #async

• Presentation: How Rust Views Tradeoffs

  (www.infoq.com)

  #programming-languages #runtime #systems #compilers #rust

• Presentation: Coroutines Explained

  (www.infoq.com)

  #software-architecture #programming-languages #design-pattern #async

• How programming languages have evolved

  (www.thoughtworks.com)

  #programming-languages #programming-paradigm #history #cs-theory

• Podcast: Bryan Cantrill on Rust and Why He Feels It’s The Biggest Change In Systems Development in His Career

  (www.infoq.com)

  #software-engineering #programming-languages #systems #rust

• Explained: How does async work in Rust?

  (levelup.gitconnected.com)

  #programming-languages #runtime #async #rust

• Presentation: Towards Language Support for Distributed Systems

  (www.infoq.com)

  #programming-languages #distributed-systems #serverless #programming-paradigm

• The Power of Types in Idris

  (www.azavea.com)

  #programming-languages #programming-paradigm #cs-theory #type-system

• Presentation: Kotlin: Write Once, Run (Actually) Everywhere

  (www.infoq.com)

  #programming-languages #JVM #kotlin

• TypeScript vs PureScript

  (blog.logrocket.com)

  #programming-languages #functional-programming #type-script #frontend

• Presentation: The Most Secure Program Is One That Doesn’t Exist

  (www.infoq.com)

  #programming-languages #security #systems #rust

• Fearless Security: Thread Safety

  (hacks.mozilla.org)

  #programming-languages #parallel-computing #concurrency #multi-threading

• Typesafe Frontend Development

  (levelup.gitconnected.com)

  #software-engineering #programming-languages #frontend #type-system

• Presentation: Learning to Love Type Systems

  (www.infoq.com)

  #programming-languages #frontend #cs-theory #type-system

• Go Modules in 2019

  (blog.golang.org)

  #software-design #programming-languages #GoLang

• Rust 2018 is here… but what is it?

  (hacks.mozilla.org)

  #web-assembly #programming-languages #systems #compilers #rust

• Errors in Go: From denial to acceptance

  (evilmartians.com)

  #software-design #programming-languages #GoLang

• Adding pipelines to JavaScript

  (blog.logrocket.com)

  #javascript #programming-languages #event-driven

• What’s the Difference Between Implicit vs. Explicit Programming?

  (blog.codeship.com)

  #software-engineering #programming-languages #cs-theory

• Presentation: Why Bother with Kotlin - Not Just Another Language Tour

  (www.infoq.com)

  #programming-languages #java #JVM #kotlin

• Checked C Extends LLVM to Bring Spatial Memory Safety to C

  (www.infoq.com)

  #programming-languages #C #LLVM

• C# Async API: The Missing Parts

  (hackernoon.com)

  #programming-languages #async

• Why Python's for-else Clause Makes Perfect Sense, but You Still Shouldn't Use It

  (intoli.com)

  #programming-languages #python #opinion

• Iterators and Generators do have a place in modern JavaScript.

  (itnext.io)

  #javascript #programming-languages #async

• TypeScript 3.0: Exploring Tuples and the Unknown Type

  (auth0.com)

  #javascript #programming-languages #type-script #type-system

• Presentation: Functional Rust - An Exploration

  (www.infoq.com)

  #programming-languages #functional-programming #rust

• SQL vs. Flux: Choosing the right query language for time-series data

  (blog.timescale.com)

  #DBMS #programming-languages #SQL

• Recreating Python's Slice Syntax in JavaScript Using ES6 Proxies

  (intoli.com)

  #javascript #programming-languages #python

• Fixing the billion dollar mistake in Go by borrowing from Rust

  (getstream.io)

  #programming-languages #GoLang #rust

• How we built a cloud-based programming language: ASTs in the Cloud

  (hackernoon.com)

  #dev-tools #HCI #programming-languages

• ES modules: A cartoon deep-dive

  (hacks.mozilla.org)

  #javascript #programming-languages

• Back to the Future with Smalltalk

  (hackernoon.com)

  #programming-languages #history #smalltalk

• Rustic Nil Handling in Ruby

  (blog.honeybadger.io)

  #programming-languages #ruby #rust

• Writing complex macros in Rust: Reverse Polish Notation

  (blog.cloudflare.com)

  #programming-languages #rust

• Paul Bakker and Sander Mak on Java 9 modularity

  (www.oreilly.com)

  #software-architecture #programming-languages #java #podcast

• How machine learning can be used to write more secure computer programs

  (www.oreilly.com)

  #machine-learning #programming-languages #security #research #podcast

• JaVerT: a JavaScript Verification Toolchain

  (galois.com)

  #software-engineering #javascript #programming-languages #program-verification

• Safer SWIFT – Moving the security game to the level of programming languages

  (www.novoda.com)

  #swift #programming-languages #security

• TypeScript at Lyft

  (eng.lyft.com)

  #programming-languages #migration #type-script #opinion

• Overview of Functional Programming

  (blog.codeship.com)

  #programming-languages #functional-programming

• Does Typescript help you write better code?

  (binary-studio.com)

  #software-engineering #javascript #programming-languages #type-script

• Toward Go 2

  (blog.golang.org)

  #programming-languages #programming-paradigm #GoLang

• Probabilistic programming from scratch

  (blog.fastforwardlabs.com)

  #programming-languages #programming-paradigm #Probabilistic-programming

• Why We Chose Typescript

  (redditblog.com)

  #software-design #web-frontend #programming-languages

• What Kotlin Does to Your Java

  (realm.io)

  #software-design #mobile #programming-languages #android #java-prog