OO in Python is mostly pointless

• PPDP18

  1 4 0.0 HTML

  Code from the paper / Declarative GUIs: Simple, Consistent, and Verified

> For example, GUI development. Surely nobody would want to do without having a Textbox, Button, inherit from a general Widget, and have all the methods like .enable(), .click(), and properties like enabled, events like on_click, etc.?

Oh, god, I'd kill for a GUI toolkit that did away with that. It's all a hot mess, and a miracle that any GUIs actually work.

That said, I'm not super inclined to learn Agda...[1][2]

[1]: https://github.com/stephanadelsb/PPDP18

• yew

  201 29,916 8.6 MDX

  Rust / Wasm framework for creating reliable and efficient web applications

  

or even take a look at yew in Rust which is also elm-style, https://github.com/yewstack/yew/blob/master/examples/counter...

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• GeometricFlux.jl

  3 348 5.1 Julia

  Geometric Deep Learning for Flux

  

@ddragon described it rather well. Some significant examples include JuMP (https://jump.dev) for mathematical optimization and how FluxML (Julia's "Keras"), Zygote (whole program automatic differentiation) and ODE solvers can work together easily to build Neural ODE solvers in relatively few lines of code. It is also why one person can write - https://github.com/yuehhua/GeometricFlux.jl - and benefit from the CUDA, FluxML, Zygote packages to get high performance.

Suggest a related project