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

I've done a lot of CFFI with Python for this kind of testing in the past. But nowadays I'm also looking at Zig for this.


I'd be very interested if you could elaborate a little on what tools and how you applied formal methods on that old code?


Not to mention that you need to find a product idea that you both are equally excited about.

Most of the times I've been approached, even though resonable ideas, haven't been projects that I've been interested in working on.


Yes. Unfortunately, I've only ever been approached with two ideas: "Facebook for Coupon Clipping" and "Stock Market for Small Business". I've been approached 5 times each for them, and asked to sign an NDA each time, but it's really only been two distinct ideas.


I am curious how anyone thinks "stock market for small business" is a viable idea? Did anyone who approched you do even the most basic due diligence first?


Indeed, they did not. I don't know if recent changes in SEC rules in regards to crowd funding alters anything, but at the time there was definitely no way to do it without running afoul of several regulations.

Plus it's just a bad idea. The sort of businesses they were always talking about (pizza shops, hair salons) are well-served by SBA and traditional business loans.


When the Swish service launched (2012) it was only consumer-to-consumer and no fees. Last year they added businesses and charge similarly to credit cards, fee on the creditor side.


Yes, every time I use Haskell, I miss them. Purescript also have them. Row-polymorphism ftw.


I changed from the ternary representation to the function, because I didn't think the generated code was very readable. In hindsight I'm not sure it's that much improvement. From a performance view it's probably worse off.


Rule 1: Do not make assumptions about JavaScript performance.


The Erlang Vm (BEAM), is another one at least.


It doesn't actually implement concurrent GC, although what it does implement is far simpler and has a similar effect (low latencies) as concurrent GC.

Each Erlang process has a separate heap that is collected independently; because the process heap is usually small a stop-the-process collection does not take much time.

The downside is that sending messages between processes requires copying all the data that is sent between process heaps.


The code examples doesn't use Jane Streets Core as the primary standard library. If you do, for example by adding `open Core.Std` to your .ocamlinit, you'll get the behaviour you're describing.

It is probably a good idea to use Core, but for this introduction I wanted as little requirements as possible.

edit: spelling


Right. Since you mention the installation instructions from Real World OCaml and the examples in the book need you to use Core, it is likely that beginners would experience these issues.


That's a good point. I'll add a note to explicitly say that the examples doesn't use Core.


Richard Bird, Philip Wadler - Introduction to Functional Programming http://www.amazon.com/Introduction-Functional-Programming-In...

Richard Bird - Pearls of Functional Algorithm Design http://www.amazon.com/Pearls-Functional-Algorithm-Design-Ric...

Christian Queinnec - Lisp in Small Pieces http://www.amazon.com/Lisp-Small-Pieces-Christian-Queinnec/d...



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

Search: