CommunityNews

Reverse-mode algorithmic differentiation using effect handlers in OCaml 5

effects-examples/algorithmic_differentiation.ml at master · ocaml-multicore/effects-examples.
Examples to illustrate the use of algebraic effects in Multicore OCaml - effects-examples/algorithmic_differentiation.ml at master · ocaml-multicore/effects-examples

Read in full here:

github.com

ocaml-multicore/effects-examples/blob/master/algorithmic_differentiation.ml

(* Reverse-mode Algorithmic differentiation using effect handlers.
   Adapted from https://twitter.com/tiarkrompf/status/963314799521222656.
   See https://openreview.net/forum?id=SJxJtYkPG for more information. *)
open Effect
open Effect.Deep

module F : sig
  type t

  val mk : float -> t
  val ( +. ) : t -> t -> t
  val ( *. ) : t -> t -> t
  val grad : (t -> t) -> float -> float
  val grad2 : (t * t -> t) -> float * float -> float * float
end = struct
  type t = { v : float; mutable d : float }

  let mk v = { v; d = 0.0 }

  type _ Effect.t += Add : t * t -> t Effect.t

This file has been truncated. show original

This thread was posted by one of our members via one of our news source trackers.

View thread on forum

/ocaml

0 634 0

2022-11-19 15:56:41 UTC

Where Next?

View thread on forum

ocaml

Home Backend>In The News

/ocaml

0 634 0

Last post

Popular Backend topics

Backend>In The News

C++ Deserves Its Bad Reputation

jmoiron.net

/c-plus-plus

11 1139 6

2021-06-17 19:29:20 UTC

New

Backend>In The News

More PHP and MySQL findings

As I continue to work on Cyberscore, I keep finding new quirks / features in PHP and MySQL. All of the tests below are being run on mysql...

hugopeixoto.net

/php /mysql

0 1195 0

2021-01-19 12:49:32 UTC

New

Backend>In The News

Lets Lisp like it's 1959 (2019) [video]

youtube.com

/lisp #video

0 998 0

2021-05-17 02:11:38 UTC

New

Backend>In The News

Imagor: A fast, Docker-ready image processing server written in Go

GitHub - cshum/imagor: Fast, Docker-ready image processing server written in Go and libvips, with Thumbor URL syntax. Fast, Docker-ready...

github.com

/go #docker

0 1058 0

2021-12-11 05:51:06 UTC

New

Backend>In The News

Writing a minimal Lua implementation with a virtual machine from scratch in Rust

By the end of this guide we’ll have a minimal, working implementation of a small part of Lua from scratch.

notes.eatonphil.com

/lua /rust #writing

5 1232 1

2022-01-07 17:39:07 UTC

New

Backend>In The News

Hacking sum types with Go generics

Hacking sum types with Go generics. Go doesn’t have sum types, but generics get us one step closer to a useful polyfill. If you’ve ever ...

blog.lawrencejones.dev

/go #types

2 1123 0

2022-03-15 03:26:59 UTC

New

Backend>In The News

Zee: A modern text editor for the terminal written in Rust

GitHub - mcobzarenco/zee: A modern text editor for the terminal written in Rust. A modern text editor for the terminal written in Rust -...

github.com

/rust #terminal

12 1317 3

2022-04-02 18:56:20 UTC

New

Backend>In The News

Tutorial Series to learn Common Lisp quickly

clog/LEARN.md at main · rabbibotton/clog. CLOG - The Common Lisp Omnificent GUI. Contribute to rabbibotton/clog development by creating ...

github.com

/lisp

0 1046 0

2022-04-28 11:59:18 UTC

New

Backend>In The News

Introducing Trilogy: a new database adapter for Ruby on Rails

Introducing Trilogy: a new database adapter for Ruby on Rails | The GitHub Blog. We’ve open sourced Trilogy, the database adapter we use...

github.blog

/ruby /rails #database

1 1054 0

2022-09-04 00:18:41 UTC

New

Backend>In The News

Perfecting WebGPU/Dawn native graphics for Zig

Perfecting WebGPU/Dawn native graphics for Zig. A 700+ commit complete rewrite of mach/gpu (the WebGPU interface for Zig) has been compl...

devlog.hexops.com

/zig #webgpu

0 1128 0

2022-09-13 23:26:36 UTC

New

Other popular topics

General Dev>Dev Chat

Best chairs for developers?

What chair do you have while working… and why? Is there a ‘best’ type of chair or working position for developers?

#workspace #opinions

74 4882 41

2022-12-31 03:22:23 UTC

New

General Dev>Code Editors

Poll: Which code editor do you use?

You might be thinking we should just ask who’s not using VSCode :joy: however there are some new additions in the space that might give V...

#notepad

118 4871 60

2025-07-10 07:43:28 UTC

New

General Dev>Hardware

Poll: Which keyboard layout do you use?

poll poll Be sure to check out @Dusty’s article posted here: An Introduction to Alternative Keyboard Layouts It’s one of the best write-...

colemakmods.github.io

#polls /keyboards

10 5348 11

2020-10-31 23:12:33 UTC

New

General Dev>Code Editors

Dendron: a personal knowledge management tool on top of VSCode

/vscode #visual-studio-code

28 6034 9

2021-05-05 12:15:29 UTC

New

General Dev>Blogs/Talks

Failing Big with Elixir and LiveView - A Post-Mortem

Here’s the story how one of the world’s first production deployments of LiveView came to be - and how trying to improve it almost caused ...

pentacent.com

/elixir /phoenix #blog-post #liveview

37 2727 14

2021-06-11 08:31:36 UTC

New

Community>In The Spotlight

Spotlight: Mike Riley (Author) Interview and AMA!

Author Spotlight Mike Riley @mriley This month, we turn the spotlight on Mike Riley, author of Portable Python Projects. Mike’s book ...

#author-spotlight /python #iot /book-portable-python-projects #internet-of-things

62 6351 19

2022-06-09 14:01:01 UTC

New

General Dev>In The News

The overengineered Solution to my Pigeon Problem

The overengineered Solution to my Pigeon Problem. TL;DR: I built a wifi-equipped water gun to shoot the pigeons on my balcony, controlle...

maxnagy.com

0 4367 0

2022-05-15 23:35:45 UTC

New

Community>In The Spotlight

Spotlight: Rebecca Skinner (Author) Interview and AMA!

Author Spotlight Rebecca Skinner @RebeccaSkinner Welcome to our latest author spotlight, where we sit down with Rebecca Skinner, auth...

#author-spotlight /haskell /book-effective-haskell

106 10605 28

2022-11-16 10:29:37 UTC

New

Backend>Learning Resources

Engineering Elixir Applications

Develop, deploy, and debug BEAM applications using BEAMOps: a new paradigm that focuses on scalability, fault tolerance, and owning each ...

pragprog.com

#pragprog /elixir #published-book /book-engineering-elixir-applications

40 2292 21

2024-11-08 15:13:02 UTC

New

Android>Questions

Unresolved Reference to android in build.gradle.kts – Beginner Issue

Hello, I’m a beginner in Android development and I’m facing an issue with my project setup. In my build.gradle.kts file, I have the foll...

#binding

0 2183 2

2024-12-09 21:07:33 UTC

New

Reverse-mode algorithmic differentiation using effect handlers in OCaml 5

CommunityNews

Reverse-mode algorithmic differentiation using effect handlers in OCaml 5

Where Next?

Popular Backend topics

C++ Deserves Its Bad Reputation

More PHP and MySQL findings

Lets Lisp like it's 1959 (2019) [video]

Imagor: A fast, Docker-ready image processing server written in Go

Writing a minimal Lua implementation with a virtual machine from scratch in Rust

Hacking sum types with Go generics

Zee: A modern text editor for the terminal written in Rust

Tutorial Series to learn Common Lisp quickly

Introducing Trilogy: a new database adapter for Ruby on Rails

Perfecting WebGPU/Dawn native graphics for Zig

Other popular topics

Best chairs for developers?

Poll: Which code editor do you use?

Poll: Which keyboard layout do you use?

Dendron: a personal knowledge management tool on top of VSCode

Failing Big with Elixir and LiveView - A Post-Mortem

Spotlight: Mike Riley (Author) Interview and AMA!

The overengineered Solution to my Pigeon Problem

Spotlight: Rebecca Skinner (Author) Interview and AMA!

Engineering Elixir Applications

Unresolved Reference to android in build.gradle.kts – Beginner Issue

Latest in OCaml

Backend>In The News

Latest on Devtalk

We ❤️ helpful members!

Categories:

Sub Categories:

Popular Portals

We're in Beta

Reverse-mode algorithmic differentiation using effect handlers in OCaml 5

CommunityNews

Reverse-mode algorithmic differentiation using effect handlers in OCaml 5

Where Next?

Popular Backend topics

C++ Deserves Its Bad Reputation

More PHP and MySQL findings

Lets Lisp like it's 1959 (2019) [video]

Imagor: A fast, Docker-ready image processing server written in Go

Writing a minimal Lua implementation with a virtual machine from scratch in Rust

Hacking sum types with Go generics

Zee: A modern text editor for the terminal written in Rust

Tutorial Series to learn Common Lisp quickly

Introducing Trilogy: a new database adapter for Ruby on Rails

Perfecting WebGPU/Dawn native graphics for Zig

Other popular topics

Best chairs for developers?

Poll: Which code editor do you use?

Poll: Which keyboard layout do you use?

Dendron: a personal knowledge management tool on top of VSCode

Failing Big with Elixir and LiveView - A Post-Mortem

Spotlight: Mike Riley (Author) Interview and AMA!

The overengineered Solution to my Pigeon Problem

Spotlight: Rebecca Skinner (Author) Interview and AMA!

Engineering Elixir Applications

Unresolved Reference to android in build.gradle.kts – Beginner Issue

Sponsor Spotlight

Latest in OCaml

Backend>In The News

Latest on Devtalk

We ❤️ helpful members!

Devtalk Sponsors

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

We're in Beta