Richard Eisenberg on Dependent Types in Haskell
9 August, 2017 ↬
Extending Haskell to support dependent types.
by Ray Grasso
Think of me as a web crawler with taste.
9 August, 2017 ↬
Extending Haskell to support dependent types.
9 August, 2017 ↬
Beautiful things.
8 August, 2017 ↬
Putting the science into computer science.
29 July, 2017 ↬
Cogent and clear advice.
28 July, 2017 ↬
Lamar Odom’s story.
14 July, 2017 ↬
Max Kreminski:
Monads are a solution to a specific problem: the problem of repetitive code. If you write enough code in a functional programming language, you start to notice that you’re writing a lot of suspiciously similar code to solve a bunch of superficially different problems. Wouldn’t it be nice if you could just write this code once and then reuse it, instead of rewriting it slightly differently every time? I’m omitting a lot of detail here, but this is effectively what monads allow you to do.
13 July, 2017 ↬
🎸
12 July, 2017 ↬
I used this to get edeliver to apply migrations in an Elixir umbrella app.
28 June, 2017 ↬
Just use this to format any Javascript you write.
27 June, 2017 ↬
Dave Copeland:
When a dangerous or difficult-to-undo operation must be performed, but it cannot be made idempotent without more context, use an Idempotency Key.
27 June, 2017 ↬
Eric Normand:
But there’s a deeper problem. I actually think ten lines of code is too big for an abstraction (Metz agrees). Ten lines of code that happen to be repeated are so unlikely to have any interesting properties, including being bug-free, reusable, and composable, that you should be very skeptical of being able to factor the whole thing out as common.
However, don’t despair! You can more often than not find lots of one-, two-, or three-line bits of code that are 1.) easy to name and 2.) reusable. If you break enough of those out, you may start to see some underlying structure to those repeated ten lines as they become replaced by your new, small abstractions.
24 June, 2017 ↬
In graphs.
20 June, 2017 ↬
UpGuard has discovered an open database containing information on what appear to be approximately 198 million American voters left misconfigured by a GOP analytics firm.
15 June, 2017 ↬
ASCII art editor for macOS. Great for adding diagrams alongside code.
10 June, 2017 ↬
A slick set of React UI components.
9 June, 2017 ↬
Lessons for leakers and journalists.
8 June, 2017 ↬
Printers drawing secret fingerprints.
6 June, 2017 ↬
Everything’s a fold.
5 June, 2017 ↬
Shows a distinct lack of crocodiles.
2 June, 2017 ↬
A map of pain.
1 June, 2017 ↬
Off the hook.
24 May, 2017 ↬
Ripper.
23 May, 2017 ↬
CellF is a neural synthesiser. Its “brain” is made of biological neural networks that grow in a Petri dish and controls in real time it’s “body” that is made of an array of analogue modular synthesizers that work in synergy with it and play with human musicians.
23 May, 2017 ↬
Watch stone carver Anna Rubincam as she goes from measuring a live person to a clay model to a finished stone portrait in three weeks.
18 May, 2017 ↬
Seeya Chris 😢
17 May, 2017 ↬
Some nuggets of gold in this.
16 May, 2017 ↬
Rails to React.
16 May, 2017 ↬
Brandur Leach:
It’s not that new technology should never be introduced, but it should be done with rational defensiveness, and with a critical eye in how it’ll fit into an evolving (and hopefully ever-improving) architecture.
It suggests improving increasing productive output by continually improving the efficiency of a system even while keeping input the same. I project this onto technology to mean building a stack that scales to more users and more activity while the people and infrastructure supporting it stay fixed.
16 May, 2017 ↬
Programming calendar time is hard.
16 May, 2017 ↬
I always enjoy the behind the scenes stories of comedians.
16 May, 2017 ↬
A look into some of the inspiration and decisions in the design of Elixir.
16 May, 2017 ↬
Jujitsu and meditations on narrative and consciousness.
15 May, 2017 ↬
A visual demo.
6 May, 2017 ↬
Ben Smith:
Building applications following domain-driven design and using CQRS feels really natural with the Elixir – and Erlang – actor model. Aggregate roots fit well within Elixir processes, which are driven by immutable messages through their own message mailboxes, allowing them to run concurrently and in isolation.
I too think that Elixir is a good fit for CQRS/ES applications.
The post provides a thorough walkthrough that builds an event sourced/CQRS Elixir application using Phoenix, Commanded, and Eventstore. The Commanded and Eventstore libraries look to have implemented most of the features I’m looking for.
6 May, 2017 ↬
Some amazing work.
5 May, 2017 ↬
Greg Young:
We will talk about what seems to be the most complex areas of event sourcing for most developers especially those first getting into it. Versioning.
Remapping the event stream is an approach we’ve used. I like the idea of emitting stop and stopped events to the store to support zero downtime migrations while remapping the stream.
5 May, 2017 ↬
Killer drumming.
5 May, 2017 ↬
Eric Evans on avoiding the pursuit of perfection when using DDD.
5 May, 2017 ↬
Chris, Andy, and Greg 😍
4 May, 2017 ↬
Dan North:
Over the last year or two I have been exploring OKRs—Objectives and Key Results—with several organisations, from a few hundred people in size to a couple of thousand. Some are well over a year in, some are just starting out. There doesn’t seem to be much out there in terms of experience reports or hands-on advice so I have tried to capture the advice I wish I’d had when I started out.
4 May, 2017 ↬
A different future.
3 May, 2017 ↬
Formidable:
Clean and robust state management for React and React-like libs.
The library grew from the idea that state should be just as flexible as your React code; the state containers you build with freactal are just components, and you can compose them however you’d like. In this way, it attempts to address the often exponential relationship between application size and complexity in growing projects.
Like Flux and React in general, freactal builds on the principle of unidirectional flow of data. However, it does so in a way that feels idiomatic to ES2015+ and doesn’t get in your way.
The single state object, reducers, and selectors associated with Redux feels overwrought and often gets in the way. Freactal looks like an interesting alternative.
3 May, 2017 ↬
Nick:
That’s my advice if anything terrible ever happens to you: Form a band and go on tour.
3 May, 2017 ↬
A scannable, erasable physical notebook.
27 April, 2017 ↬
Get your feet wet with some high performance computing.
8 April, 2017 ↬
Jan Stenberg:
The single biggest bad thing that Young has seen during the last ten years is the common anti-pattern of building a whole system based on Event sourcing. That is a really big failure, effectively creating an event sourced monolith. CQRS and Event sourcing are not top-level architectures and normally they should be applied selectively just in few places.
Young also believes there will be more use of Process managers, especially with more and more use of Actors since they for him make perfect Process managers. He describes an Actor framework as a Process manager framework.
8 April, 2017 ↬
Chris McCord:
Phoenix 1.3 moves away from models to (bounded) contexts and schemas.
It’s interesting to see a framework explicitly support this.
Feels like a good fit. Especially for a framework based on a functional language.
8 April, 2017 ↬
Tasty.
6 April, 2017 ↬
Heads in unexpected directions.
3 April, 2017 ↬
Cap’n Proto RPC:
Cap’n Proto RPC employs TIME TRAVEL! The results of an RPC call are returned to the client instantly, before the server even receives the initial request!
There is, of course, a catch: The results can only be used as part of a new request sent to the same server. If you want to use the results for anything else, you must wait.
However, Cap’n Proto promises support an additional feature: pipelining. The promise actually has methods corresponding to whatever methods the final result would have, except that these methods may only be used for the purpose of calling back to the server. Moreover, a pipelined promise can be used in the parameters to another call without waiting.
An interesting feature which limits the number of network hops in the query is a pipeline of dependent requests.
3 April, 2017 ↬
Phil Calçado:
In my experience, a good-enough specification for a pURI should specify:
- How many segments are there and if teams and service owners can add new segments
- What is the encoding and escaping expected for the text
- What in the identifier should be treated as opaque data as opposed to parts where consumers can make assumptions about data formats
We’ve been playing with almost the exact same scheme recently for some of our services.
3 April, 2017 ↬
Hard and fast rules for building Redux applications.
1 April, 2017 ↬
Vladik Khononov:
From my point of view, the CQRS-induced complexity is largely accidental, and thus can be avoided. To illustrate my point, I want to discuss the goal of CQRS, and then analyze 3 common sources of accidental complexity in CQRS-based systems.
I find myself nodding to the sentiments of this post. It feels like doggedly pursing a theoretical ideal can lead to unnecessary difficulty in CQRS implementations.
31 March, 2017 ↬
Magnets blasting your head.
28 March, 2017 ↬
That’s gonna take a while.
25 March, 2017 ↬
Just in case.
22 March, 2017 ↬
Fascinating.
21 March, 2017 ↬
I feel like we’ll be needing more and more of these.
14 March, 2017 ↬
How to follow good practices with Bash.
14 March, 2017 ↬
Presented with typical beauty from The Food Lab.
11 March, 2017 ↬
Designed by Jørn Utzon.
10 March, 2017 ↬
From MIT 15.S50 Poker Theory and Analysis.
2 March, 2017 ↬
2 March, 2017 ↬
An introduction to unix sockets in Ruby.
2 March, 2017 ↬
Forty years of work.
1 March, 2017 ↬
Want multiple Gmail web UIs next to each other? This is your bunny.
1 March, 2017 ↬
A catalog of logos, symbols, and trademarks.
28 February, 2017 ↬
Jesper L. Andersen:
In the recent years, I have adopted a method for system design, which I think yields good results. For a lack of better word, I overloaded “stack” yet again, and use it as a metaphor for this design.
The baseline is level 0 in the stack, and now we try to move the system upwards in the stack by adding another level. It is important to stress that transitioning is a best effort method. We make an attempt at increasing the operational level of the system, but if we can’t we stay put at the current level.
28 February, 2017 ↬
Jan Stenberg quoting Eric Evans:
Evans points out that a microservice, which should be autonomous, can be a good bounded context, but emphasizes that this does not mean that a service always is a bounded context, something that developers sometimes interpret it as.
Some interesting points in here about using multiple bounded contexts within a system to make it easier to work on.
Sometimes a model is a little incomplete, lacking the ability to handle all the cases it’s meant to handle. Instead of creating a model that is able to handle more cases but feels awkward, an alternative may be to create a function that deals with cases not handled by the model. Such a function works with lots of if-then-else statements, staying away from any high-level concepts to avoid creating yet another model. An abstraction that is leaking or confusing should not be used at all. Evans notes that it’s better to use if-then-else instead of creating an illusion of an elegant model. Such a model may even prevent finding a working model. He believes that this is a great example of a trade-off, aiming for a good but not perfect design.
I think this is a pragmatic approach. Finding an all-encompassing model can be paralysing.
28 February, 2017 ↬
The Mikado Method is a structured way to make major changes to complex code. It helps you visualize, plan, and perform business value-focused improvements over several iterations and increments of work, without ever having a broken codebase during the process.
20 February, 2017 ↬
Jesper Andersen:
In any kind of process planning in a factory, people know the price of running the plant at 100% utilisation: it gets sensitive to small errors. So nobody does that.
20 February, 2017 ↬
A look at error handling in event sourced systems.
16 February, 2017 ↬
👌
14 February, 2017 ↬
HST reads his essay documenting his dabbling with electricity.
14 February, 2017 ↬
A solid React/Redux boilerplate.
12 February, 2017 ↬
Simplicity of programme, Kettlebell, and not training till failure.
11 February, 2017 ↬
KD plus f-bombs.
9 February, 2017 ↬
Deep.
7 February, 2017 ↬
Plug in and get some work done.
7 February, 2017 ↬
Bang on.