@xameer@mathstodon.xyz

· 3mo ago

To put it quite bluntly: as long as there were no machines, programming was no problem at all; when we had a few weak computers, programming became a mild problem, and now we have gigantic computers, programming has become an equally gigantic problem. — Edsger Dijkstra, The Humble Programmer 1972 a very cool #rust blog https://without.boats/

without.boats

Without boats, dreams dry up

5

0

6

0

HoldMyType @xameer@mathstodon.xyz

· 3mo ago

https://youtube.com/shorts/B4_eMfD3cMc?si=Xx1HdGVjILeOfUy2 When you be lied on #resume #cats #humor

1

0

HoldMyType @xameer@mathstodon.xyz

· 5mo ago

Replying to

@galacticstone sociopaths?

2

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@jasongorman@mastodon.cloud someone has written it as in a very convincing way https://apenwarr.ca/log/20260316

apenwarr.ca

2

0

1

0

HoldMyType @xameer@mathstodon.xyz

· 4mo ago

Replying to

@yayroos@tech.lgbt @pho4cexa@tiny.tilde.website no https://en.wikipedia.org/wiki/Lie_algebra My interest in the metter is this Lie groups, the exponential map is a function that relates elements of a Lie algebra to the corresponding Lie group, specifically allowing for the exponentiation of matrices. For matrix Lie groups, the exponential map coincides with the matrix exponential, defined by the series expansion: exp(X) = I + X + (1/2)X² + (1/6)X³ + ..., where I is the identity matrix.

en.wikipedia.org

1

0

HoldMyType @xameer@mathstodon.xyz

· 4mo ago

Replying to

@veronica@explains.social sounds impossible

1

0

HoldMyType @xameer@mathstodon.xyz

· 5mo ago

Replying to

@Heliograph@mastodon.au it simply indicates the lack of clarity of about what we need , we re being force fed information for decades and forced always from our good ol lives in some nature , from the so called heroes

1

0

1

HoldMyType @xameer@mathstodon.xyz

· 5mo ago

Replying to

@BoydStephenSmithJr@hachyderm.io ( shameless plug) You can also try https://mathstodon.xyz/@xameer/116442463137528423

mathstodon.xyz

1

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@gregeganSF on a lighter note sunrise time does not depend on gravitational lensing. Gravitational lensing is a phenomenon where massive objects like galaxies or black holes bend light from distant sources, but it does not affect the timing of sunrise. Sunrise times are primarily influenced by Earth's rotation, axial tilt, and your location on the planet. So noons like myself can still use newton's ( bisection) approximation to calculate the sunrise time with data Sad part #ai couldn't have told the former , so newer theories , calculations and instruments of scientific observation need go on for ai to have any reliability on its data ops , no matter how it scraps that . New Knowledge is the product of any value , without it data is just noise , and ai is only making an echo chamber for noises #science

1

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@cmconseils too cool

1

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@ColinTheMathmo pun intended?

1

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@alice @srtcd424 so is the loyalty to any prestigious institutions or group of people ( elitism)

1

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@davidgerard@circumstances.run so does does that mean low memory consuming/ memory safe software is a market opportunity again

1

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@domi

Similar information density - if anything, 5.0.1 is more readable. The UI got redesigned a couple years back, but the spirit is still there. Same thing applies to virtually all programs for professionals. It's an exception to the rule: when redesigns happen, they're usually there for a reason, and rehash things in a more... thoughtful manner. This is a gem

1

0

HoldMyType @xameer@mathstodon.xyz

· 7mo ago

Replying to

@ramin_hal9001 @screwlisp @cdegroot gotta check your dotfiles again

1

0

HoldMyType @xameer@mathstodon.xyz

· 7mo ago

Replying to

@ramin_hal9001@fe.disroot.org @faab64@freefree.ps @srtcd424@mas.to @wizzy@noc.social that's precisely I went into existentially verifiable static types Even when I had no tooling, no funding and before it was mainstream buzz I owe nearly all to #Foss and #openpublish

1

0

HoldMyType @xameer@mathstodon.xyz

· 7mo ago

Replying to

@faab64@freefree.ps @ramin_hal9001@fe.disroot.org @srtcd424@mas.to @wizzy@noc.social thank you you could ve just muted the thread :D

1

0

HoldMyType @xameer@mathstodon.xyz

· 7mo ago

Replying to

@ramin_hal9001@fe.disroot.org @faab64@freefree.ps @srtcd424@mas.to @wizzy@noc.social economy sir is bound to be political as both the labor and the capital re no different Risk is always always political , stupidity is lack of self governance or even worse lack of self control , which compounds

1

6

0

HoldMyType @xameer@mathstodon.xyz

· 7mo ago

Replying to

@wizzy@noc.social @srtcd424@mas.to cc @ramin_hal9001@fe.disroot.org

1

9

0

HoldMyType @xameer@mathstodon.xyz

· 7mo ago

Replying to

@rikviergever @gabrielesvelto this was very needed

0

HoldMyType @xameer@mathstodon.xyz

· 5mo ago

Replying to

@andrejbauer@mathstodon.xyz not very different from slavery or human trafficking

0

3

0

HoldMyType @xameer@mathstodon.xyz

· 7mo ago

Replying to

@calvaris@mastodon.gal @igalia@floss.social yes this thing can be better , for all the nearly browsers which re not bigtech owner and can joad js-content

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@0x47df @srtcd424 cc #Foss community

0

HoldMyType @xameer@mathstodon.xyz

· 4mo ago

Replying to

@tante@tldr.nettime.org I am tired of this nomadism Github-> srht -> gitlab -> codeberg When all this thing be federated with multiple servers and single readme to migrate and practices?

0

1

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@sarahjamielewis reminds me of opening puzzles pics of

The fundamentals of physics
resnic and halliday

0

HoldMyType @xameer@mathstodon.xyz

· 4mo ago

Replying to

@ariadne@social.treehouse.systems very true But here s another brutal fact I went to arguably best tech college in my country and decided to build cool shit Nobody gives a shit about you trying to build shit , till it booms profit I built an ml infra thing recently and used ai to stabelize my model quickly And asked about the meaning of some of the things in the fix , which lead me to manifold hypothesis Surfing tonns of wiki , quota, reddit yeda yeda yeda didn't Consulting my seniors decades ago and trying to consult profs about it didn't , yes I could have skimmed a tonn of books as well , when nobody was paying a dime for building anything and #venturcapital was dumping tons of capital in to clones called startups leading to #gigeconomy which was a fancy name for a courier service . But .... But library asks for fee , my tabs don't pick themselves , I am flesh and blood , I didn't even have a PC till I was 23 , my school never had it, but it educated me better than the so called best tech college of my country So yes I do use ai to skim faster than I can . Because economics

0

HoldMyType @xameer@mathstodon.xyz

· 5mo ago

Replying to

@pigworker yes at the EOD , what extra thing they offer is semantic "understanding" generative capacity seems to be mostly scripts running on tons of machines Noob

0

HoldMyType @xameer@mathstodon.xyz

· 4mo ago

Replying to

@saagar@federated.saagarjha.com no! you gotta explain this what about ocaml? c or lisp ?

0

HoldMyType @xameer@mathstodon.xyz

· 4mo ago

Replying to

@tante@tldr.nettime.org they re making a joke out of intellect from raw power

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@raboof my so called boss imported a pinebook for me , was too excited act like its a big deal, tried to login with any password, forgot to remember the password and failed to recall

0

4

0

HoldMyType @xameer@mathstodon.xyz

· 5mo ago

Replying to

@JulianOliver@mastodon.social it read chrome and that was enough , another thing was #webgl fingerprinting

0

HoldMyType @xameer@mathstodon.xyz

· 5mo ago

RE: @xameer@mathstodon.xyz

https://youtu.be/T9CGjbPZeaM?si=IVZIZjYlzgVf8hpu
#barbaraliskov on downsides of #python encapsulation for modularity

0

1

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@raboof now there s a pine store here , but the 1st mover advantage was then

0

HoldMyType @xameer@mathstodon.xyz

· 5mo ago

Replying to

@jonmsterling the means of this good Faith assumption is basically deductive proof/reasoning If premise of x is true so should be be x. But that alone being sufficient is also the foundation of Popper's falsificationism ( thanks to Hume , who brought the focus on the problem of induction, which in math is applicable to just integers?) , so an honest review can also end up concluding that a thesis document has been falsified The problem of deduction is relevant to various fields and issues. Epistemology tries to understand how justification is transferred from the belief in the premises to the belief in the conclusion in the process of deductive reasoning

0

HoldMyType @xameer@mathstodon.xyz

· 5mo ago

Replying to

@andrejbauer@mathstodon.xyz but can the biology alone be sole criteria of being qualifying as a human or any living species for that matter? I mean A human being out of their autonomy over one's body, can opt to implant functional AI processing unit ( let's say, there ll be such a working unit) , How does that change their sociological and political identity in the context above ? /noob

0

1

0

1

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

Fixed Point Intersection or involution in #calculus ever wonder how #lambdacalculus handles such cases , plain vanilla lc doesn't butits fixed point combinator : a means to allow for recursive definitions. untyped lambda calculus, the function to apply the fixed-point combinator to may be expressed using an encoding, like Church encoding. In this case particular lambda terms (which define functions) are considered as values. "Running" (beta reducing) the fixed-point combinator on the encoding gives a lambda term for the result, which may then be interpreted as fixed-point value. In lambda calculus function (or term) is an implementation of a mathematical function. In the lambda calculus there are a number of combinators (implementations) that satisfy the mathematical definition of a fixed-point combinator. A combinator is a closed lambda expression, meaning that it has no free variables. The combinators may be combined to direct values to their correct places in the expression without ever naming them as variable

0

HoldMyType @xameer@mathstodon.xyz

· 5mo ago

Dear devs what's your process to criticize what you built with most dispassionate reason

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@dnkl @justine it gets confusing so many good terms to pick from and one person uses just one

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@koronkebitch @redmp Ahmed thesis broken link

0

HoldMyType @xameer@mathstodon.xyz

· 5mo ago

Replying to

@andrejbauer@mathstodon.xyz how can you even entertain it , besides testing it or something , linke Prof Jhala did , in a lecture on Liquid Haskell?

0

1

0

HoldMyType @xameer@mathstodon.xyz

· 2mo ago

Replying to

@ryanc@infosec.exchange llms have successfully built an rf chip that's not been reverse engineered

0

1

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@raboof I was doing the later , but nixos wasn't sufficiently detailed about boot leaders and pinebook was just beginning its market so the documentation wasn't about nixos , I never used arch before it and insulted ( so called partners in times for this)

0

2

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@totbwf few projects in the Rust ecosystem have emerged, primarily as simpler init processes for container environments or as proofs of concept catatonit and sinit

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@pustam_egr@mathstodon.xyz by you here , you mean electron or photon? Maxwell laws state almost the same

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@tao @noamzoam yes and we also ended with broken infra profit mongering generations

0

HoldMyType @xameer@mathstodon.xyz

· 5mo ago

https://x.com/_chenglou/status/2037713766205608234?s=20
Does that mea. #mitlicense for #vibecoding ?
So let me get this right ,
#ai says "statistically" invent by "cheap" iteration (not induction) , where the base case is #generativeai and that defies the logic as zero cost is needed for public utility
How about ai builds some roads like that and drive a nation bankrupt ?
#Foss

X (formerly Twitter)

Cheng Lou (@_chenglou) on X

My dear front-end developers (and anyone who’s interested in the future of interfaces): I have crawled through depths of hell to bring you, for the foreseeable years, one of the more important foundational pieces of UI engineering (if not in implementation then certainly at least in concept): Fast…

0

1

0

HoldMyType @xameer@mathstodon.xyz

· 1mo ago

Replying to

@VeroniqueB99@mastodon.social you for got your state of being (tired) is also political

0

1

0

HoldMyType @xameer@mathstodon.xyz

· 7mo ago

Replying to

@ramin_hal9001@fe.disroot.org @faab64@freefree.ps @srtcd424@mas.to @wizzy@noc.social that said there an urgent need to create a safe enough space for pre-,post-truth space , like quota but not for ads and more rigorous , all its going to take is a bunch of liberal enough profs, professionals with vetted credentials to join and tons ll join , their voice ll stand out , because one need research in order to defy or defend research

0

5

0

HoldMyType @xameer@mathstodon.xyz

· 6mo ago

Replying to

@shauna @yojimbo

The pressure came from the fact that I had welded my sense of self to the project's success, and anything that threatened the project threatened me. A rude issue comment wasn't just feedback about code. It was someone questioning whether I deserved to exist in the space I'd carved out

Happy for you , very honest !

but the fact remains, that for finding a job you have to attach your identity to your work ( the prerequisite for proof of skills, esp for a dropout or even someone with low grades ) When you get one (job) it doesn't go away it comes in different names , policies, market conditions, management decisions, office politics , peer pressures , market fit, culture fit, local/remote social life , future security, ...

0