@varikvalefor@mathstodon.xyz
@varikvalefor@mathstodon.xyz avatar

varikvalefor

@varikvalefor@mathstodon.xyz

ni'o la .varik. cu prami le mergu'e je cu cmacypre... je cu tolnei lo skami

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

varikvalefor, to random
@varikvalefor@mathstodon.xyz avatar

ni'o cafne fa lo nu bau le cmacybau la .varik. cu retsku fi lo se glibau .i krinu la'e di'u fa le su'u la .varik. cu jinvi le du'u le cmacybau cu zmadu le glibau le ka frili fa lo nu retsku lo zabna bau ce'u

Frequent is that VARIK uses (for sending (to users of English) questions) mathematical notation. That (the thing is frequent) is justified by that VARIK opines that the ease (of using (for questions which rock) mathematical notation) exceeds the ease of using (for questions which rock) English.

ni'o fanva fu le milxe be le ka ce'u fegli la .varik... noi ku'i ke'a na birti lo du'u ma kau mleca fi le ka ce'u xi re fegli... je noi ke'a djica curmi lo nu stidi

VARIK finds that the translation is somewhat ugly. But VARIK is uncertain about a translation which is relatively not-ugly. VARIK welcomes suggestions.

varikvalefor, to Furry
@varikvalefor@mathstodon.xyz avatar

ni'o .urli le jai filri'a be tu'a le sma'ara co'e poi ke'a skina ko'a goi le pu'u la .varik. cu terxra fi la'oi .JUDASTRAINWRECK... fe le ckemono co'e .i la .varik. cu bacru skicu zo'e pe ko'a fo le lojbo
.i la .varik. cu djica curmi lo nu cusku lo se du'u ma kau nabmi le skina be ko'a

The URLs are URLs for the speedpaint (for "JUDASTRAINWRECK") which is ASMR-ish. VARIK vocally and Lojbanically describes parts of the process of drawing "JUDASTRAINWRECK".
VARIK welcomes describing the flaws of the video.

https://diode.zone/w/ah1QLSHejgvi4frcABesTg
https://vimeo.com/915750884

varikvalefor, to random
@varikvalefor@mathstodon.xyz avatar

ni'o ranji fa le nu la .varik. cu nelci zoi zoi. %^) .zoi.

That (VARIK likes "%^)") continues.

varikvalefor, to random
@varikvalefor@mathstodon.xyz avatar

ni'o cumki fa lo nu cadga fa lo nu la .varik. cu ciksi lo ctaipe be le su'u la .varik. cu benji lo se fanva je lo xe fanva

Possible is that VARIK should define a proof of that VARIK sends translations and translation sources.

varikvalefor,
@varikvalefor@mathstodon.xyz avatar

@vintprox:

> "Perhaps, Varik should provide a proof of Varik writing translations and in Lojban manually."
> Did I understand you correctly?

.i na go'i .i la .varik. cu pacna lo nu tu'a le pixra cu filri'a lo nu jimpe
.i lo so'i prenu cu retsku lo smimlu be lu .i la .varik. cu benji lo se fanva be fi le glibau bei fo la .lojban. li'u .i la .varik. cu jinvi le du'u lakne fa lo nu zabna je danfu fa lo velcki be lo srana je ctaipe

Negative. VARIK hopes that the image facilitates understanding.
Many prenu send questions which resemble "what justifies that VARIK sends the untranslated versions of the things which are translated to English and from Lojban?". VARIK opines that likely is that a definition of a proof which is relevant is an answer which rocks.

varikvalefor, to random
@varikvalefor@mathstodon.xyz avatar

ni'o xunai la .lojban. je lo cmacybau cu mutce le ka ce'u zmadu le glibau le ka frili fa lo nu baupli ce'u [xi re] lo nu retsku lo zabna poi tu'a ke'a .indika lo du'u na jimpe fi ma kau .i ga je lo so'i se glibau cu tolnei lo se retsku be la .varik. bei bau le glibau gi ku'i la .varik. na birti lo du'u ma kau zmadu
.i la .varik. cu baupli le cmacybau ki'u zo'e je le su'u la .varik. cu jinvi le du'u tu'a le cmacybau cu filri'a lo nu retsku fi lo se glibau

For all (a) in (\left{\textrm{LOJBAN}, \textrm{MATHEMATICAL NOTATION}\right}), the ease of using (for sending questions which rock) (a) very exceeds the ease of using (for sending questions which rock) English? For all questions (a), (a) rocks only if (a) indicates the thing which is not understood.
Many users (of English) (a) exist such that (a) dislikes the questions which are sent by VARIK. But VARIK is uncertain of a thing which is relatively rockin'.
That (VARIK uses mathematical notation) is justified by that (VARIK opines that mathematical notation facilitates sending (to users of English) questions)... and whatnot.

varikvalefor, to random
@varikvalefor@mathstodon.xyz avatar

ni'o cumki fa lo nu la .varik. cu zbasu lo me'oi .commit. poi ke'a dukseka le ka ce'u cmalu
.i ku'i le ka ce'u cmalu cu mutce le ka ce'u mleca le ka ce'u xi re barda kei le ka la .varik. cu toldji lo nu la .varik. cu zbasu lo me'oi .commit. poi ke'a dukseka ce'u xi re
.i ku'i ji'a tu'a le su'u la .varik. cu zbasu lo me'oi .commit. cu indika tu'a le pu'u la .varik. cu ciksi lo ctaipe... kei goi ko'a je cu filri'a lo nu la .varik. cu facki lo du'u ma kau mabla je cu pagbu ko'a

Possible is that VARIK creates commits which are excessively small.
But the extent (of that VARIK is disinclined to create commits which are excessively large) exceeds the extent of that VARIK is disinclined to create commits which are excessively large.
Additionally, something about that (VARIK creates commits) indicates stuff (regarding the process of that VARIK defines proofs) and facilitates that VARIK discovers parts (of the process) which suck.

varikvalefor,
@varikvalefor@mathstodon.xyz avatar

@vintprox:

> Smaller commits facilitate experimentatiom, [...]

.i ji'a filri'a lo nu skicu

Additionally, the thing facilitates describing.

> 2) Commit entries with your name and email are basically exceeding their content so much that content ratio is unbelievably small.

something something compression

> I hope, you don't wrap each and every symbol addition made in a span of an hour with an extra commit?

lol no

> What constitutes a commit, I think, is the state which you manually checked or where separate file is being edited (configuration or whatnot).

.i la .varik. cu tugni

VARIK agrees.

varikvalefor, to random
@varikvalefor@mathstodon.xyz avatar

"Don't you get too high, baby."

PID USERNAME PRI NICE SIZE RES STATE WAIT TIME CPU COMMAND
45472 vvx 10 0 3747M 3723M run/1 fsleep 17:44 100.00% agda

varikvalefor,
@varikvalefor@mathstodon.xyz avatar
varikvalefor,
@varikvalefor@mathstodon.xyz avatar

@vintprox .i na mapti .i la .varik. cu srera le nu na jmina le'i me'oi .parenthesis.

Not applies. VARIK errs. VARIK not adds parentheses.

varikvalefor, to random
@varikvalefor@mathstodon.xyz avatar
varikvalefor,
@varikvalefor@mathstodon.xyz avatar

@vintprox: s/get weekends/take (with regard to personal stuff) weekends/

varikvalefor, to random
@varikvalefor@mathstodon.xyz avatar

ℝ = ℤ × Codata.Colist.Colist (Fin 10) ∞

varikvalefor,
@varikvalefor@mathstodon.xyz avatar

ℂ = ℝ × ℝ

varikvalefor,
@varikvalefor@mathstodon.xyz avatar

@vintprox:

.i xu cfila

The thing is flawed?

varikvalefor, to random
@varikvalefor@mathstodon.xyz avatar

root@nerva:~# cat /root/prgs/horatio-ratio.hs
import Control.Monad;
import System.Environment;

blah :: Bool -> [String] -> (Int, Int, Int, Int);
blah _ [] = (0 , 0, 0, 0);
blah _ ("\begin{code}" : xs) = blah True xs;
blah _ ("\end{code}" : xs) = blah False xs;
blah True (t : xs) = addCode $ blah True xs
where {
addCode (a , b , c , d) = (a, b+1, c, d + length t);
}
blah False (t : xs) = addNot $ blah False xs
where {
addNot (a, b, c, d) = (a + 1, b, c + length t, d);
}

main = (>>=) getArgs $ mapM $ readFile >=> print . blah False . lines;

ColinTheMathmo, to random
@ColinTheMathmo@mathstodon.xyz avatar

Gosh ...

varikvalefor,
@varikvalefor@mathstodon.xyz avatar

chrirp

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