You are viewing archived messages.
Go here to search the history.

Mariano Guerra 2022-02-15 14:57:40
Andrew F 2022-02-15 21:04:14

That Effection library looks pretty neat. I'll have to consider using it in my current project.

Mariano Guerra 2022-02-15 16:08:11
Vladyslav Sitalo 2022-02-16 07:35:12

oh, Kotlin support finally, I remember being a bit reluctant to explore it more bc of java as a base language!

Shubhadeep Roychowdhury 2022-02-17 06:01:29

A probabilistic programming language in 70 lines of Python - https://mrandri19.github.io/2022/01/12/a-PPL-in-70-lines-of-python.html

Deepak Karki 2022-02-18 19:28:36

https://www.youtube.com/watch?v=KvMnpVMp0jk

Programming Tools for the Future of Data Science

In the future, anyone will be able to write programs that are currently the exclusive domain of advanced programmers. For now, there’s still a big gap between the programming skills of occasional programmers - social scientists, journalists, data scientists - and the skills required to write the programs they want. However, the need is pressing; while there are about 20 million programmers in the world, there are now at least twice as many end users writing code to work with data. In this talk, I’ll describe Helena, an ecosystem of programming languages and programming tools that I have used to study how we can support social scientists programming needs. Non-programmers use Helena to collect datasets from the web and, more broadly, to develop custom web automation programs. It brings together the following key innovations: (i) The Helena programming environment uses Programming by Demonstration (PBD); it takes a single-shot learning approach, synthesizing scripts based on recording a single user demonstration. (ii) Helena’s adaptive replayer makes scripts robust to webpage redesigns and obfuscation, which enables longitudinal experiments. (iii) With novel language constructs, non-coders can conduct programming tasks usually limited to expert programmers - e.g., failure recovery, parallelization.

Christopher Galtenberg 2022-02-19 22:45:15

A stimulating thought in a stimulating thread https://twitter.com/wcrichton/status/1495166007022739456

🐦 Will Crichton: Taking a mathematical perspective often helps create new features. For instance, once you look at tuples as products, then you ask: what's 0, 1 and +? Thus an algebra is born.

Orion Reed 2022-02-19 23:13:33

This is a really great thread! I like the split he makes around existing hardware vs formal reasoning, I'd love to think and explore what else fits nicely into that ontology. I suspect there's a lot.

Andrew F 2022-02-20 00:08:31

You could summarize a large part of my goals as trying to unify those two branches.

Konrad Hinsen 2022-02-20 08:20:16

A very good thread, thanks for the pointer. I couldn't stop myself from jumping in 😉 I have been thinking in this space as well for a long time, though contrary to Andrew F, I am not out to unify the two branches, but to exploit their complementarity. One reason is that I see the two branches as much more fundamental than their manfestation in software. For example, the experiment/theory distinction in science is very similar. Experiment explores the "existing hardware" of nature, whereas theory builds model to reason about nature.

Konrad Hinsen 2022-02-20 08:21:39

In my own application domain of computational science, I have been arguing for years (see https://doi.org/10.12688/f1000research.3978.2) that we are over-emphasizing the Turing perspective and neglecting the Church perspective. But we need both!

Konrad Hinsen 2022-02-20 08:22:34

Also relevant: processes vs. objects in mathematics https://doi.org/10.1007/BF00302715

Cole Lawrence 2022-02-20 17:51:07

Anyone seen many other active projects like this two-way synchronization protocol?

https://docs.atomicdata.dev/atomic-data-overview.html

We’re working on something similar called the Block Protocol, and I’d love to see how others here would categorize these kinds of projects and the challenges of specification.

Cole Lawrence 2022-02-20 20:07:34

Chris Knott, yes! This looks highly relevant, and from great authors

Kartik Agaram 2022-02-20 18:46:11
Ivan Reese 2022-02-20 19:36:04

I feel like some context is missing. What's interesting here?

Kartik Agaram 2022-02-20 19:37:11

I lack context since I've never used Blender. But it seemed quite tantalizing as a visual way to program a computer. That already exists.