@exa@mastodon.online
@exa@mastodon.online avatar

exa

@exa@mastodon.online

postdoc (programming languages, haskell, bioinformatics) https://github.com/exaexa

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

jakubzelenka, to random Czech
@jakubzelenka@mastodon.social avatar

Seznam a Seznam Zprávy přitvrdily. Už se na ně s adblockem nepodíváte.

exa,
@exa@mastodon.online avatar

@jakubzelenka

"blokátory"?!!

exa, to mastodon
@exa@mastodon.online avatar

implementation question: would it be possible to use the protocol for carrying issue tracking & discussion, e.g. to make version of or issue trackers?

I thought that technically these aren't that different from the usual discussion threads here, except maybe for some governance steps like deciding if the issue is closed etc... Perhaps someone already investigated?

mcc, to random
@mcc@mastodon.social avatar

Exactly what affine transformation is the raw function

(x,y) = (x+y, x-y)

Equivalent to? Like if I wanted to express that transformation in terms of translations and rotations.

exa,
@exa@mastodon.online avatar

@mcc tbh I always draw a big "1" and transform the 3 points just to be sure.

exa,
@exa@mastodon.online avatar

@mcc yap might work too. But linear algebra on colors confuses me too much. :D

DiazCarrete, to haskell
@DiazCarrete@hachyderm.io avatar

AFAIK, there's not an easy way in Haskell to inspect at the type level what type a field has in a record.

What I mean is that that there doesn't seem to be a type family like

type FieldType :: Type -> Symbol -> Type

that we could invoke in ghci like

:kind! FieldType Person "age"

Why would I want this? For libraries like servant and rel8 that use parameterized records where the types of the fields vary heavily with the type parameter.

I guess I could hack it using generics. 🤔

exa,
@exa@mastodon.online avatar

@DiazCarrete wouldn't the label thing that Selda used for SQL work just right? I think it's -XOverloadedLabels or something close to that.

exa,
@exa@mastodon.online avatar

@DiazCarrete I thought it somehow worked directly in the type constraints (see example with Has here: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/overloaded_labels.html and I recall seeing a library for generating the Has instances). Never tried myself though so maybe I'm misreading the docs.

exa,
@exa@mastodon.online avatar

@DiazCarrete (example down below here: https://selda.link/ )

DiazCarrete, (edited ) to haskell
@DiazCarrete@hachyderm.io avatar

I know that Megaparsec doesn't backtrack automatically and that you have to use "try" for that, but this behavior of "many" was unexpected. Why oh why doesn't it parse the final space?
https://stackoverflow.com/a/78355045/1364288
Maybe I didn't read the documentation thoroughly, but I don't think it's actually spelled out in the Haddocks?

exa,
@exa@mastodon.online avatar

@DiazCarrete
+1 for the other suggestion here: do not eat space before the lexemes (as beginner tutorials tend to show) -- always eat it after the lexemes (and only after the lexemes!), and do it reliably. Hard-learned lesson.

exa, to mastodon
@exa@mastodon.online avatar

If I forget to switch a post to "quiet public" before posting (I fail at that with replies all the time) is there any way to switch it to quiet without deleting and redrafting? It doesn't seem to work for me. Or am I doing something wrong?

indymnv, to random
@indymnv@fosstodon.org avatar

Seeing the schedule in conference and the last survey, looks like the community is embracing more the idea of using Rust as a support language.

exa,
@exa@mastodon.online avatar

@indymnv uh, why? (me interested, can you elaborate pls?)

exa,
@exa@mastodon.online avatar

@indymnv ooh, interesting. Like, I could join the crowd asking for actual sub-NP static typing algorithm, we got bitten by the typesystem so many times... (but I'm biased towards haskell instead of rust :) having typeclasses would also solve SOOO MUCH of various other gripes, incl. compilation/load speed).

Anyway nice summary there, thanks!

milesmcbain, to random
@milesmcbain@fosstodon.org avatar

So my holiday reading was the (neo)Vim user manual. It’s very impressive to me how once you get a sense of the model - the concepts and how they relate… this vast surface area of functionality that seemed hard to remember before just becomes a thing you can derive commands in using logic and a handful of higher level principles.

There are wrinkles for sure, but overall I think it’s an impressive feat of design. 👏👏👏

I already made myself a minimal #rstats IDE in 5 lines of config. 🤣

exa,
@exa@mastodon.online avatar

@landesfeind @milesmcbain

Sorry for later reply :D

into .vimrc you put:

vnoremap # y<C-w>w<C-w>"0<C-w>w

then in vim, you start the "running terminal" using e.g. :term R

and you can e.g. send a line to the termial from the editor buffer using V#, or send the whole "paragraph" (usually a code block) using vip#.

Might need window/clipboard marks for more complicated setups.

typeswitch, to random
@typeswitch@gamedev.lgbt avatar

is stack allocation (including call frames & locals) just a game of russian roulette ... ?

i can't be the only one who thinks this is weird.

exa,
@exa@mastodon.online avatar

@typeswitch it used to be pretty much normal to have 2 or 3 dedicated stacks for different purposes (see e.g. prolog machines). Kinda killed by (among other factors) x86's single SP reg. C and now LLVM&rusts don't help much either.

I hope we could see some cool new multistack code on risc-v (no big network effects yet, and there is no dedicated stack support needed in the cpu)

coolbutuseless, to random
@coolbutuseless@fosstodon.org avatar

Is there a blessed way to create a RAWSXP from an existing chunk of memory within C?

Specifics:

  • The memory is already allocated elsewhere
  • I don't want to use memcpy, just wrap the memory where it is such that the RAWSXP points to it.
  • I don't want the garbage collector to know about it - I will free the memory myself later.
  • It still has to be valid RAWSXP that I can use in R

This is a bit of a callback to this post: https://fosstodon.org/@coolbutuseless/111956983679205597

exa,
@exa@mastodon.online avatar

@coolbutuseless how does writeBin handle the connection? (Most likely it is C code already that can be copypasted or so, or perhaps at least called with lighter parameters than SEXPs)

ljs, to random
@ljs@social.kernel.org avatar

Sometimes I feel like, in an effort for everybody to try to present themselves as hugely empathetic, society has become a hell of a lot less empathetic in reality.

exa,
@exa@mastodon.online avatar

@ljs "hello chatgpt can you rewrite this mail as more empathetic"

exa,
@exa@mastodon.online avatar

@ljs "hello chatgpt please restore empathy"

🤪

exa, to programming
@exa@mastodon.online avatar

Hey fediverses, is there any good online shell scripting primer for non-programmers? Something like "automate your stuff with unix" or so, ideally focused on the methodology rather than gory details of shell scripting.

exa,
@exa@mastodon.online avatar

@propersquid it's not for me, it's for the colleagues here. I know learning by doing is best but I don't have much time to supervise and don't want to be that kind of guy who goes
-"hey guys why don't you solve your problems with unix"
-"yay okay! how we do it?"
-"oh just solve problems with unix! you'll see"

exa, to internet
@exa@mastodon.online avatar

history question: is there any technical reason why the usual domain names are written backwards?

(as in, not this way: https://en.m.wikipedia.org/wiki/Reverse_domain_name_notation )

Or was that inherited from somewhere? (Where?)

exa, to haskell
@exa@mastodon.online avatar

q: are there any small and living haskell implementations with power at least partially close to ghc? (e.g., vectors, concurrent IO and TyFams)

( reasons )

sdruskat, to random
@sdruskat@fosstodon.org avatar

The new @dfg_public funding programme "Research Software Infrastructures" will have regular calls twice a year.

Fantastic news for those of us who try to enable in DE by creating methods and tools for the community!

https://www.dfg.de/en/research-funding/funding-opportunities/programmes/infrastructure/lis/funding-opportunities/-research-software-infrastructures-funding-programme

exa,
@exa@mastodon.online avatar

@sdruskat @dfg_public

the link goes 404 for me? :(

mihamarkic, to stackoverflow
@mihamarkic@mastodon.social avatar

So the continues with . What would be an alternative?

exa,
@exa@mastodon.online avatar

@mihamarkic

good documentation.

dodges

lwpembleton, to random
@lwpembleton@genomic.social avatar

Crashing a user's R session due to license validation errors is not an acceptable function. A license check should never terminate a whole session, even if the package thinks the license is already in use.

video/mp4

exa,
@exa@mastodon.online avatar

@lwpembleton
TBH, license validation is not acceptable.

exa, to debian
@exa@mastodon.online avatar

ok the new APT cli interafce is veeery nice.

#debian #debian_testing

exa, to random
@exa@mastodon.online avatar

So, did you guys already get a promoted product in a GPT reply? :)

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