Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@frankel@mastodon.top
2024-03-29 09:12:12

Context: The Missing Feature of Programming Languages
medium.com/source-and-buggy/co

Context: The Missing Feature of Programming Languages
A fresh new codebase may be able to do something trivial, say display a popup dialog to the user, by simply calling a system method to display a popup dialog. Simple! But, not scalable. As features…

@khalidabuhakmeh@mastodon.social
2024-04-28 15:39:08

Really neat post from @… #jetbrains #fleet #softwaredevelopment

Polyglot Programming Is a Thing | The Fleet Blog
There are millions of professional software developers and even more learners and hobbyists who enjoy coding. Dozens of programming languages are in widespread use, many of which come with their own b

@arXiv_csLO_bot@mastoxiv.page
2024-03-29 07:18:54

Linear Programming in Isabelle/HOL
Julian Parsert
arxiv.org/abs/2403.19639 arxiv.org/pdf/2403.19639

Linear Programming in Isabelle/HOL
Linear programming describes the problem of optimising a linear objective function over a set of constraints on its variables. In this paper we present a solver for linear programs implemented in the proof assistant Isabelle/HOL. This allows formally proving its soundness, termination, and other properties. We base these results on a previous formalisation of the simplex algorithm which does not take optimisation problems into account. Using the weak duality theorem of linear programming we obt…

@MrBerard@pilote.me
2024-02-29 09:39:04

"Let he who has never TypeError'd cast the first Int"
#Programming #DataTypes #Memes

Artists rendition of Jesus "Big J" Christ programming a computer, crunching those SLoC like a 10x brogrammer, cause JESUS SHIPS
@arXiv_csHC_bot@mastoxiv.page
2024-03-29 07:19:17

Exploring Communication Dynamics: Eye-tracking Analysis in Pair Programming of Computer Science Education
Wunmin Jang, Hong Gao, Tilman Michaeli, Enkelejda Kasneci
arxiv.org/abs/2403.19560

Exploring Communication Dynamics: Eye-tracking Analysis in Pair Programming of Computer Science Education
Pair programming is widely recognized as an effective educational tool in computer science that promotes collaborative learning and mirrors real-world work dynamics. However, communication breakdowns within pairs significantly challenge this learning process. In this study, we use eye-tracking data recorded during pair programming sessions to study communication dynamics between various pair programming roles across different student, expert, and mixed group cohorts containing 19 participants. …

@datascience@genomic.social
2024-03-30 11:00:01

Primer to get you started with Optimization and Mathematical Programming in R #rstats

CRAN Task View: Optimization and Mathematical Programming
This CRAN Task View contains a list of packages that offer facilities for solving optimization problems. Although every regression model in statistics solves an optimization problem, they are not part of this view. If you are looking for regression methods, the following views will also contain useful starting points: MachineLearning, Econometrics, Robust Packages are categorized according to the following sections. See also the “Related Links” and “Other Resources” sections at the end.

@arXiv_csLO_bot@mastoxiv.page
2024-03-29 07:18:54

Linear Programming in Isabelle/HOL
Julian Parsert
arxiv.org/abs/2403.19639 arxiv.org/pdf/2403.19639

Linear Programming in Isabelle/HOL
Linear programming describes the problem of optimising a linear objective function over a set of constraints on its variables. In this paper we present a solver for linear programs implemented in the proof assistant Isabelle/HOL. This allows formally proving its soundness, termination, and other properties. We base these results on a previous formalisation of the simplex algorithm which does not take optimisation problems into account. Using the weak duality theorem of linear programming we obt…