| 5 Oct 2021 |
 claude | In reply to @jryans:matrix.org
On the side of software to process taxes though, this reminds me of the French system which uses formal languages and compiler techniques: https://arxiv.org/abs/2011.07966 Indeed very interesting! The need for intuit/“excel1040” was generated by the accidental invention of laws before prolog, haha | 15:18:14 |
|  contrapunctus joined the room. | 17:01:30 |
| contrapunctus left the room. | 21:51:22 |
| contrapunctus joined the room. | 23:25:03 |
| contrapunctus left the room. | 23:30:44 |
| contrapunctus joined the room. | 23:30:52 |
| 6 Oct 2021 |
 khinsen | In reply to @khinsen:matrix.org
Yes, that's a very interesting project. It's not aimed at end users, but at tax professionals. The long-term goal is to write tax laws directly in executable form, both for efficiency and for transparency. BTW, there's a nice talk about Catala (the language developed for tax law) from ICFP 2021: https://www.youtube.com/watch?v=jmHwAh_-IOU&list=PLyrlk8Xaylp5ed_Yhg2oTdVhrtVohVaoa&index=9 | 08:54:43 |
| claude | On the subject of law and code, my main referent is Meng Weng (https://twitter.com/mengwong). He's published a pretty extensive and recent review of the field here: https://ink.library.smu.edu.sg/sol_research/3093/ (free) | 09:42:46 |
| claude | * On the subject of law and code, my main referent is Meng Weng (https://twitter.com/mengwong). He's published a pretty extensive and recent review of the field here: https://ink.library.smu.edu.sg/sol_research/3093/ (free) | 09:45:01 |
| contrapunctus left the room. | 20:43:29 |
| contrapunctus joined the room. | 20:52:02 |
| 7 Oct 2021 |
| contrapunctus left the room. | 01:53:10 |
| contrapunctus joined the room. | 01:53:26 |
|  dfoolz joined the room. | 02:14:21 |
| 10 Oct 2021 |
 Github [@jryans:matrix.org] | [malleable-systems/malleable.systems] jryans opened issue #55: Add Petricek's "Popup from Hell" to catalog [open] - https://github.com/malleable-systems/malleable.systems/issues/55 | 01:07:28 |
| Github [@jryans:matrix.org] | [malleable-systems/malleable.systems] jryans edited issue #55: Add Petricek's "Pop-up from Hell" to catalog [open] - https://github.com/malleable-systems/malleable.systems/issues/55 | 01:14:46 |
 wehlutyk | Good evening all! I just came across https://decentraland.org/ , and not sure what to think about it. Does anyone have some informed comments to link towards? | 11:34:23 |
| wehlutyk | My initial impression is that basing a virtual world on a scarce resource which people must pay for looks a bit contradictory, to say the least.
To me it sounds very much like an on-the-surface decentralised project (as in, ownership of the parcels are on ethereum), but in practice very centralising space (parcels will rapidly be quite expensive, there is a DAO for more substantial changes to the space, but its scope seems quite limited), and above all like something pushed by the VR industry under the idea of the "metaverse".
But I feel like I should give it the benefit of the doubt until I find an explicit link to one of the oligarch tech corporations. So any comments welcome :) | 12:15:13 |
|  eordano joined the room. | 16:56:56 |
| eordano | Hey, I'm one of the founders of the project, and i generally lurk around here. I can confirm there is no link to the current tech oligarchy, and it really is an attempt at having a distributed virtual world run by its users. But not sure what's the link you made to malleable computing! We did tried to make it as extensible as possible but tbh we're a little more focused on getting other things right. The code is open source but it is quite hard to contribute right now (architecture is quite complex, we're working on that as well) and the content is being served by user-ran nodes that store all the current contents | 17:01:14 |
| eordano changed their display name from Esteban Ordano to eordano. | 19:57:04 |
| 11 Oct 2021 |
 desertdog | How does this compare to Mozilla Hubs? | 02:13:04 |
| eordano | The projects started at around the same time (2015). Decentraland loads multiple "scenes"/"rooms" that are limited in "space"/"rendering" and quite smaller than Hubs' rooms. When users roam through the world the client dynamically load the scenes that owners of parcels create. Users also have the ability to personalize the avatars they use with a set of items, some baked in and free, some created by other users. There are a bunch of limitations on triangles, textures and size for the assets that make up the 3d representation of these items to try to keep the rendering performant enough. It's a decentralized version of second life if you have played it. Hubs is more alike to a 3D zoom meeting. | 11:20:33 |
| claude | Interesting read on social networks: https://www.eugenewei.com/blog/2021/9/29/and-you-will-know-us-by-the-company-we-keep | 18:00:09 |
| 12 Oct 2021 |
| dfoolz left the room. | 10:04:00 |
| 13 Oct 2021 |
|  adam.h changed their display name from adam.holdnack to adam.h. | 19:25:01 |
| 14 Oct 2021 |
| dfoolz joined the room. | 01:16:35 |
| 18 Oct 2021 |
|  Joe Trellick joined the room. | 09:48:21 |
| 19 Oct 2021 |
|  @_oftc_jhweruyuw:matrix.org left the room. | 15:19:51 |
|  @_oftc_white5moke:matrix.org left the room. | 15:19:51 |
