gosubpl - Hackdot

Re:Medieval Price List on Sunday December 01, 2019 @05:38PM (#21678286)

  Wine:
    Best Gascon in London         4d/gallon   1331        [2]     194
    Best Rhenish in London        8d/gallon     "          "       "

This is reversed now, German Riesling much cheaper than Bordeaux.

Re:Local-first software: you own your data, in spite of the cloud on Wednesday November 20, 2019 @02:08AM (#21581716)

Things are happening in that space already! I work at Actyx and we have a production ready stack for local-first real serverless (peer-to-peer) applications. Please take a look at https://actyx.com/ .

Re:Ask HN: Who is hiring? (February 2019) on Friday February 01, 2019 @03:12PM (#19058021)

Factory software is at the core of value creation, it is crucial to our society. Creating factory software is exceedingly difficult. Actyx is solving this problem. Our platform ActyxOS—based on a peer-to-peer architecture with no central nor on-site servers—allows developers to easily build and run powerful data-driven applications. This helps factories answer questions, reduce waste, and increase performance. Over the last 2.5 years Actyx has grown to a team of 25 absolutely outstanding people, raised over 4 million EUR and was installed in multiple factories.

To help fuel growth of ActyxOS we are looking to hire for multiple open positions in the following roles to join the 8-strong Pan-European distributed development team:

1) Distributed Systems Engineer - https://careers.actyx.io/o/distributed-systems-engineer

2) Experienced Distributed Systems Engineer - https://careers.actyx.io/o/experienced-distributed-systems-e...

We seek an outstanding candidate, who is highly driven, smart, confident, and gritty. Our perfect match is hungry to learn and enjoys working in fast-paced environments.

We are looking for candidates located within +/- 1 hour from CET/CEST (Berlin) time zone.

Please apply using the links above.

Re:Ask HN: Who is hiring? (January 2019) on Wednesday January 02, 2019 @12:39PM (#18808087)

Factory software is at the core of value creation, it is crucial to our society. Creating factory software is exceedingly difficult. Actyx is solving this problem. Our platform ActyxOS—based on a peer-to-peer architecture with no central nor on-site servers—allows developers to easily build and run powerful data-driven applications. This helps factories answer questions, reduce waste, and increase performance. Over the last 2.5 years Actyx has grown to a team of 25 absolutely outstanding people, raised over 4 million EUR and was installed in multiple factories.

To help fuel growth of ActyxOS we are looking to hire for multiple open positions in the following roles to join the 8-strong Pan-European distributed development team:

1) Distributed Systems Engineer - https://careers.actyx.io/o/distributed-systems-engineer

2) Experienced Distributed Systems Engineer - https://careers.actyx.io/o/experienced-distributed-systems-e...

We seek an outstanding candidate, who is highly driven, smart, confident, and gritty. Our perfect match is hungry to learn and enjoys working in fast-paced environments.

We are looking for candidates located within +/- 1 hour from CET/CEST (Berlin) time zone.

Please apply using the links above.

Re: on Tuesday January 01, 2019 @12:47PM (#18801233)

Factory software is at the core of value creation, it is crucial to our society. Creating factory software is exceedingly difficult. Actyx is solving this problem. Our platform ActyxOS—based on a peer-to-peer architecture with no central nor on-site servers—allows developers to easily build and run powerful data-driven applications. This helps factories answer questions, reduce waste, and increase performance. Over the last 2.5 years Actyx has grown to a team of 25 absolutely outstanding people, raised over 4 million EUR and was installed in multiple factories.

To help fuel growth of ActyxOS we are looking to hire for multiple open positions in the following roles to join the 8-strong Pan-European distributed development team:

1) Distributed Systems Engineer - https://careers.actyx.io/o/distributed-systems-engineer

2) Experienced Distributed Systems Engineer - https://careers.actyx.io/o/experienced-distributed-systems-e...

We seek an outstanding candidate, who is highly driven, smart, confident, and gritty. Our perfect match is hungry to learn and enjoys working in fast-paced environments.

We are looking for candidates located within +/- 1 hour from CET/CEST (Berlin) time zone.

Please apply using the links above.

Re:The future of AutoCAD on Wednesday May 09, 2018 @02:58PM (#17032775)

What about Intellicad (https://www.intellicad.org/ )? It seems to be pretty popular among engineers. It reads DWG/DXF (AutoCad format) pretty well. The software itself goes by various names, because Intellicad itself is a consortium. For a nominal fee, you get access to the codebase and can release your own version with your own brand. The thing is shared source, so as a consortium member you need to contribute your changes to the core back to the shared codebase. However this is closed-source.

Re:Introduction to Functional Programming (1988) [pdf] on Wednesday February 28, 2018 @09:30AM (#16483178)

Edited. There is Introduction to Functional Programming using Haskell by one of the authors if you'd rather have examples in a particular programming language.

Re:Why Discrete Math Is Important on Tuesday January 23, 2018 @07:01AM (#16212877)

Nice thing about "continuous" math is that we have so many "standardised" tools in its toolbox, contrasted with "ad-hoc-edness" of discrete math. Hence interesting is solving discrete problems with "continuous" tools - like e.g. http://ac.cs.princeton.edu/home/

Re:Paxos in 25 Lines on Wednesday March 22, 2017 @01:15AM (#13928625)

You are right: https://blog.acolyer.org/2016/09/27/flexible-paxos-quorum-in... There is also sample code and TLA+ proofs: https://github.com/fpaxos/fpaxos-tlaplus

Re:Paxos in 25 Lines on Wednesday March 22, 2017 @12:53AM (#13928549)

For me this shows the difference between theoretical setting and what you would want to do in practice. I have been following 6.824 (where this is sourced from), to learn something about distributed systems programming and it was great fun to shed a lot of figurative sweat to convert those 26 (actually) lines into working "production" code. Hundreds lines of code, because in real-life we have packet loss, network partitions, etc. But the pseudo-code in the link itself is correct, however, it doesn't tell the whole story.

Now I am repeating that experience, as Akka project contributor ( http://akka.io/news/2017/03/17/akka-2.5.0-RC1-released.html ) on getting delta-CRDTs into Akka. And again - what was a few lines of pseudo-code in the original paper, or even tens of lines of real code but in some ideal setting ( https://github.com/CBaquero/delta-enabled-crdts ) is becoming literally thousands lines of "production grade" code.

Finally - I wholeheartedly recommend the 6.824 course to anyone interested in distributed systems. Even if you don't like strong consistency, you'll learn a lot about testing and debugging distributed systems, the knowledge you can re-use later in your career.

Re:Debriefing Facilitation Guide [pdf] on Monday January 02, 2017 @03:00AM (#13299709)

Loved the links to Sidney Dekker books: http://sidneydekker.com/books/ and Charles Perrow's excellent 'Normal Accidents' http://press.princeton.edu/titles/6596.html You might also want to read Diane Vaughn's 'Challenger Launch Decision' http://press.uchicago.edu/ucp/books/book/chicago/C/bo2278192... and John Gall's 'Systemantics' https://en.wikipedia.org/wiki/Systemantics ('Complicated systems produce unexpected outcomes')

Re:Unexpected sources of bias in artificial intelligence on Monday December 12, 2016 @08:50AM (#13157991)

Obligatory: go to http://www.catb.org/jargon/html/ and search for "Sussman attains enlightenment"

Re:Site requests bank logins for online purchases on Thursday November 17, 2016 @03:20AM (#12975482)

Yes, I have noticed. But thanks for the update again :) I think future is here, just it is not evenly distributed. But I really laugh when talking to someone who has just heard of this new exciting London or SV Fintech startup and learns that in some countries this is already forgotten history and we moved forward since :) I think Poland is more striking for them than The Netherlands as people are used to thinking about old Comm block countries as a bit backwards ;)

Re:Site requests bank logins for online purchases on Thursday November 17, 2016 @03:10AM (#12975425)

Solved problem in Poland. Actually I usually laugh when I hear about "FinTech" startups struggling to deliver technology that is history here. mBank has been offering "instant" money transfer for purchases for the last 15 years, now there are more then a couple of vendors aggregating almost every bank that there is on the market. Real time transfers have been available via BlueMedia (private company) for like 7 years and via central banking transfer hub for over a year. You can pay with your mobile via a couple of providers, including said central banking transfer hub (Blik payments). And standard bank transfers (take around 8h to deliver - depending on incoming and outgoing transfer sessions timing - there are 3 sessions a day) are free - so many people are used to pay via standard bank transfer and there are many solutions for merchants that do automated account scraping to match incoming transfers. Poland - the land of FinTech future. Downside - if you are Financial IT provider - you can hardly get anything sold here - everything that comes from outside is history here.

Re:How to contribute to an open source project on GitHub on Saturday November 05, 2016 @02:36PM (#12881175)

https://xkcd.com/386/

Disclaimer: I am an akka and akka-http community contributor. I don't know how this works for other projects.

But I don't think the process is as painful as you describe in the akka world. My experiences are quite to the contrary. The community here is warm and welcoming. But, please look at this from the other side. Would you use the software in your mission critical application if the project was accepting quickly contributions from random strangers on the internets?

Please, find an issue marked as community in https://github.com/akka/akka/issues or https://github.com/akka/akka-http/issues and give it a go. How to solve the "credentialize yourself" problem? Be known to the commiters by first working on a docs issue.

Re:Apple says no fun allowed on the Touch Bar on Monday October 31, 2016 @05:10PM (#12840956)

"obsessive with thinness"? new MacBookPro - 14.9 mm MacBook - 13.0 mm Asus UX305 - 12.3 mm Samsung Series 9 900X3 - 13.0 mm

I don't think we can call that obsession. And please note that both Asus and Samsung have keyboards with around 2mm travel - laptop standard.

Re:Rage Against the Finite-State Machines on Sunday April 03, 2016 @08:05AM (#11415834)

Features, yes, provided one has time to actually think of the protocol and express it in terms of some formalism (CSP, TLA+) to at least informally sketch a proof of major global properties. Or do some extensive testing (https://aphyr.com/posts/291-jepsen-zookeeper https://aphyr.com/posts/316-jepsen-etcd-and-consul ).

Re:Rage Against the Finite-State Machines on Sunday April 03, 2016 @07:50AM (#11415802)

The biggest problem with FSMs (or generally actors, or more generally distributed systems, microservices, etc.) is that you get emergent complex global behaviours from seemingly simple actor rules. There are two excellent talks on that by Torben Hoffman from Erlang solutions: http://www.infoq.com/presentations/erlang-async-protocols and http://www.slideshare.net/torbenhoffmann90/2014-12ndcthinkin... . Also, worth noting, Paxos pseudo-code is only 25 lines of code for all participating actors: http://nil.csail.mit.edu/6.824/2015/notes/paxos-code.html but it took quite a while for the community to verify that this code is actually correct for all cases.