Posts

This profile is from a federated server and may be incomplete. Browse more on the original instance.

ocramz, to ArtificialIntelligence
@ocramz@sigmoid.social avatar
ocramz, to ShinMegamiTensei
@ocramz@sigmoid.social avatar
ocramz,
@ocramz@sigmoid.social avatar

I'm using sbv with , It Just Works ! Now for the actually hard part, figuring out my program invariants 🙃

ocramz, (edited ) to azure
@ocramz@sigmoid.social avatar

AzureML is so full of sharp edges that they might as well move the "Troubleshooting" section to "Quickstart"

#azure #azureml #cloud #mlops

ocramz, to ai
@ocramz@sigmoid.social avatar
ocramz, to react
@ocramz@sigmoid.social avatar

here's a little #htmx extension to efficiently update Plotly charts: https://www.jsdelivr.com/package/gh/ocramz/htmx-plotly

I needed this as a component for interactive data apps (for #datalabeling etc), as one who never found #react and friends intuitive. #web #webdev #frontend

ocramz,
@ocramz@sigmoid.social avatar

@alexzeitler well said!

ocramz,
@ocramz@sigmoid.social avatar

also h/t to @ocharles for first making me discover HTMX 🙌

ocramz, to prog
@ocramz@sigmoid.social avatar

found this little gem today in a set

https://youtu.be/oNqiHfHVMz0?si=-ntlqkVCkKhrz7B6

from 1973

ocramz, to music
@ocramz@sigmoid.social avatar
ocramz, (edited ) to random
@ocramz@sigmoid.social avatar

I've been thinking about program understanding, and about how to encourage #languagemodels to do compositional/verifiable #reasoning on program text ("statically").

This is my latest work around this: https://aclanthology.org/2023.findings-emnlp.601/

If, as some recent literature suggest, transformer-based LMs are not more expressive than regexps, this line of thinking is doomed, but at least it could be a valuable heuristic and complementary to rigorous #formalverification. #machinelearning #nlproc

mmisamore,
@mmisamore@sigmoid.social avatar

@ocramz Could you point to a reference for the regexp expressiveness claims? Thanks.

ocramz,
@ocramz@sigmoid.social avatar

@mmisamore this is a large experimental study https://arxiv.org/abs/2207.02098

also this one from AI2 https://arxiv.org/pdf/2305.18654.pdf

ocramz, (edited ) to random
@ocramz@sigmoid.social avatar

https://github.com/ocramz/assignment-riemann-opt turns out you can use pytorch for combinatorial optimization - sort of 🙃

ocramz, to MIjazz
@ocramz@sigmoid.social avatar

@uncapybarable sure we cannot agree on the bit? eg I think Casiopea slaps

ocramz, to random
@ocramz@sigmoid.social avatar

just heard this incredible thing on NTS https://youtu.be/QDVKs5tT7Ik?si=dt-WjcvT4Rs7Tcw_ #spokenword

ocramz, to Nintendo
@ocramz@sigmoid.social avatar
ocramz, to RadioControl
@ocramz@sigmoid.social avatar

trying to put in words how does a #drone set I found on #nts sound

"car alarm in a sawmill"

#electronic #music #musodon

ocramz, to random
@ocramz@sigmoid.social avatar

the weekend is that time when researchers can take a break from work in order to focus on work

(prompted by the new #emnlp2023 camera-ready deadline, which falls on a Sunday across most of the world)

ocramz, to web
@ocramz@sigmoid.social avatar

what if .. React wasn't necessary and you could mix and match HTML with a proper programming language?

https://github.com/ocramz/blaze-html-qq

#haskell #web #ssr #react

  • All
  • Subscribed
  • Moderated
  • Favorites
  • provamag3
  • InstantRegret
  • mdbf
  • ethstaker
  • magazineikmin
  • GTA5RPClips
  • rosin
  • thenastyranch
  • Youngstown
  • osvaldo12
  • slotface
  • khanakhh
  • kavyap
  • DreamBathrooms
  • JUstTest
  • Durango
  • everett
  • cisconetworking
  • Leos
  • normalnudes
  • cubers
  • modclub
  • ngwrru68w68
  • tacticalgear
  • megavids
  • anitta
  • tester
  • lostlight
  • All magazines