Home New Trending Search
About Privacy Terms
#
#literateprogramming
Posts tagged #literateprogramming on Bluesky
Original post on fosstodon.org

Whether you agree with, hate, or are turbulently navigating the transition of many teams to agent-mediated coding (I am considering the post from @anildash where he talks about #codeless, IE #LiterateProgramming or #LiterateDevelopment), Robert C Martin's book, Clean Code should be the bible in […]

0 0 0 0
EmacsWiki: Carnival

My contribution to this month's Emacs Carnival (https://www.emacswiki.org/emacs/Carnival *An ode to org-babel*, as hosted by @donaldh.

www.homepages.ucl.ac.uk/~ucecesf/blog/20251112.h...

#Emacs #EmacsCarnival #OdeToOrgBabel #orgmode #DataProcessing #DataAnalysis #LiterateProgramming

1 0 0 0
Preview
Literate Implementations of Proof Assistants I have been experimenting with literate programming applied to the implementation of a toy HOL, and transcribing the Mizar proof assistant into Knuth’s WEB. This post will be more “prog…

I wrote a little about "literate programming" used to implement proof assistants, mostly about the "literate programming".

#LiterateProgramming #ProofAssistant #Logic #Mathematics

thmprover.wordpress.com/2025/09/16/l...

0 0 0 0

Streamline your coding workflow with Literate! Write doc & code together, in Markdown, then run them effortlessly. Ideal for tutorials, eductional content, and projects that value clarity. Try Literate programming today! #LiterateProgramming

0 0 0 0

Heute habe ich mir die Frage gestellt: Was wäre, wenn es nicht hieße "Der Code ist Dokumentation genug" sondern "Die Dokumentation ist Code genug"?

Oder auch: Wie sieht #LiterateProgramming heute aus?

0 0 0 0
Preview
6 lessons from literate programming What can the literate programming approach teach today's software developers

📖 Write code like you’re telling a story! Curious how Knuth's "literate programming" helps modern devs? Check out these 6 takeaways on making software more readable and maintainable 🛠️📝

victoronsoftware.com/posts/litera...
#DeveloperExperience #DevTips #LiterateProgramming

0 0 0 0
Below is a list of the key tests and techniques covered in the book:

GRIM
Granularity-Related
Inconsistency of Means
Checks if reported means are mathematically possible given sample size and integer data

GRIMMER
GRIM for standard deviations
Verifies if reported standard deviations are consistent with means and sample sizes

SPRITE
Sample Parameter
Reconstruction via
Iterative TEchniques
Reconstructs possible sample data from reported summary statistics

DEBIT
Detecting Errors in Binary
Analyzes binary variables in regression tables for consistency

RIVETS
Rounded Input Variables,
Exact Test Statistics
Identifies hand-calculated
statistics by examining precision of reported values

STALT
Smaller Than A Lowest
Threshold
Identifies suspiciously small p-values hidden behind threshold reporting (e.g., p < 0.05)

StatCheck
Automated recalculation of statistical tests
Verifies consistency between test statistics and reported p-values

Carlisle-Stouffer-
Fisher (CSF)
Analysis of multiple p-values
Examines validity of multiple baseline comparison p-values

Visual Analysis
Examination of graphs, plots, and images
Identifies duplicated or manipulated visual elements

 Book Review: An Introduction to Forensic Metascience, by James Heathers
Guest column by Harvey Motulsky
https://goodscience.substack.com/p/book-review-an-introduction-to-forensic

Below is a list of the key tests and techniques covered in the book: GRIM Granularity-Related Inconsistency of Means Checks if reported means are mathematically possible given sample size and integer data GRIMMER GRIM for standard deviations Verifies if reported standard deviations are consistent with means and sample sizes SPRITE Sample Parameter Reconstruction via Iterative TEchniques Reconstructs possible sample data from reported summary statistics DEBIT Detecting Errors in Binary Analyzes binary variables in regression tables for consistency RIVETS Rounded Input Variables, Exact Test Statistics Identifies hand-calculated statistics by examining precision of reported values STALT Smaller Than A Lowest Threshold Identifies suspiciously small p-values hidden behind threshold reporting (e.g., p < 0.05) StatCheck Automated recalculation of statistical tests Verifies consistency between test statistics and reported p-values Carlisle-Stouffer- Fisher (CSF) Analysis of multiple p-values Examines validity of multiple baseline comparison p-values Visual Analysis Examination of graphs, plots, and images Identifies duplicated or manipulated visual elements Book Review: An Introduction to Forensic Metascience, by James Heathers Guest column by Harvey Motulsky https://goodscience.substack.com/p/book-review-an-introduction-to-forensic

Via @deevybee review of nowadays much needed didactical #scicomm book

» provides practical tools for verifying the statistical consistency of published research.

It's available as a free ebook, making it accessible to the scientific community.
...
made the […]

[Original post on mastodon.social]

0 1 0 0
Preview
Notebook and Open science : toward more FAIR play Notebooks are now commonly used in digital research practices. Despite their increasing ubiquity, the characteristics, roles, and uses associated with notebooks have seldom been studied from a social ...

[ToRead] M. Le Béchec ; C. Gruson-Daniel ; C. Lascombes ; É. Schultz - Notebook and Open science: toward more FAIR play jdmdh:13428-Journal of Data Mining & Digital Humanities, 16 déc. 2024, Atelier Digit\_Hum=> doi.org/10.46298/jdm...
#FAIRprinciples #openscience #notebooks #literateprogramming #DH

0 0 0 0