-- Leo's gemini proxy

-- Connecting to gemini.tuxmachines.org:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini;lang=en-GB

Tux Machines


Programming Leftovers


Posted by Roy Schestowitz on Oct 30, 2022


today's leftovers

Accessible-Coconut - Linux for Visually Impaired People [Review]


↺ Professor Kathleen Booth


Remembering Professor Kathleen Booth, 1922-2022 | Birkbeck Perspectives


↺ Remembering Professor Kathleen Booth, 1922-2022 | Birkbeck Perspectives


> The pioneering computer scientist was instrumental in founding Birkbeck’s Department of Computer Science and her legacy lives on in the College today. We were deeply saddened to hear of the passing of Professor Kathleen Booth (née Britten) on Thursday 29 September 2022.



New paper: optimization of test cases generated from failed proofs


↺ New paper: optimization of test cases generated from failed proofs


> Li Huang (PhD student at SIT) will be presenting at an ISSRE workshop the paper Improving Counterexample Quality from Failed Program Verification, written with Manuel Oriol and me. One can find the text on arXiv here. (I will update this reference with the official publication link when I have it.)



Deploy Early, Deploy Often


↺ Deploy Early, Deploy Often


> The longer the time between when code has been merged and when it is released increases the chance of an oversight.


> Production will break. Then, it’s a matter of how quickly you can push a fix. Deploying often means deploying fast.



Open source sustainment and the future of Gitea


↺ Open source sustainment and the future of Gitea


> Our most important goal is ensuring the long term success of the project. Over the years we have tried various ways to support maintainers and the project. Some ways we have tried include bounties, direct donations, grants, and a few others. We have found that while there have been many wonderful individuals, and a few corporations who have been incredibly generous, and we are so thankful for their support, there are a few corporations (with revenues that are greater than some countries GDP) are building on Gitea for core products without even contributing back enhancements. This is of course within the scope of the license, however prevents others from the community from also benefitting.



Dirk Eddelbuettel: littler 0.3.17 on CRAN: Maintenance


↺ Dirk Eddelbuettel: littler 0.3.17 on CRAN: Maintenance


> The eighteenth release of littler as a CRAN package just landed, following in the now sixteen year history (!!) as a package started by Jeff in 2006, and joined by me a few weeks later.


> littler is the first command-line interface for R as it predates Rscript. It allows for piping as well for shebang scripting via #!, uses command-line arguments more consistently and still starts faster. It also always loaded the methods package which Rscript only started to do in recent years.



Announcing git-cinnabar 0.5.11 and 0.6.0rc2


↺ Announcing git-cinnabar 0.5.11 and 0.6.0rc2


> Git-cinnabar is a git remote helper to interact with mercurial repositories. It allows to clone, pull and push from/to mercurial remote repositories, using git.



Dirk Eddelbuettel: gettz 0.0.5 on CRAN: Maintenance


↺ Dirk Eddelbuettel: gettz 0.0.5 on CRAN: Maintenance


> A minor routine update 0.0.5 of gettz arrived on CRAN overnight.


> gettz provides a possible fallback in situations where Sys.timezone() fails to determine the system timezone. That happened when e.g. the file /etc/localtime somehow is not a link into the corresponding file with zoneinfo data in, say, /usr/share/zoneinfo. Since the package was written (in the fall of 2016), R added a similar extended heuristic approach itself.



27 Next.js Free Open Source Boilerplate, Templates, and Starters


↺ 27 Next.js Free Open Source Boilerplate, Templates, and Starters


> Next.js is an open-source web framework for React. It offers an easy workflow to build reactive scalable enterprise-grade apps.


> Next.js can also be used to to build desktop apps with Electron and Tauri (Rust), as well as mobile apps with Electron.


> Because Next.js has a vast wide community of developers, it has no shortage of starter, templates, and boilerplate to speed up the production.


> In this article, we offer you a collection of Next.js starters projects which are free to use and open-source, to be used in your next project.


> This collection includes starters for eCommerce packages, dashboard control systems, social and community projects, content management systems, and enterprise landing pages.



Book review - Learn JavaFX Game and App Development with FXGL 17


↺ Book review - Learn JavaFX Game and App Development with FXGL 17


> This summer I read the book “Entreprenerd” by Bruno Lowagie. It tells the story of how he started with the iText PDF Java library and turned that into a company together with his wife, and eventually sold it with all problems related to most sales and acquisitions trajects… In “Entreprenerd”, he also describes the process of writing two books about the iText library itself, as there were no good manuals available and he wanted to liberate himself from the ever-returning same questions. When I received this book about FXGL, I immediately had to think back to the story of Bruno. Who better to write a book about a library than Almas, the creator himself?




gemini.tuxmachines.org

-- Response ended

-- Page fetched on Sat Jun 1 06:28:40 2024