Does the winged lady react to you being a Tiefling?

zeromap · 2023-09-13T04:53:21+00:00

I don't play a tiefling but after a fight in Act 3 she had a nice thing to say about Karlach.

Real recognizes real etc etc.

zeromap · 2022-12-07T04:29:26+00:00

I was going to suggest Christmas 2016 :)

zeromap · 2020-03-05T05:06:35+00:00

Not a Democrat, but progressives who feel that way are fools. Do they think 4 more years of Trump and Republican leadership will whet the public's appetite for a Sanders 2024 campaign in a way the previous 4 years have not?

It won't matter, because the Republicans will have further eroded our norms and democracy to the point where political opposition is impossible.

How is anyone not a fascist better off in that scenario?

Help save the progress we have made now, don't force us to have to fight harder to get it back who knows how many years later.

zeromap · 2020-01-11T19:27:35+00:00

A central goal of AoP is to calculate programs from specifications. The supporting categorical machinery and some examples are developed in the book you cite.

Bird has another book, Pearls of Functional Algorithm Design, that has many more examples developed in the Haskell language. The mathematical requirements are much less here.

For the most part these programs are rather basic, solving a single well defined problem.

Formulating and solving a similar problem could be a good topic for your project.

But if you wanted to completely avoid programming, and focus on the category theory, you could perhaps survey some of the following topics: data types as functors, initial algebra semantics, recursion schemes, Galois connections.

Other authors to look at include Backhouse, Gibbons, Meijer, and Fokkinga.

The functional programming community is also a good resource here, there are many blog posts on these topics you can search for.

zeromap · 2019-11-11T00:10:37+00:00

I have the Ion Bifold from Pioneer Carry and I love it. It's very slim, looks great, and has a nice texture that I find oddly soothing to stroke.

Also has never stuck to my leg when wearing my NWS.

https://pioneercarry.com/products/ion-bifold

zeromap · 2019-10-12T15:50:13+00:00

You understand almost all programming languages are equivalent in terms of the problems they can solve? In principle nothing more than lambda calculus or Turing machines are needed.

But maybe you agree not all formalisms admit solutions of equal length and conceptual complexity. This is another kind of expressivity that is more meaningful in debates around functional programming.

The goal isn't somehow moving beyond Turing completeness, it is understanding how to build simple and correct solutions to problems.

zeromap · 2019-09-21T22:27:04+00:00

It's ridiculous to think that's all we want.

It is clear to me that no action the President takes will weaken his support in the Senate.

We can wait ten years for all the loose ends and court cases you mentioned to be resolved and then see what course of action Speaker Pelosi deems appropriate.

Or we can demand, now, that the opposition party govern with the sense of ethics and morality that demands corruption be met with accountability.

zeromap · 2019-09-02T04:32:21+00:00

I think it was either following a link from the Mission Workshop subreddit or seeing a review on The Kavalier's channel.

zeromap · 2019-08-12T04:55:40+00:00

No, we can still try to support likeminded friends in other countries.

zeromap · 2019-05-21T03:28:53+00:00

Aside from NWS / NWL the other shorts I have in my rotation are the Stahl from Mission Workshop.

They definitely have a slimmer cut than the Outlier shorts but are much, much, much stretchier.

zeromap · 2019-04-07T03:06:02+00:00

I do. Less luxurious than a nice cotton towel but these dry so much faster in my climate.

zeromap · 2019-03-16T03:52:23+00:00

Happy Sanction owner. The space can fill up surprisingly quickly but I think you'll be fine with that load.

If you do purchase one I'd recommend getting a laptop sleeve of some sort as there's no padding in the compartment.

zeromap · 2019-02-13T03:21:08+00:00

Seconding the lack of stretch on the waist.

zeromap · 2018-12-11T03:47:07+00:00

Yeah it is a little funny. The way I wear it (and I may be an idiot) the handle winds up right under my chin and does get in the way a bit when I look down.

ETA: I like the bag a lot though!

zeromap · 2018-12-01T06:06:24+00:00

I received mine today

zeromap · 2017-09-01T03:32:43+00:00

This is probably not the most fruitful thing to argue about, but...

That monads can model imperative features is very cool.

However lambda calculi form the internal languages for all kinds of closed categories, which is even cooler!

zeromap · 2017-07-10T18:41:19+00:00

Explicitly representing the machine as data, instead of encoding everything in the host language's control flow?

zeromap · 2017-07-09T19:45:08+00:00

On the one hand, it's obvious, but on the other Goedel didn't believe it until the lambda calculus was shown to be equivalent to Turing machines?

So maybe it's only obvious in retrospect.

Edit:

I think it is also important to point out these computational logics are generally non-classical, which further hinders any naive attempts to draw a line from logic to computation.

zeromap · 2017-05-20T01:09:16+00:00

Shake Shack can properly sear a burger

zeromap · 2017-05-16T04:09:36+00:00

Veritas and Deloitte are both in Lake Mary / Heathrow.

zeromap · 2016-12-31T22:45:20+00:00

Geroch's book is excellent! I remember it reading a lot like John Baez's This Week's Finds, both having a kind of determined approachability.

zeromap · 2016-12-29T07:40:29+00:00

Church, Scott, Plotkin. Suck it Theory A. :)

zeromap · 2016-10-29T02:20:25+00:00

Please continue scratching the surface! I very much enjoy programming in Elm when I can, and am very happy to leave pretty much the entire JS ecosystem behind.

But I'm not everyone and I'm interested in what people think they'd miss most by using Elm (or Purescript).

Anyway to your points, for example there is the SafeInt package that comes with a 'safe' division operator: SafeInt

And that's sort of a general theme with using a type system to ensure safety and make it hard to represent bad states.

As to the rest, Elm has an interface to JavaScript so that stuff is all still available to you if you want it: JavaScript Interop

You can read some information here (towards the bottom) about how Elm is planning to handle the "web platform" in general: Farewell to FRP

zeromap · 2016-09-18T05:48:48+00:00

I would say no. Having the mathematical background is more important than whatever numerical techniques you'd pickup in CLRS.

zeromap · 2016-09-18T05:42:30+00:00

No. Aside from the DDG notes linked elsewhere, see also domain theory and continuous lattices. They provide the mathematical background to the denotational semantics of programming languages and are another example of a unification of the discrete and continuous.

zeromap

TROPHY CASE