I blogged about using the Z3 theorem prover to draw the new aperiodic “Hat” tile: hgreer.com/HatTile/

Hastings boosted

Introducing HARU: DTW-based
@nanopore
adaptive sampling on an
@Xilinx
Kria FPGA! This tiny 300$ module is 2X faster than a 30k$ 36-core server (at a fraction of power consumption) for end-to-end sDTW DNA mapping (including IO overheads).

See arxiv.org/abs/2211.07340 for more info.

Hastings boosted

Only four days remain to get in on the Kickstarter for Cracking the Cryptic's Greatest Hits Volume 2!

kck.st/3EzbmpJ

If you have even a passing interest in , you owe it to yourself to develop a deeper interest, and preferably to do so before this campaign ends Friday.

I have the first volume from last year's Kickstarter, and it is fantastic, but many of the puzzles are fiendishly difficult for me, so I haven't finished them all. Also, the campaign hit a stretch goal for spiral binding, so I've upgraded my pledge this time around to get a reprint of that first volume that can lay flat on a table more easily.

I don't get anything out of this pitch, I just love the YouTube channel, love the first book, and want to see Simon and Mark continue to succeed.

The anxiety of having a really good idea to improve your baseline model

I was having some trouble with glitchy scrolling using the qoto web interface on mac, especially on the federated timeline. Switching to the default mastodon theme (preferences > appearance > site theme) fixed it immediately!

Agenda for after the CVPR deadline:

Try first step translation transform

Try By-Construction-Inverse-Consistency instead of a penalty- use openaccess.thecvf.com/content_ for precise SVF integration

Try SVF with inverse consistency penalty, for taste

Try TV regularization instead of GradICON

Try training on diverse corpus of augmented medical images*LNCC + SynthMorph shapes * DICE - use paired t1-t2 medical images when we have them

I guess I'm here now instead of twitter. I'm a phd student researching deep learning for medical image registration. If for some awful reason you need to align several hundred CT scans, check out my library icon_registration (icon.readthedocs.io)

Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.