HN user

lajarre

2 karma
Posts3
Comments29
View on HN

i often hear this frustration, been hit by it first-hand and am just recovering

my keys to overcoming this frustration:

* capture (focus on) the joy of doing math; this doesn't get better the more you know (i'd argue, to the contrary); a child figuring out that 2+2 = 3+1 is as profoundly moved as Tao doing his most advanced ones

* be responsible and figure out what parts of the maths journey have lastingly influenced your way of thinking about the world; if you trust math is really beautiful or "it's the language of the universe" or something, then it _must_ have an influence on how you see things; not because of the theorems, but because of the practice; isolate this, nurture it

The author seems to be falling for a kind of a fallacy.

First, I can’t believe the author can call the metaverse bs because it would be nonexistent or would soon die: it is already nascent and seems to be growing by the mere fact people (some of them influential) are pushing for it, as he points out himself.

Consequently, we are left with an ethical viewpoint: internet of text has more virtues than vr or blockchain, games are more creative (thus, beautiful?) if closed worlds, etc. Allow me to call is the “down to earth” viewpoint. I should also mention the calling out on private interests driving the metaverse developments, but allow me to stay concise.

I can definitely relate to it, but, in some sense, this criticism sounds like a lack of respect for future humans who might feel like this metaverse thing is actually improving their lives. It’s a bit like criticizing a religion in front of a believer: that’s rude and often not conclusive.

At that point or the discourse (as a better conclusion to the article), I’d be more interested by reading some ideas to concretely promote a different vision for the future of the internet and games. What else can we suggest, as programmers, designers, … that could be convincing to people to follow the “down to earth” path?

mon-entreprise.fr | Remote | Part-time, freelance, Typescript/React

mon-entreprise.fr is looking for a part-time Typescript/React freelance developer.

Mon-entreprise is the official French assistant for the entrepreneur, a French public service (coming out of Betagouv).

It's also 100% open-source, 3 millions simulations launched to date, 983 rules translated from law, 1 in-house DSL for editing rules: Publicodes.

The team speaks French, so this is a requirement as well :)

https://beta.gouv.fr/recrutement/2021/05/25/mon-entreprise-f...

I can't get my location list to fill up. `:lex system("ls")` then `:llist` works (files are listed). But after `:lex system("ag something")`, `:llist` doesn't show anything.

Thanks for the idea. For me that's not an optimal solution for 2 reasons:

* I care about using the same tools and having a consistent environment. Vagrant (for example) is awesome for building when you want to mirror a production machine, but not that great for other use cases. In my case, I would have my Mac shell for everyday use + a vagrant-based Linux shell for my software projects, so that makes two different OSes to play with… If my project doesn't require that, I would prefer not increase my "OS contact surface" :)

* I only want to use Firefox if possible

Legalstart | Paris, France | Full-time, Onsite, Visa, https://legalstart.fr Python/Django Rest Framework, React, Elm, Styled Components, Storybook, PostgreSQL, RabbitMQ, Docker, AWS

Based in Paris, Legalstart is a leader in the European legal-tech space that aims at profoundly simplifying legal services, starting with making access to justice greatly easier, especially for businesses creators. Our flagship product is simple incorporation in France.

Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth. In this context, we are looking for creative developers to help us extend our product base and grow internationally.

At Legalstart, we strive to improve our technical skills, that means challenging the status quo (we shipped a small blockchain-based product in production), continuously improving our practices (we started using Elm!), staying close to the local community (hosting meetups, conferences)… Also, Legalstart engineers develop a strong ownership of the product itself, and we commit their personal growth.

Apply there if you feel up to the experience!

* Lead developer: http://smrtr.io/WTSz

* creative front-end developer: http://smrtr.io/4NUKgA

* UI/UX designer: http://smrtr.io/V4xy

Legalstart | Paris, France | Full-time, Onsite, Visa, https://legalstart.fr Python/Django Rest Framework, React, Elm, Styled Components, Storybook, PostgreSQL, RabbitMQ, Docker, AWS

Based in Paris, Legalstart is a leader in the European legal-tech space that aims at profoundly simplifying legal services, starting with making access to justice greatly easier, especially for businesses creators. Our flagship product is simple incorporation in France.

Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth. In this context, we are looking for creative developers to help us extend our product base and grow internationally.

At Legalstart, we strive to improve our technical skills, that means challenging the status quo (we shipped a small blockchain-based product in production), continuously improving our practices (we started using Elm!), staying close to the local community (hosting meetups, conferences)… Also, Legalstart engineers develop a strong ownership of the product itself, and we commit their personal growth.

Apply there if you feel up to the experience!

* creative front-end developer: http://smrtr.io/4NUKgA

* Lead developer: http://smrtr.io/WTSz

* Python engineer junior-to-medium: http://smrtr.io/WTSz (you can apply in the same slot as Lead developer)

* UI/UX: http://smrtr.io/V4xy

Legalstart | Creative Front-end Developer | Paris, France | Full-time, Onsite, Visa, https://legalstart.fr Python/Django Rest Framework, React, Elm, Styled Components, PostgreSQL, RabbitMQ, Docker, AWS

Based in Paris, Legalstart is a leader in the European legal-tech space that aims at profoundly simplifying legal services, starting with making access to justice greatly easier, especially for businesses creators. Our flagship product is simple incorporation in France.

Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth. In this context, we are looking for creative developers to help us extend our product base and grow internationally.

At Legalstart, we strive to improve our technical skills, that means challenging the status quo (we shipped a small blockchain-based product in production), continuously improving our practices (we introduced Haskell and Elm in our codebase), staying close to the local community (hosting meetups, conferences)… Also, Legalstart engineers develop a strong ownership of the product itself, and we commit their personal growth.

Apply there if you feel up to the experience!

* creative front-end developer: http://smrtr.io/4NUKgA

Legalstart | Full-stack Software Engineer | Paris, France | Full-time, Onsite, Visa, https://legalstart.fr

Python/Django Rest Framework, React, PostgreSQL, RabbitMQ, Docker, AWS

Based in Paris, Legalstart is a leader in the European legal-tech space that aims at profoundly simplifying legal services, starting with making access to justice greatly easier, especially for businesses creators. Our flagship product is simple incorporation in France.

Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth. In this context, we are looking for creative developers to help us extend our product base and grow internationally.

At Legalstart, we strive to improve our technical skills, that means challenging the status quo (we shipped a small blockchain-based product in production), continuously improving our practices (we introduced Haskell and ReasonML in our codebase), staying close to the local community (hosting meetups, conferences)… Also, Legalstart engineers develop a strong ownership of the product itself, and we commit their personal growth.

Apply there if you feel up to the experience!

* front-end developer: http://smrtr.io/4NUKgA

* Python developer: http://smrtr.io/ao_QDQ

Legalstart | Full-stack Software Engineer | Paris, France | Full-time, Onsite, Visa, https://legalstart.fr Python/Django Rest Framework, React, PostgreSQL, RabbitMQ, Docker, AWS

Based in Paris, Legalstart is a leader in the European legal-tech space that aims at profoundly simplifying legal services, starting with making access to justice greatly easier, especially for businesses creators. Our flagship product is simple incorporation in France.

Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth. In this context, we are looking for creative developers to help us extend our product base and grow internationally.

At Legalstart, we strive to improve our technical skills, that means challenging the status quo (we shipped a small blockchain-based product in production), continuously improving our practices (we introduced Haskell and ReasonML in our codebase), staying close to the local community (hosting meetups, conferences)… Also, Legalstart engineers develop a strong ownership of the product itself, and we commit their personal growth.

Apply there if you feel up to the experience!

* front-end developer: http://smrtr.io/4NUKgA

* Python developer: http://smrtr.io/ao_QDQ

About formalisation of laws in code (read: "write down laws as code"), I wonder how far this can go (eg. in a 10 or 20-years timespan). Any idea what are the most suitable parts of law (notably public) where to apply this principle? And how far can companies/startups go without the help of governments in this venture?

Another note on "smart contracts" in the first sense, or as I would put it, trusted computation as way of executing multi-party agreements. This approach already in application in electronic markets for example, and public blockchains seem to be a way to bring this to the masses. But I think it's still hard to say how this can interplay with "wet" decisions (involving a judge or an arbitrator). That's probably one of the interesting questions in this domain.

Legalstart | Full-stack Software Engineer | Paris, France | Full-time, Onsite, Visa, https://legalstart.fr Python/Django Rest Framework, React, PostgreSQL, RabbitMQ, Docker, AWS

Based in Paris, Legalstart is a leader in the European legal-tech space that aims at profoundly simplifying legal services, starting with making access to justice greatly easier, especially for businesses creators.

Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth. In this context, we are looking for highly motivated developers to help us extend our product base and grow internationally.

At Legalstart, we strive to improve our technical skills, that means challenging the status quo (we shipped a small blockchain-based product in production), continuously improving our practices (we introduced Haskell and ReasonML in our codebase), staying close to the local community (hosting meetups, conferences)… Also, Legalstart engineers develop a strong ownership of the product itself, and we really value their personal growth.

Apply there if you feel up to the experience!

* front-end developer: http://smrtr.io/4NUKgA

* Python developer: http://smrtr.io/ao_QDQ

Legalstart | Full-stack Software Engineer | Paris, France | Full-time, Onsite, Visa, https://legalstart.fr

Python/Django Rest Framework, React, PostgreSQL, RabbitMQ, Docker, AWS

Based in Paris, Legalstart is a leader in the European legal-tech space that aims at revolutionising legal services, starting with making access to justice greatly easier, especially for businesses creators.

Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth. In this context, we are looking for highly motivated developers to help us extend our product base and grow internationally.

At Legalstart, we strive to improve our technical skills, that means challenging the status quo (we shipped a small blockchain-based product in production), continuously improving our practices (we introduced Haskell in our codebase for algorithms prototyping), staying close to the local community (hosting meetups, conferences)… Also, Legalstart engineers develop a strong ownership of the product itself, and we really value their personal growth.

Apply there if you feel up to the experience!

* front-end developer: http://smrtr.io/4NUKgA

* Python developer: http://smrtr.io/ao_QDQ

Legalstart | Full-stack Software Engineer | Paris, France | Full-time, Onsite, Visa, https://legalstart.fr

Python/Django Rest Framework, React, PostgreSQL, RabbitMQ, Docker, AWS

Based in Paris, Legalstart is a leader in the European legal-tech space that aims at profoundly simplifying legal services, starting with making access to justice greatly easier, especially for businesses creators.

Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth. In this context, we are looking for highly motivated developers to help us extend our product base and grow internationally.

At Legalstart, we strive to improve our technical skills, that means challenging the status quo (we shipped a small blockchain-based product in production), continuously improving our practices (we introduced Haskell and ReasonML in our codebase), staying close to the local community (hosting meetups, conferences)… Also, Legalstart engineers develop a strong ownership of the product itself, and we really value their personal growth.

Apply there if you feel up to the experience!

* front-end developer: http://smrtr.io/4NUKgA

* Python developer: http://smrtr.io/ao_QDQ

Legalstart | Full-stack Software Engineer | Paris, France | Full-time, Onsite, Visa, https://legalstart.fr

Python/Django Rest Framework, React, PostgreSQL, RabbitMQ, Docker, AWS

Based in Paris, Legalstart is a leader in the European legal-tech space that aims at revolutionising legal services, starting with making access to justice greatly easier, especially for businesses creators.

Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth. In this context, we are looking for highly motivated developers to help us extend our product base and grow internationally.

At Legalstart, we strive to improve our technical skills, that means challenging the status quo (we shipped a small blockchain-based product in production), continuously improving our practices (we introduced Haskell in our codebase for algorithms prototyping), staying close to the local community (hosting meetups, conferences)… Also, Legalstart engineers develop a strong ownership of the product itself, and we really value their personal growth.

Apply there if you feel up to the experience!

* front-end developer: http://smrtr.io/4NUKgA

* full-stack developer: http://smrtr.io/ao_QDQ

Legalstart | Full-stack Software Engineer | Paris, France | Full-time, Onsite, Visa, https://legalstart.fr

Python/Django Rest Framework, React, PostgreSQL, RabbitMQ, Docker, AWS

Based in Paris, Legalstart is a leader in the European legal-tech space that aims at revolutionising legal services, starting with making access to justice greatly easier, especially for businesses creators.

Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth. In this context, we are looking for highly motivated developers to help us extend our product base and grow internationally.

At Legalstart, we strive to improve our technical skills, that means challenging the status quo (we shipped a small blockchain-based product in production), continuously improving our practices (we introduced Haskell in our codebase for algorithms prototyping), staying close to the local community (hosting meetups, conferences)… Also, Legalstart engineers develop a strong ownership of the product itself, and we really value their personal growth.

Apply there if you feel up to the experience!

* front-end developer: http://smrtr.io/4NUKgA

* full-stack developer: http://smrtr.io/ao_QDQ

Legalstart | Full-stack Software Engineer | Paris, France | Full-time, Onsite, Visa, https://legalstart.fr Python/Django Rest Framework, React, PostgreSQL, RabbitMQ, Docker, AWS

Based in Paris, Legalstart is a leader in the European legal-tech space that aims at revolutionising legal services, starting with making access to justice greatly easier, especially for businesses creators.

Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth. In this context, we are looking for highly motivated developers to help us extend our product base and grow internationally.

At Legalstart, we strive to improve our technical skills, that means challenging the status quo (we shipped a small blockchain-based product in production), continuously improving our practices (we introduced Haskell in our codebase for algorithms prototyping), staying close to the local community (hosting meetups, conferences)… Also, Legalstart engineers develop a strong ownership of the product itself, and we really value their personal growth.

Apply there if you feel up to the experience!

* front-end developer: http://smrtr.io/4NUKgA

* full-stack developer: http://smrtr.io/ao_QDQ

Legalstart | Full-stack Software Engineer | Paris, France | Full-time, Onsite, Visa, https://legalstart.fr Python/Django Rest Framework, React, PostgreSQL, RabbitMQ, Docker, AWS

Based in Paris, Legalstart is a leader in the European legal-tech space that aims at revolutionising legal services, starting with making access to justice greatly easier, especially for businesses creators.

Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth. In this context, we are looking for highly motivated developers to help us extend our product base and grow internationally.

At Legalstart, we strive to improve our technical skills, that means challenging the status quo (we shipped a small blockchain-based product in production), continuously improving our practices (we introduced Haskell in our codebase for algorithms prototyping), staying close to the local community (hosting meetups, conferences)… Also, Legalstart engineers develop a strong ownership of the product itself, and we really value their personal growth.

Apply there if you feel up to the experience!

- front-end developer: http://smrtr.io/4NUKgA - full-stack developer: http://smrtr.io/ao_QDQ

Legalstart | Blockchain App Engineer (Internship) | Paris, France | ONSITE, https://legalstart.fr

Solidiy/Ethereum, Bitcoin, Hyperledger Python, Django Rest Framework, React/Redux, PostgreSQL, RabbitMQ, Docker, AWS

Legalstart is revolutionising legal services for SMBs in France thanks to an online application that allows them to manage legal documents and paperwork in an automated fashion.

We are looking for a young developer highly motivated by blockchain technologies to help us build related services.

More details here: https://goo.gl/2cCj8i You can apply directly at jobs-tech [at] legalstart.fr

Note: we’re open for other internships and senior engineering jobs, so don’t hesitate to apply for that as well!

Legalstart | Full-stack Software Engineer | Paris, France | ONSITE, VISA, https://legalstart.fr

Python, Django Rest Framework, React/Redux, PostgreSQL, RabbitMQ, Docker, AWS

Experience expected: Senior, Lead

Based in Paris, Legalstart is often referred to as the French Uber of legal services. Legalstart is revolutionizing legal services for SMBs thanks to an online application that allows them to manage legal documents and paperwork in an automated fashion. Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth.

We are looking for an ambitious software engineer to join our development team, who would bring strong technical skills at all levels of our stack, especially on the front-end, and carry the rigor of execution and passion for building a great product.

At Legalstart, we strive to improve our technical skills by challenging the status quo, staying up to date with cutting-edge technologies, incorporating best practices in the team, and participating in meetups/conferences. In addition to technical skills, we will expect a strong ownership of the features developed, and the product in general.

Please email jobs-tech@legalstart.fr if you feel up to the challenge!

Legalstart | Full-stack Software Engineer | Paris, France | ONSITE, VISA, https://legalstart.fr

Python/Django Rest Framework, React/Redux, PostgreSQL, RabbitMQ, Docker, AWS

Experience expected: Junior (strong on front-end), Senior, Lead

Based in Paris, Legalstart is often referred to as the French Uber of legal services. Legalstart is revolutionizing legal services for SMBs thanks to an online application that allows them to manage legal documents and paperwork in an automated fashion. Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth.

We are looking for an ambitious software engineer to join our development team, who would bring strong technical skills at all levels of our stack, especially on the front-end, and carry the rigor of execution and passion for building a great product.

At Legalstart, we strive to improve our technical skills by challenging the status quo, staying up to date with cutting-edge technologies, incorporating best practices in the team, and participating in meetups/conferences. In addition to technical skills, we will expect a strong ownership of the features developed, and the product in general.

Please email jobs-tech@legalstart.fr if you feel up to the challenge!

Legalstart | Full-stack Software Engineer | Paris, France | Full-time, Onsite, Visa, https://legalstart.fr

Python/Django Rest Framework, React, PostgreSQL, RabbitMQ, Docker, AWS

Based in Paris, Legalstart is often referred to as the French Uber of legal services. Legastart is revolutionizing legal services for SMBs thanks to an online application that allows them to manage legal documents and paperwork in an automated fashion. Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth.

We are looking for an ambitious software engineer to join our development team, who would bring strong technical skills at all levels of our stack, especially on the front-end, and carries great rigor of execution and passion for building a great product.

At Legalstart, we strive to improve our technical skills, that means challenging the status quo, staying up to date with latest best practices, attending to meetups / conferences… Aside from technical skills, we will expect a strong ownership ownership of the features developed, and the product in general.

Please email jobs-tech@legalstart.fr if you feel up to the challenge!

the 51% can take control of the chain

This argument seems fallacious and off-the-point in this context.

Isn't the goal of a contract to precisely bypass the 51% control thing (a distributed consensus rule, needed for mining), by defining its own explicit rules?

Democracy; it sucks, but it sucks less than everything else

More profoundly, isn't the essence of such systems to go beyond democracy, and allow for new governance paradigms?

It's written:

o4 c++++-+-+-+

The above is a really obtuse and unnecessary way to represent an E (a.k.a. a C-sharp-sharp-sharp-sharp-flat-sharp-flat-sharp-flat-sharp) in Alda.

This is equivalent to c++++, c 4-sharps. This is NOT e, as far as I know.

See https://fr.wikipedia.org/wiki/Comma_syntonique and how semi-tones are built.

I'm thus wondering how things are built behind the scenes..