Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Apr 11 19:11

    larsrh on master

    Update sbt to 1.5.0 (#1004) Co… (compare)

  • Apr 11 19:11
    larsrh closed #1004
  • Apr 11 18:51
    larsrh synchronize #1004
  • Apr 11 18:46
    larsrh synchronize #1004
  • Apr 10 09:08

    larsrh on master

    Update shapeless to 2.3.4 Merge pull request #1005 from s… (compare)

  • Apr 10 09:08
    larsrh closed #1005
  • Apr 09 14:47
    scala-steward opened #1005
  • Apr 04 23:46
    scala-steward opened #1004
  • Apr 01 15:52

    larsrh on master

    Update algebra, algebra-laws to… Merge pull request #1003 from s… (compare)

  • Apr 01 15:52
    larsrh closed #1003
  • Apr 01 14:21
    scala-steward opened #1003
  • Apr 01 09:50

    larsrh on master

    Update sbt-microsites to 1.3.3 Merge pull request #1001 from s… (compare)

  • Apr 01 09:50
    larsrh closed #1001
  • Apr 01 09:50

    larsrh on master

    Update sbt-scalajs, scalajs-com… Merge pull request #1002 from s… (compare)

  • Apr 01 09:50
    larsrh closed #1002
  • Mar 31 17:43
    scala-steward opened #1002
  • Mar 31 11:16
    scala-steward opened #1001
  • Mar 31 06:16

    larsrh on master

    Update munit to 0.7.23 (#999) (compare)

  • Mar 31 06:16
    larsrh closed #999
  • Mar 30 12:34
    scala-steward synchronize #999
Denis Rosset
@denisrosset
Not really; but you can define your own Vector3D[A] class, and make instances of VectorSpace[Vector3D[A], A] available where A is a field
Then you get the property tests of VectorSpace for free
@lemastero I'm waiting to get publish rights in the typelevel repo
Oliver Winks
@PaperPlaneSoftware
@denisrosset thanks :thumbsup:
@denisrosset I saw some discussion of a cross product implementation and came across Zainab's PR (looked promising) any idea what happened to that work?
Soren
@srnb_gitlab
Is there a good way to send Reals over the wire?
Soren
@srnb_gitlab
Spire Matrices are mutable?
Luka Jacobowitz
@LukaJCB
there’s circe-spire, but I think it might be missing instances for Real
Valeriy Avanesov
@akopich
Hi. Does spire define a type for positive integers? Looks like Naturals include zero.
Feels like it would be extremely useful in combination with non-empty collections.
Paul Snively
@paul-snively
Hi everyone! I'm looking at Erik Osheim's wonderful https://www.youtube.com/watch?v=O78hnJuzQwA and wondering whether that elist library is out there somewhere I should be aware of?
I'm asking here because I figure Erik is likely to see it, sooner or later, but if anyone knows a better way to contact him, I'd appreciate knowing about it.
Carlos Quiroz
@cquiroz
Hello, I’m thinking to use UInt but I noted there is no ConvertableFrom nor ConvertableTo Uint unlike, e.g. Natural
Is there a reason for that?
Denis Rosset
@denisrosset
@akopich Why not use BigInt with https://github.com/fthomas/refined ? Natural is kind of a weird type
@cquiroz The whole ConvertableFrom, ConvertableTo business is not necessarily very principled. That said, using UInt with those typeclasses is likely to lead to boxing if the JIT is not clever enough.
Carlos Quiroz
@cquiroz
Thanks @denisrosset I have an entity that only takes positive numbers, I’ll take a look at refined
Valeriy Avanesov
@akopich
@denisrosset that would be an option, but I want to have at least some basic arithmetics on that type. E.g. positive plus positive should be also positive. Refined types don't give that.
Denis Rosset
@denisrosset
Why not a wrapper that only defines the + operation? Also, are you planning to have collections whose size is bigger than 2^63? You could use a wrapper around a Long then
I'd be wary of introducing a dependency on Spire if you don't have further need for the library
Valeriy Avanesov
@akopich

Why not a wrapper...

that's how i've implemented it eventually.

In fact, I wrapped Int.
Thanks for your input.
Soren
@srnb_gitlab
Does Spire have an equivalent in the Haskell world?
Paul Snively
@paul-snively
There are various numerical libraries for Haskell, but I don’t know of a kind of single umbrella that’s equivalent.
Soren
@srnb_gitlab
What are the uhh... Big O for Real#ceil, Real#floor, Real#log2?
Bro I hate this "i before e" rule because "ceiling" always feels like it shouldn't count even though it is after C but you have words like "ancient"
Martijn Hoekstra
@martijnhoekstra
there is no "i before e" rule
Soren
@srnb_gitlab
Well "ceiling" is the really hard one because it's like "see-əl-ing" so the first thought that comes to mind is "cieling" but that's a misspelling
:)
Denis Rosset
@denisrosset
Mmh, I have no idea about the asymptotics of "Real". Maybe @non would know?
Soren
@srnb_gitlab
Is there a typeclass meant to capture things that should "overflow"/have periods?
I.e. something I could use to represent a type usable in a LCG
Soren
@srnb_gitlab
(It's probably obvious but my brain hasn't been working this week)
Denis Rosset
@denisrosset
A LCG would be built out of the ring of integers modulo n, I guess?
Soren
@srnb_gitlab
So I should just need a Ring then? @denisrosset
I mean technically an LCG is just a + and a * and two elements right?
Denis Rosset
@denisrosset
Just use BigInt? you're probably not looking at generalizing LCG beyond integers, right?
Soren
@srnb_gitlab
hmm
Yeah, I guess so
Time to do more thinking. Seems like 128-bit numbers would be useful. Gonna look at how to implement them efficiently
Denis Rosset
@denisrosset
Good luck! a UInt128 type would be a nice addition to Spire
Mark de Jong
@Fristi
Is there a Enum type class like in Haskell http://learnyouahaskell.com/types-and-typeclasses ?
Enum members are sequentially ordered types — they can be enumerated. The main advantage of the Enum typeclass is that we can use its types in list ranges.
succ 'B'  
'C'
Luka Jacobowitz
@LukaJCB
@Fristi there’s one in cats-core
cats-kernel actually
Mark de Jong
@Fristi
Thanks that is great :)