Hacker Newsnew | past | comments | ask | show | jobs | submit | cyberco's commentslogin

Ace and Gherkin are related in the sense that both are ment to express program behaviour in a language that domain experts can understand. Ace is more geared towards expressing contracts. The language is designed in cooperation with lawyers to resemble traditional contracts as much as possible. Ace must have the property that one very important aspect of contracts, the handling of disagreements (or exceptions as programmers call them) can be clearly expressed.

There are other differences in approach. In Gherkin, a programmer needs to implement the test for each step manually. This has a risk of introducing bugs. To reduce that risk, Ace translates to an ethereum contract as well as a test suite.

It is not always possible to generate a complete contract. In that case a programmer has to fill in the operational details.

However, it is always possible to generate an executable test suite. This guarantees that an implementation can always be checked to conform to the contract as specified in ACE.

So any "error" (i.e. disagreement between the contract parties) when executing the contract can be traced back to: - an "error" in the ace contract (the parties agreeing to the contract should decide what to do) - an error in the ace implementation (ace has to be open source to minimise the risks here, just like the bitcoin an ethereum software)


INTERN: Software engineer at Paylogic (Groningen, The Netherlands)

Job Description:

As a Software engineer you will be working on many technical challenges of a fast growing, highly available online ticketing system in a international (English speaking) team of over 15 friendly Python experts. Paylogic has a professional software development environment to ensure maximum quality and a minimum of distraction. Paylogic strives to give software engineers as much freedom and responsibility as possible. Salary is in line with market and experience. Python is Paylogic's tool of choice and it is used for everything from the ORM database layer (SQLAlchemy) to DevOp scripts to managing large clusters in the cloud (AWS), and for web apps (Django, Flask) to continuous integration tools (Jenkins).

Requirements

You are an experienced, passionate and professional software developer with a hacker mind-set and a love for open source and Python. You are pragmatic and positive and expect the same from your environment. You have the social and technical skills to inspire others. You have studied computer science or something similar. A working permit for The Netherlands is not required but would be handy. It would be great if you have experience with highly available and highly scalable web applications, database techniques or cloud computing.

About Paylogic

Paylogic is a successful, international ticketing company from The Netherlands. Her service has to meet the highest standards regarding scalability, availability and security. The technological standard within the company is high. As is the humor standard. The development department is situated in an office at the center Groningen, one of the liveliest towns in The Netherlands. World class science, bars and culture right next door. Every year in May Paylogic organizes pygrunn (.nl), a renowned high-tech developer conference about/for Python and its friends.

Contact: Harmen Zijlstra - jobs@paylogic.nl http://corporate.paylogic.nl/en/jobs/


If you like working with (advanced) Python in a wonderful city (Groningen, Netherlands) and with a team of great experts you should have a look here:

http://www.python.org/community/jobs/#paylogic-nederland-bv-...


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: