Shaare your links...
2434 links
interesting links Home Login RSS Feed ATOM Feed Tag cloud Picture wall Daily
Links per page: 20 50 100
◄Older
page 16 / 34
Newer►
680 results for tags software x
  • Robert Smith's repositories
    Found via computable-reals https://github.com/tarballs-are-good/computable-reals, but others such as Quickproject https://github.com/tarballs-are-good/quickproject are interesting as well.
    Mon Jul 16 14:13:46 2018 - permalink -
    - https://github.com/tarballs-are-good?tab=repositories
    common-lisp FOSS lisp software TODO
  • Using Optimization to Extract Roots of Real Coefficient Polynomials
    Matlab implementation of the Durand-Kerner algorithm to compute the roots of a polynomial.
    Wed Jul 11 18:24:42 2018 - permalink -
    - http://www.hpmuseum.org/forum/thread-11032-post-100258.html#pid100258
    algorithm numerical software
  • Coccinelle: A Program Matching and Transformation Tool for Systems Code
    Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code. Coccinelle was initially targeted towards performing collateral evolutions in Linux. Such evolutions comprise the changes that are needed in client code in response to evolutions in library APIs, and may include modifications such as renaming a function, adding a function argument whose value is somehow context-dependent, and reorganizing a data structure. Beyond collateral evolutions, Coccinelle is successfully used (by us and others) for finding and fixing bugs in systems code.
    Tue Jul 10 13:47:47 2018 - permalink -
    - http://coccinelle.lip6.fr/
    Linux software tool
  • Consulting in mathematics, statistics, and scientific computing
    Apart from the blog, there are technical notes https://www.johndcook.com/blog/writing/ and on-line calculators https://www.johndcook.com/blog/online-calculators/
    As an example, see Camp-Paulson normal approximation to the binomial distribution https://www.johndcook.com/blog/camp_paulson/
    The articles https://www.johndcook.com/blog/2024/04/01/more-laguerre-images/ and
    https://www.johndcook.com/blog/2024/03/22/laguerres-root-finding-method/ demonstrate the basins of attraction for Laguerre's root-finding method.
    https://www.johndcook.com/blog/2018/11/24/spheroid-distance/ should be useful for azel.
    https://www.johndcook.com/blog/2020/02/08/arenstorf-orbit/ shows a periodic solution to the restricted 3-body problem.
    https://www.johndcook.com/blog/2022/11/14/simultaneous-root-finding/ describes the Durand-Kerner polynomial root finding method.
    https://www.johndcook.com/blog/2022/11/01/kepler-newton/ discusses solving Kepler's equation

    TODO: https://www.johndcook.com/blog/2022/10/30/arctan-k-tan-t/ states "This plot looks similar to the plot of true anomaly for a highly elliptical orbit. I’m sure they’re related, but I haven’t worked out exactly how."

    https://www.johndcook.com/blog/2022/10/21/math-origins/ explains V.I. Arnolds comment
    "All mathematics is divided into three parts: cryptography (paid for by CIA, KGB and the like), hydrodynamics (supported by manufacturers of atomic submarines), and celestial mechanics (financed by military and other institutions dealing with missiles, such as NASA)."

    https://www.johndcook.com/blog/2018/09/24/riemann-hypothesis-the-fine-structure-constant-and-the-todd-function/ is about  Sir Michael Atiyah's incorrect proof of Riemann's hypothesis, the article https://rjlipton.com/2018/09/26/reading-into-atiyahs-proof/ is an interesting read. (I had bookmarked this entry on Wed Sep 26 15:51:47 2018 and put it here 2024-04-03.)

    The article https://www.johndcook.com/non_central_chi_square.pdf sounds interesting:
    John D. Cook Upper bounds on non-central chi-squared tails and truncated normal moments (2010). UT MD Anderson Cancer Center Department of Biostatistics Working Paper Series. Working Paper 62.
    Abstract. We show that moments of the truncated normal distribution provide upper bounds on the tails of the non-central chi-squared distribution, then develop upper bounds for the former.
    Mon Jul 9 11:55:42 2018 - permalink -
    - https://www.johndcook.com/blog/
    algorithm Laguerre mathematics numerical physics programming Riemann software TODO
  • Raw GNSS Measurements  |  Android Developers
    The Android Framework provides access to raw GNSS measurements on several Android devices (Android 7 or higher is needed).
    Thu Jul 5 16:47:28 2018 - permalink -
    - https://developer.android.com/guide/topics/sensors/gnss#feedback
    Android satellite-navigation software
  • NeoPG - A multiversal crypto engine.
    NeoPG is a modern replacement for GnuPG 2
    NeoPG starts as an opinonated fork of GnuPG 2 to clean up the code and make it easier to develop.
    We want to provide a stable and extensible API for application developers, too.
    Eventually, we will add new ways to use OpenPGP that make it accessible and usable.
    As of 2021-12-06, the domain is no longer in use.
    Tue Jul 3 17:48:52 2018 - permalink -
    - https://neopg.io/
    cryptography FOSS security software
  • PINN Is Not NOOBS - An easy enhanced Operating System installer for the Raspberry Pi
    Fri Jun 29 17:34:54 2018 - permalink -
    - https://github.com/procount/pinn/blob/master/README_PINN.md
    pi raspberry software TODO π
  • Signal Monitoring and Analysis: TDoA measurements using GPS time-stamped IQ samples from KiwiSDRs (1)
    TDoA measurements of the DCF77 transmitter.
    Thu Jun 28 18:38:53 2018 - permalink -
    - http://hcab14.blogspot.com/2017/11/tdoa-measurements-using-gps-time.html
    physics radio software
  • SSH and Ubuntu Touch - everything you want to ask but are afraid to ask
    Interesting information about ssh{d} on Ubuntu touch.
    Tue Jun 26 01:48:02 2018 - permalink -
    - https://kriscode.blogspot.com/2017/12/ssh-and-ubuntu-touch.html
    blog software Ubuntu
  • inotify - get your file system supervised
    Website dedicated to the inotify technology. Here you can find what is inotify, how to use and why (and the obsolete dnotify is bad) and much more information.
    Fri Jun 22 12:02:06 2018 - permalink -
    - http://inotify.aiken.cz/?section=common&page=home&lang=en
    FOSS Linux software
  • NetSurf Web Browser
    Small as a mouse, fast as a cheetah and available for free. NetSurf is a multi-platform web browser for RISC OS, UNIX-like platforms (including Linux), Mac OS X, and more.
    Tue Jun 19 14:25:08 2018 - permalink -
    - http://www.netsurf-browser.org/
    C FOSS GPL software web
  • Upspin · Upspin
    When did you last…
     download a file just to upload to another device?
     download a file from one web service just to upload to another?
     make a file public just to share it with one person?
     accidentally make something visible to the wrong people?
    Upspin is an attempt to address problems like these, and many more.

    Upspin is in its early days, but the plan is for you to manage all your data—even data you’ve stored in commercial web services—in a safe, secure, and sharable way that makes it easy to discover what you’ve got and who you’ve shared it with.
    Fri Jun 15 22:10:02 2018 - permalink -
    - https://upspin.io/
    FOSS software TODO
  • U-blox announces the F9 platform with L1/L2/L5 frequencies supported – rtklibexplorer
    Exploring precision GPS/GNSS with RTKLIB open source software and low-cost u-blox GPS receivers.
    This particular post links to the announcement of the u-blox ZED-F9P high precision GNSS module
    https://www.u-blox.com/en/product/zed-f9p-module
    According to https://forum.u-blox.com/index.php/18878/when-can-i-get-a-zed-f9p
    "I contacted u-blox and they said that the evaluation kits will be available at the end of Nov 2018."
    Wed May 23 11:29:52 2018 - permalink -
    - https://rtklibexplorer.wordpress.com/2018/02/27/u-blox-announces-the-f9-platform-with-l1-l2-l5-frequencies-supported/
    FOSS GNSS hardware satellite-navigation software
  • Convenient End-to-End Encryption for E-Mail
    Autocrypt is a set of guidelines for developers to achieve convenient end-to-end-encryption of e-mails. It specifies how e-mail programs negotiate encryption capabilities using regular e-mails.

    For users, Autocrypt Level 1 offers single-click, opt-in encryption, eases encrypted group communications, and provides a way to setup encryption on multiple devices.
    Mon May 7 15:50:53 2018 - permalink -
    - https://autocrypt.org/index.html
    cryptography security software TODO
  • Containerize data, not services
    Found via "Some random thoughts on improving self-hosting of software at home"  http://notes.whatthefuck.computer/1493081100.0-note.html
    We claim that Sandstorm mitigates most security bugs in apps, by default. We also claim that Sandstorm is the easiest way ever to deploy small-scale (personal, or corporate-internal) web services.
    Understandably, people used to the status quo find these claims hard to believe. It sounds like magic.

    On this page, we will explain the two main pieces of "magic" that make it all work:

    Fine-grained Containerization
    Capability-based Security
    Tue Apr 24 00:23:43 2018 - permalink -
    - https://sandstorm.io/how-it-works
    security software web
  • Notes for new Make users
    How to use (GNU) make.
    Tue Apr 10 16:52:03 2018 - permalink -
    - http://gromnitsky.users.sourceforge.net/articles/notes-for-new-make-users/
    GNU software tool Unix
  • chrony – Introduction
    chrony is a versatile implementation of the Network Time Protocol (NTP). It can synchronise the system clock with NTP servers, reference clocks (e.g. GPS receiver), and manual input using wristwatch and keyboard. It can also operate as an NTPv4 (RFC 5905) server and peer to provide a time service to other computers in the network.
    Tue Apr 10 12:49:48 2018 - permalink -
    - https://chrony.tuxfamily.org/index.html
    Linux NTP software time TODO
  • LeanTRX: A web interface for embedded SDR platforms
    SDR software running on the ADALM Pluto.
    Sat Mar 31 01:34:25 2018 - permalink -
    - http://www.pabr.org/radio/leantrx/leantrx.en.html#bsp_plutosdr
    Linux radio software TODO
  • ISLisp Processor KISS
    KISS is aimed to be a conforming ISLisp processor.
    The development is at the initial stage.

    The current KISS is an interpreter written in C and ISLisp by Yuji Minejima.

    See also the public domain draft of the ISlisp specification
    https://github.com/nenbutsu/ISLispHyperDraft
    https://nenbutsu.github.io/ISLispHyperDraft/islisp-v23.html
    Tue Mar 27 14:14:34 2018 - permalink -
    - https://github.com/nenbutsu/kiss
    GPL ISLisp lisp software
  • The history of documented Unix facilities
    The links are associated with a timeline visualization, a curated data set, and a repository detailing the evolution of 15,596 unique documented facilities (commands, system calls, library functions, device drivers, etc.) across 93 major Unix releases tracked by the Unix history repository.
    Wed Mar 21 14:22:06 2018 - permalink -
    - https://dspinellis.github.io/unix-history-man/index.html
    computer history software Unix
Links per page: 20 50 100
◄Older
page 16 / 34
Newer►
Shaarli 0.0.41 beta - The personal, minimalist, super-fast, no-database delicious clone. By sebsauvage.net. Theme by idleman.fr.