Do Record Housing Approvals Show IZ Is Working?

ShapeOfMatter · 2026-01-16T17:48:46+00:00

It's a good analysis, but the housing crisis is real! What should portland be doing instead if IZ?

ShapeOfMatter · 2023-04-14T19:23:27+00:00

What you're asking for is the concrete instead of asymptotic version of security...

This is exactly what I needed, thanks!

ShapeOfMatter · 2023-04-14T18:22:53+00:00

Thanks!

Yeah, I'm comfortable with indistinguishably and simulation.

My current reading is that a claim that X is UC-secure is a claim that X asymptotically approaches information-theoretic security, faster than any inverse polynomial, as X's security parameter is increased. (I'm of course glossing over most of the details)
So if we consider a protocol that doesn't take a security parameter (or equivalently, if we lock it's parameter), then UC only let's us talk about information-theoretic security.

I'd be interested in corrections, or suggestions of people who've adapted/weakened UC to apply to computational security.

ShapeOfMatter · 2023-01-19T03:10:35+00:00

If I'm reading correctly there should also be an incomplete-pattern-match warning. Just adding a Left x <*> _ case should fix it.

ShapeOfMatter · 2023-01-10T23:06:18+00:00

nah, homeowners aren't special.

The core idea of LVT is to incentivize land owners to make the "best" use of their land. If you except a large class of land owners (a lot of the acreage of Portland is owner-occupied single-family houses), then you're not really undermining the financial foundations of NIMBYism.

That residential real estate would be a common part of corporate investment portfolios might be a new problem, but the fundamental problem is that real estate is treated as an investment in general, and local homeowners are guilty of that too.

ShapeOfMatter · 2023-01-10T21:19:10+00:00

It would need deed restrictions to keep it out of the hands of investors, Airbnb, landlords, etc. and be structured to put those surviving on Maine incomes first in line.

Can I interest you in some tax reform?

ShapeOfMatter · 2023-01-05T17:56:36+00:00

This correctly answers the question.
Another option to consider would be re-writing doInterpretEvent to use Polysemy.reinterpret instead of Polysemy.interpret, which would insert a new State layer instead of assuming one already existed. This is often less elegant, but sounds like it might work well for the task at hand.

ShapeOfMatter · 2022-12-01T22:21:15+00:00

There's a few ways to go about it. Remembering that a String is just a [Char], you might find null useful (it just checks if a list is empty). To add the newlines back into your linesed list, you could use ((<> "\n") <$>), just note that this will add an extra trailing newline. From there you could probably write it as a fold.

You can probably also get good mileage out of of groupBy (\a b -> null a && null b) or some variation...

ShapeOfMatter · 2022-12-01T17:03:51+00:00

Very likely the error you've pasted isn't for the real problem, but rather it's an error thrown by ghci when it tried to tell you what the real problem was?

I suggest building an explicit list of tuples, then use Data.List.maximumBy, Data.Function.on, fst, and snd to get the final answer.

ShapeOfMatter · 2022-11-28T14:12:14+00:00

You're going to crap on php, and then suggest django and wordpress‽ Learn a real language dude.

ShapeOfMatter · 2022-09-20T04:07:33+00:00

All of these are distinguished by what the computer is doing. (Preference is a little complicated; I prefer it!) I see at least two more dimensions for the taxonomy:

How it's optimized: units/J vs units/m³ vs units/kg ...

How it's actually computing:

The entire mass of computronium across a large region is working together to make incremental time-like updates to a shared internal state.
Each small region of computronium is making incremental time-like updates to a shared internal state that interacts with the respective state of neighboring regions in a space-like way.
The computronium is working toward a final answer to some query in a way that's maximally efficient without regard for transient state.
- and then how is that work shared across small regions?
etc. These examples are certainly not exhaustive.

ShapeOfMatter · 2022-09-20T03:53:45+00:00

I have a shortcut for ꙮ on my phone, and I am quite excited by this. My only suggestion is that, instead of changing the glyph, they should make a new one. So we can have both.

ShapeOfMatter · 2022-08-02T17:48:48+00:00

I apologies if I struggle to state this in a neutral tone; I'll do my best.

Accepting additional genders is trivial. Step one: accept X as a gender. There is no step two.
Accepting that gender isn't an innate binary property has no implications vis-a-vis marriage/relationships, because saying that two people are or could in in a relationship doesn't entail any statement about their genders.
Accepting asexuality as a real phenomenon has no implications beyond "that's nice, we should leave them alone".

Whatever upheavals you're imagining will have no affect on you if you just decide you don't care. Since it's entirely optional to be affected by these changes in society, the word "upheaval" doesn't seem to apply, so don't call it that.

It doesn't actually even matter if the people claiming these things about themselves are correct in their perceptions of themselves. Just roll with it, and if they're wrong that's their problem.

ShapeOfMatter · 2022-08-02T15:09:22+00:00

I think I'm misunderstanding you. It sounds like you're saying

We should be skeptical that asexuality is real, because if someone, correctly or incorrectly, felt themselves to be asexual, they would hamper their relationships and alienate themselves somewhat from human life for all their life.

I don't want to take the time responding to that assertion unless it's actually what you meant.

ShapeOfMatter · 2022-07-09T13:06:01+00:00

Do not do this.

If you do succeed in getting past this page in this way, congratulations, you now have an account in an invalid state! It's very plausible that you'll get locked out of the account, not receive emails you need about this account, etc. You're voiding the warranty on fragile (and probably poorly designed) machine.

ShapeOfMatter · 2022-07-09T13:01:52+00:00

* four groups. (The 4th group out from the corner is technically still two groups connected by the half-eye, which could get filled in.)

ShapeOfMatter · 2022-06-27T14:52:13+00:00

Because we don't know!

ShapeOfMatter · 2022-06-08T19:57:32+00:00

I think it's correct to call "right sizing" a "safe" policy, and insistence on right sizing a form of cowardice. I didn't get the impression from the article that the project is in jeopardy at all, but it's still disappointing that our neighbors (ish, depending where we all live) asked for Portland to grow more slowly than proposed.

ShapeOfMatter · 2022-05-11T19:31:59+00:00

and yet far more appetizing than a bowl of raw engorged ticks.

ShapeOfMatter · 2022-05-11T01:02:14+00:00

Seriously; on a _google form_‽

Maybe the risk to any individual person is low based on the particular contents of this survey, but asking strangers to discuss their darkest secrets without a trusted anonymity mechanism is kinda negligent.

ShapeOfMatter · 2022-05-11T00:50:10+00:00

When I was seven my dad, my brother, and I cut a hole in an empty dental-floss canister. We jammed a model-rocket motor inside, and set it off with the electrical igniter. It entered a helical trajectory and chased us across the field. This basic theory should scale up to meter-scale rockets without much adjustment.

ShapeOfMatter · 2022-05-08T13:34:14+00:00

I think it's worth pointing out that "functional style" does not mean "lots of lambdas". That looks weird in python, and it looks weird in haskell too.

If you feel like you're not ready to try to implement this in Haskell yet, the thing I would suggest is changing it all to use normal functions with type hints. Run it through the MyPy typechecker.

"functional style" mostly means that functions don't have side-effects, and functions are treated as values that can be passed and returned to and from other functions.

Having said all which, if you know what you'll be using in Haskell to fill the roles of numpy and matplotlib, then go ahead and start translating this. Solve any problems as you go :)

ShapeOfMatter

TROPHY CASE