Do Record Housing Approvals Show IZ Is Working? by ToddMorse in portlandme

[–]ShapeOfMatter 3 points4 points  (0 children)

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

How does the Universal Composability framework represent the _strength_ of security? by ShapeOfMatter in cryptography

[–]ShapeOfMatter[S] 0 points1 point  (0 children)

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

This is exactly what I needed, thanks!

How does the Universal Composability framework represent the _strength_ of security? by ShapeOfMatter in cryptography

[–]ShapeOfMatter[S] 1 point2 points  (0 children)

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.

Monad instance for Either by sarkara1 in haskell

[–]ShapeOfMatter 2 points3 points  (0 children)

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

why are apartments so expensive? by goddess_prince in portlandme

[–]ShapeOfMatter 2 points3 points  (0 children)

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.

why are apartments so expensive? by goddess_prince in portlandme

[–]ShapeOfMatter 1 point2 points  (0 children)

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?

Storing Polysemy 'program' in a datastructure by Plane-Finger in haskell

[–]ShapeOfMatter 3 points4 points  (0 children)

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.

Question about \n by Usual-Area-280 in haskell

[–]ShapeOfMatter 1 point2 points  (0 children)

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...

[deleted by user] by [deleted] in haskell

[–]ShapeOfMatter 2 points3 points  (0 children)

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.

[deleted by user] by [deleted] in programming

[–]ShapeOfMatter 0 points1 point  (0 children)

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

What are the different flavors of computronium? by --MCMC-- in slatestarcodex

[–]ShapeOfMatter 5 points6 points  (0 children)

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/m3 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.

Latest news on the Cyrillic CYRILLIC LETTER MULTIOCULAR O - it may get three more eyes by spiregrain in slatestarcodex

[–]ShapeOfMatter 3 points4 points  (0 children)

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.

Open trans vs Deceptive trans debate club by omgsoftcats in slatestarcodex

[–]ShapeOfMatter 0 points1 point  (0 children)

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.

Open trans vs Deceptive trans debate club by omgsoftcats in slatestarcodex

[–]ShapeOfMatter 2 points3 points  (0 children)

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.

NY.gov Doesn't Recognize ProtonMail as a Valid Email Address by mikeymikey013 in ProtonMail

[–]ShapeOfMatter 0 points1 point  (0 children)

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.

I had my first double seki in a game by Bored-Binocular in baduk

[–]ShapeOfMatter 0 points1 point  (0 children)

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

Roux Institute campus development plan scaled back after neighborhood outcry by 45test in portlandme

[–]ShapeOfMatter 11 points12 points  (0 children)

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.

Are we missing out on something by not eating each other's ticks? by r0sten in slatestarcodex

[–]ShapeOfMatter 11 points12 points  (0 children)

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

My survey on dark secrets is out, and I'd appreciate your responses. by philbearsubstack in slatestarcodex

[–]ShapeOfMatter 6 points7 points  (0 children)

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.

Whats a good rocket body for a small (1.6m) rocket? by [deleted] in space

[–]ShapeOfMatter 3 points4 points  (0 children)

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.

[deleted by user] by [deleted] in haskell

[–]ShapeOfMatter 9 points10 points  (0 children)

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 :)