touisteur

Log and log1p support

1

Hi, Reading through the code, searching w/ github, I couldn't locate an implementation of log or log1p. Did I miss something? Is support for those foreseen some day? Is there...

Fun missing check in SPARK

1

Hi, I'm not sure it's in the spirit of the (great) book but I thought you might like https://blog.adacore.com/the-most-obscure-arithmetic-run-time-error-contest Thanks for sharing the book for free!

[QST] A100 double-precision Tensor Cores ?

4

Hi, is there any support for DP Tensor Cores in cutlass, available or foreseen ? Thanks in advance

Lzcnt/popcnt functions?

4

Hi, Unless I haven't looked in the right places, there doesn't seem to be any support lane-wise lzcnt or popcount. Is it foreseen in the future or out of scope...

Posit log & log1p native implementations

16

Hi, I was looking for a posit implementation of the log and log1p functions, actually trying to benchmark how a posit32 (2,30?) would fare (precision and perf-wise) on a gpu...

SVD with posits

1

Hi, Looking through the codebase, it seems the SVD function is all commented, while the Jacobi solver isn't. Can I perform a SVD on a square posit matrix using universal,...

Question/advice: iterating over an a.and(b) bitmap whilst keeping ranks of elements from 'a'

11

Hi, Sorry if it's not the place for questions or advice. I'm using RoaringBitmap as indexes in an internal tool, and the performance kick I get from them is amazing...

Converting from bitmap/bitarray to roaring bitmap

1

Hi, Is there a simple way to initiate/fill a roaring_bitmap_t from an flat bitmap (simple example of an "flat bitmap" would be: one-byte [0000 0101]b that translates to the integer...

Hi, running the following simple example program, causes a crash with YAML.STREAM_ERROR exception. ``` with Utils; with Ada.Text_IO; with Ada.Command_Line; with GNAT.Exception_Actions; with Ada.Exceptions; with Yaml.Dom; with Yaml.Dom.Vectors; with Yaml.Dom.Loading;...