101010.pl

Tariq<a href="https://mathstodon.xyz/@jonmsterling" class="u-url mention" rel="nofollow noopener" target="_blank">@jonmsterling</a> I think I've cracked it.The type of λxyz.(xz)(yz)is( A → (E → F)) → (C → E) → C → FI was previously trying to infuse information about what gets applied to what in the final type and mistakenly doing stuff like (AB)Now I realise the "dependency" info all goes into the "input" types as above.<a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a>

TariqWhat's the type of the following term?λxyz . (xz)(yz)If we say x: A y: B z: CThe type of the term is I thinkA → B → C → (AC)(BC)But something tells me this is not using the fact that B and A must be arrow types themselves. <a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a>

TariqIf you want a nice and quick interactive (check you actually understand) tutorial on λ-calculus basics...this is quite nice and can be done in about an hour, or less if you're quicker than I am<a href="https://lambdaexplorer.com" rel="nofollow noopener" translate="no" target="_blank">https://lambdaexplorer.com</a><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a>

TariqI've struggled for 2 days with this exerciseFind a λ-term M such that Mxyz = xyzM (beta equivalence)If anyone wants to comment / help please do so here or at stackexchange<a href="https://cs.stackexchange.com/questions/173015/method-to-solve-to-mxyz-β-xyzm-λ-term-m" rel="nofollow noopener" translate="no" target="_blank">https://cs.stackexchange.com/questions/173015/method-to-solve-to-mxyz-β-xyzm-λ-term-m</a>--M := xyz feels like cheating and not aligned to the course content on the fixed point theorem and fixed point combinators <a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a>

Nick Byrd, Ph.D.How are concepts like 'reasoning' and 'inference' defined?<a href="https://nerdculture.de/tags/Philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#Philosophy</a> has definitions that go way back (e.g., in <a href="https://nerdculture.de/tags/epistemology" class="mention hashtag" rel="nofollow noopener" target="_blank">#epistemology</a> and <a href="https://nerdculture.de/tags/PhilMind" class="mention hashtag" rel="nofollow noopener" target="_blank">#PhilMind</a>). Now <a href="https://nerdculture.de/tags/computerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#computerScience</a> are realizing a need for definitions.This <a href="https://nerdculture.de/tags/openAccess" class="mention hashtag" rel="nofollow noopener" target="_blank">#openAccess</a> <a href="https://nerdculture.de/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a> review takes a crack at them: <a href="https://doi.org/10.48550/arXiv.2504.15900" rel="nofollow noopener" translate="no" target="_blank">https://doi.org/10.48550/arXiv.2504.15900</a>

amen zwa, esq.As an <a href="https://mathstodon.xyz/tags/EE" class="mention hashtag" rel="nofollow noopener" target="_blank">#EE</a>, I learned cope with \(\infty\). As a <a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a>, I learned to fear it.

Tariqmy first ever use of induction with λ-calculus !!<a href="https://type-theory-and-formal-proof.blogspot.com/2025/05/chapter-1-exercise-13.html" rel="nofollow noopener" translate="no" target="_blank">https://type-theory-and-formal-proof.blogspot.com/2025/05/chapter-1-exercise-13.html</a><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a>

skillissues.techLearning C about argv and argc and learning that <a href="https://techhub.social/tags/Linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#Linux</a> is written in C and knowing that Linux is open source, can I look at the code written for the binaries (ls, mkdir, cd etc.)? <a href="https://techhub.social/tags/coding" class="mention hashtag" rel="nofollow noopener" target="_blank">#coding</a> <a href="https://techhub.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://techhub.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a>

Trannus🇵🇸🇺🇦AranSo for no reason at all, any <a href="https://sfba.social/tags/trans" class="mention hashtag" rel="nofollow noopener" target="_blank">#trans</a> folks have advice on applying to <a href="https://sfba.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> masters programs in Europe? 🏳️‍⚧️🇺🇸🫠->🇪🇺

TariqHelp requested.Just started doing exercises on λ-calculus(λx ((( xz ) y ) ( x x) )))Removing outer brackets andusing (xz) y = xzy by right associativity we can simplify toλx (xzy)(xx)I can't simplify further because (xzy)(xx) does not equal (xzyxx). Right associvity doesn't help here.Is that right?<a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a>

TariqToday I have been learning the basics of λ-calculusα- equivalence β- reduction... all necessary basics before I can get the cool stuff about using type checkers to prove maths (I think).<a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a>

Tariqlearning the basics of λ-calculusbook says the term λx. (x x) has 4 sub terms :λx. (xx) (xx) left x in (x x) right x in (x x)BUT not the x in λxwhy is this?is it because the y in λy (something) is only pointing out which variable in (something) is the "abstract" variable, or the one that takes on values to whatever (something) is applied to?in which case why is λx. (x x) different to (xx) ?<a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mastodon.social/tags/typetheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#typetheory</a>

Farooq | فاروقUnfortunately, my horse power computer is now offline. And I am in another city so no access to it. It's likely that there has been a <a href="https://cr8r.gg/tags/poweroutage" class="mention hashtag" rel="nofollow noopener" target="_blank">#poweroutage</a> which is now very common in my country <a href="https://cr8r.gg/tags/iran" class="mention hashtag" rel="nofollow noopener" target="_blank">#iran</a> I am doing experiments with <a href="https://cr8r.gg/tags/wakegp" class="mention hashtag" rel="nofollow noopener" target="_blank">#wakegp</a> to see if my simple method for parsimony pressure is effective. Till now, it seems that its effect is very little. I'm thinking of other methods for parsimony pressure such as bucketing and tournament selection(for size instead of fitness).I am expecting to deliver results in summer, God willing. <a href="https://cr8r.gg/tags/Geneticprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#Geneticprogramming</a> <a href="https://cr8r.gg/tags/evolutionarycomputation" class="mention hashtag" rel="nofollow noopener" target="_blank">#evolutionarycomputation</a> <a href="https://cr8r.gg/tags/EvolutionaryComputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#EvolutionaryComputing</a> <a href="https://cr8r.gg/tags/artificialintelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#artificialintelligence</a> <a href="https://cr8r.gg/tags/machinelearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#machinelearning</a> <a href="https://cr8r.gg/tags/ml" class="mention hashtag" rel="nofollow noopener" target="_blank">#ml</a> <a href="https://cr8r.gg/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#ai</a> <a href="https://cr8r.gg/tags/wake_word_detection" class="mention hashtag" rel="nofollow noopener" target="_blank">#wake_word_detection</a> <a href="https://cr8r.gg/tags/wakeworddetection" class="mention hashtag" rel="nofollow noopener" target="_blank">#wakeworddetection</a> <a href="https://cr8r.gg/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://cr8r.gg/tags/computer_science" class="mention hashtag" rel="nofollow noopener" target="_blank">#computer_science</a> <a href="https://cr8r.gg/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://cr8r.gg/tags/computerscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#computerscience</a>

amen zwa, esq.It vexes me that UI books written by current IT practitioners inevitably descend into API-call-fest—a code dump, as it were. This sort of presentation is ineffective. In fact, it is childish.A typical <a href="https://mathstodon.xyz/tags/programmer" class="mention hashtag" rel="nofollow noopener" target="_blank">#programmer</a> in IT who designs and implements a non-trivial UI, webtop or desktop, is seasoned, experienced; he knows how to use an API. But he does not necessarily have a background in usability:PSYCHOLOGY • The <a href="https://mathstodon.xyz/tags/psychology" class="mention hashtag" rel="nofollow noopener" target="_blank">#psychology</a> of visual and tactile perceptions • The psychology of human-computer interaction <a href="https://mathstodon.xyz/tags/HCI" class="mention hashtag" rel="nofollow noopener" target="_blank">#HCI</a> • The design and administration of psychological experiments on interaction and usability • The design of the interaction flowLIBRARY SCIENCE • The design of the underlying information architecture • The design of information layoutVISUAL ARTS • The effective use of colour • The effective use of fontThere are tonnes of other usability-related subjects that fall way outside of modern CS curricula. The <a href="https://mathstodon.xyz/tags/UI" class="mention hashtag" rel="nofollow noopener" target="_blank">#UI</a> books should aspire to teach these cross-discipline subjects on <a href="https://mathstodon.xyz/tags/usability" class="mention hashtag" rel="nofollow noopener" target="_blank">#usability</a> to <a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a> and <a href="https://mathstodon.xyz/tags/IT" class="mention hashtag" rel="nofollow noopener" target="_blank">#IT</a> practitioners.Sure, code samples and screenshots of some popular UI framework would be helpful. But the main thrust of these books must be usability, with the organisation that assumes tech-savvy engineers and programmers, not novices.

Hyperhidrosis :reddit_gold: chat how to advertise saas? <a class="hashtag" href="https://shitposter.world/tag/saas" rel="nofollow noopener" target="_blank">#saas</a> <a class="hashtag" href="https://shitposter.world/tag/website" rel="nofollow noopener" target="_blank">#website</a> <a class="hashtag" href="https://shitposter.world/tag/project" rel="nofollow noopener" target="_blank">#project</a> <a class="hashtag" href="https://shitposter.world/tag/cs" rel="nofollow noopener" target="_blank">#cs</a> <a class="hashtag" href="https://shitposter.world/tag/dev" rel="nofollow noopener" target="_blank">#dev</a>

amen zwa, esq.I was an <a href="https://mathstodon.xyz/tags/EE" class="mention hashtag" rel="nofollow noopener" target="_blank">#EE</a> undergrad, when I backed into <a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a>. This was the age when assembly was the JavaScript of the day and structured programming was the state-of-the-fart. So, it was a jolt, when I first encountered Test-Driven Development <a href="https://mathstodon.xyz/tags/TDD" class="mention hashtag" rel="nofollow noopener" target="_blank">#TDD</a> in the early 2000s, thanks to the luminaries like Kent Beck, et al. Brilliant stuff!But, at the risk of being drawn and quartered, I do say that TDD is a bit of a misnomer and an overstatement. Honestly, answer this: do EEs really create the hardware test suits first, before conducting analysis and design, and do CSs really create the software test suits first, before performing analysis and design?No, we do not! We analyse the problem, we study the requirements, we search for inspiration in the literature, we sip our tea or coffee, we select a candidate solution, we create a plausible design, we implement a prototype, then we test—yes, THEN, WE TEST—if our wild imaginations have any basis in reality at all.So, I prefer a more down-to-earth descriptionof TDD, which says, "test early, test often, test as much as practicable", not "test first, because".

Dzokero<a href="https://mastodon.online/@neokoriban" class="u-url mention" rel="nofollow noopener" target="_blank">@neokoriban</a> kcem czarnego By się strachajła od przepowiedni zesrały ze strachu o apokalipsę <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://mastodon.social/tags/hide" class="mention hashtag" rel="nofollow noopener" target="_blank">#hide</a>

tinfoil-hat<a class="hashtag" href="https://social.tinfoil-hat.net/tag/linustourvalds" rel="nofollow noopener" target="_blank">#LinusTourvalds</a> <a class="hashtag" href="https://social.tinfoil-hat.net/tag/linux" rel="nofollow noopener" target="_blank">#Linux</a> <a class="hashtag" href="https://social.tinfoil-hat.net/tag/git" rel="nofollow noopener" target="_blank">#Git</a> <a class="hashtag" href="https://social.tinfoil-hat.net/tag/cs" rel="nofollow noopener" target="_blank">#CS</a> <a class="hashtag" href="https://social.tinfoil-hat.net/tag/programming" rel="nofollow noopener" target="_blank">#Programming</a> <a class="hashtag" href="https://social.tinfoil-hat.net/tag/dev" rel="nofollow noopener" target="_blank">#Dev</a> Jesus Christ, he became old =:O

amen zwa, esq.Here is a partial list of things in <a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a> and <a href="https://mathstodon.xyz/tags/IT" class="mention hashtag" rel="nofollow noopener" target="_blank">#IT</a> that truly vex me:• The use of the nonsensical mm/dd/yy date format and the equally nonsensical 12-hour time format in programming, especially when the leading zero is dropped, instead of the ISO UTC date-time format • The incomplete, inconsistent implementations of time zones, the 19th Century anachronism • Continued reliance on the OSs that trace their design roots back to the early 1960s • The web browser’s futile, even if valiant, attempts to replicate the functionalities of the OS in the name of greater security and easier deployment, instead of supporting modern, standardised security and delivery mechanisms directly in the OS, thereby eliminating unnecessary complexities and inefficiencies • The mushrooming of web GUI frameworks that are touted as "new" but in truth are mere rehashes of the "old" one that came out three months ago, instead of standardising on a standardised look-and-feel that promotes usability, portability, and maintainability • The coders who, with no training in psychology, have the temerity to design nonsensical UIs purely for fancy effects, instead of aiming for consistency, predictability, and usability • The practice of shoehorning modern programming concepts and facilities into old languages that were designed when the hardware occupied an entire floor and the software occupied a small deck of punchcards, instead of letting those old languages retire with dignity befitting their history

Samuel Tardieu ✅A permanent "computer science research engineer" position is open within my research team at Télécom Paris (Palaiseau, France): <a href="https://institutminestelecom.recruitee.com/l/en/o/ingenieure-ou-ingenieur-de-recherche-en-informatique" rel="nofollow noopener" translate="no" target="_blank">https://institutminestelecom.recruitee.com/l/en/o/ingenieure-ou-ingenieur-de-recherche-en-informatique</a> <a href="https://masto.ai/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://masto.ai/tags/joboffer" class="mention hashtag" rel="nofollow noopener" target="_blank">#joboffer</a> Boosts apreciated!

Recent searches

Search options

Administered by:

Server stats:

#cs