Planet GNU

years · (Copyright © 2019 Veletrhy Brno, a. s. Photos licensed under CC BY 4.0.)

<parts interface="AP">
  <part operation="flash" partition="ota" filename="T77W968.F1.2.2.2.2.AP.123_ota.bin" MD5="f1adb38b5b0f489c327d71bfb9fdcd12"/>
</parts>
fib 0 = 0
fib 1 = 1
fib n = fib (n-1) + fib (n-2)

fib
fib:
    push   %r12
    mov    %rdi,%rax
    push   %rbp
    mov    %rdi,%rbp
    push   %rbx
    cmp    $0x1,%rdi
    jle    finish
    mov    %rdi,%rbx
    xor    %r12d,%r12d
again:
    lea    -0x1(%rbx),%rdi
    sub    $0x2,%rbx
    callq  fib
    add    %rax,%r12
    cmp    $0x1,%rbx
    jg     again
    and    $0x1,%ebp
    lea    0x0(%rbp,%r12,1),%rax
finish:
    pop    %rbx
    pop    %rbp
    pop    %r12
    retq   

fib
fib:
   push   %r14
   push   %rbx
   push   %rax
   mov    %rdi,%rbx
   cmp    $0x2,%rdi
   jge    recurse
   mov    %rbx,%rax
   add    $0x8,%rsp
   pop    %rbx
   pop    %r14
   retq   
recurse:
   lea    -0x1(%rbx),%rdi
   callq  fib
   mov    %rax,%r14
   add    $0xfffffffffffffffe,%rbx
   mov    %rbx,%rdi
   callq  fib
   add    %r14,%rax
   add    $0x8,%rsp
   pop    %rbx
   pop    %r14
   retq   

fib
ocamlopt
fib_tramp:
    jmp    fib

fib:
    push   %rbp
    mov    %rsp,%rbp
    pushq  $0xa
    push   %rsi
    sub    $0x10,%rsp
    mov    %rsi,%rbx
    mov    0x2f(%rbx),%rdx
    mov    %rax,-0x18(%rbp)
    cmp    %rsp,(%rdx)
    jae    stack_check
post_stack_check:
    cmp    $0x2,%eax
    jl     return_n
    lea    -0x2(%rax),%edx
    mov    %rbx,%rsi
    mov    %rax,%r10
    mov    %rdx,%rax
    mov    %r10,%rdx
    callq  fib_tramp
    mov    -0x18(%rbp),%rbx
    sub    $0x1,%ebx
    mov    %rax,-0x20(%rbp)
    mov    -0x10(%rbp),%rsi
    mov    %rax,%r10
    mov    %rbx,%rax
    mov    %r10,%rbx
    callq  fib_tramp
return:
    mov    -0x20(%rbp),%rbx
    add    %ebx,%eax
    mov    %rbp,%rsp
    pop    %rbp
    retq   
return_n:
    jmp    return
stack_check:
    callq  WasmStackGuard
    mov    -0x10(%rbp),%rbx
    mov    -0x18(%rbp),%rax
    jmp    post_stack_check

fib
rsi
rax
fib
fib(n)
fib
fib(n+1) ~= φ * fib(n)
fib(n)
2 * fib(n+1)
fib(40)
n > 2
fib
(define (fib n)
  (if (< n 2)
      n
      (+ (fib (- n 1)) (fib (- n 2)))))

(define (fib n)
  (define (fib* n)
    (if (< n 2)
        n
        (+ (fib* (- n 1)) (fib* (- n 2)))))
  (fib* n))

fib
--program
--script
local function fib(n)
function fib(n)
fib
fib
fib
#f
fib
StorePath: /gnu/store/6yc4ngrsig781bpayax2cg6pncyhkjpq-emacs-26.2
URL: nar/gzip/6yc4ngrsig781bpayax2cg6pncyhkjpq-emacs-26.2
Compression: gzip
NarHash: sha256:0h2ibqpqyi3z0h16pf7ii6l4v7i2wmvbrxj4ilig0v9m469f6pm9
NarSize: 134407424
References: 2dk55i5wdhcbh2z8hhn3r55x4873iyp1-libxext-1.3.3 …
FileSize: 48501141
System: x86_64-linux
Deriver: 6xqibvc4v8cfppa28pgxh0acw9j8xzhz-emacs-26.2.drv
Signature: 1;berlin.guixsd.org;KHNpZ25hdHV…
StorePath: /gnu/store/mvhaar2iflscidl0a66x5009r44fss15-gimp-2.10.12
URL: nar/gzip/mvhaar2iflscidl0a66x5009r44fss15-gimp-2.10.12
Compression: gzip
FileSize: 30872887
URL: nar/lzip/mvhaar2iflscidl0a66x5009r44fss15-gimp-2.10.12
Compression: lzip
FileSize: 18829088
NarHash: sha256:10n3nv3clxr00c9cnpv6x7y2c66034y45c788syjl8m6ga0hbkwy
NarSize: 94372664
References: 05zlxc7ckwflz56i6hmlngr86pmccam2-pcre-8.42 …
System: x86_64-linux
Deriver: vi2jkpm9fd043hm0839ibbb42qrv5xyr-gimp-2.10.12.drv
Signature: 1;berlin.guixsd.org;KHNpZ25hdHV…
(use-modules (gnu) (guix)
             (guix monads)
             (guix scripts substitute)
             (srfi srfi-1)
             (ice-9 match))

(define all-packages
  (@@ (guix scripts weather) all-packages))

(define package-outputs
  (@@ (guix scripts weather) package-outputs))

(define (fetch-lzip-narinfos)
  (mlet %store-monad ((items (package-outputs (all-packages))))
    (return
     (filter (lambda (narinfo)
               (member "lzip" (narinfo-compressions narinfo)))
             (lookup-narinfos "https://ci.guix.gnu.org" items)))))

(define (lzip/gzip-ratio narinfo)
  (match (narinfo-file-sizes narinfo)
    ((gzip lzip)
     (/ lzip gzip))))

(define (average lst)
  (/ (reduce + 0 lst)
     (length lst) 1.))
scheme@(guile-user)> (define lst
                       (with-store s
                         (run-with-store s (fetch-lzip-narinfos))))
computing 9,897 package derivations for x86_64-linux...
updating substitutes from 'https://ci.guix.gnu.org'... 100.0%
scheme@(guile-user)> (length lst)
$4 = 2275
scheme@(guile-user)> (average (map lzip/gzip-ratio lst))
$5 = 0.7398994395478715
scheme@(guile-user)> (define biggest
                       (filter (lambda (narinfo)
                                 (> (narinfo-size narinfo)
                                    (* 5 (expt 2 20))))
                               lst))
scheme@(guile-user)> (average (map lzip/gzip-ratio biggest))
$6 = 0.5974238562384483
scheme@(guile-user)> (length biggest)
$7 = 440
gnunet-identity
git
subtree
jit_ldr_f
float
jit_ldr_f
#guile
n
var a = 1n;
var b = a + 42n;
b << 64n
// result: 793209995169510719488n

+
-
*
/
%
<<
>>
**
typeof
typeof 1n
// result: 'bigint'

(define* (make-linux-libre version hash supported-systems
                           #:key
                           ;; A function that takes an arch and a variant.
                           ;; See kernel-config for an example.
                           (extra-version #f)
                           (configuration-file #f)
                           (defconfig "defconfig")
                           (extra-options %default-extra-linux-options)
                           (patches (list %boot-logo-patch)))
  ...)
(define-public linux-libre
  (make-linux-libre %linux-libre-version
                    %linux-libre-hash
                    '("x86_64-linux" "i686-linux" "armhf-linux" "aarch64-linux")
                    #:patches %linux-libre-5.1-patches
                    #:configuration-file kernel-config))
(let ((build  (assoc-ref %standard-phases 'build))
      (config (assoc-ref (or native-inputs inputs) "kconfig")))

  ;; Use a custom kernel configuration file or a default
  ;; configuration file.
  (if config
      (begin
        (copy-file config ".config")
        (chmod ".config" #o666))
      (invoke "make" ,defconfig))
(define-public linux-libre/E2140
  (package
    (inherit linux-libre)
    (native-inputs
     `(("kconfig" ,(local-file "E2140.config"))
      ,@(alist-delete "kconfig"
                      (package-native-inputs linux-libre))))))
(define %default-extra-linux-options
  `(;; https://lists.gnu.org/archive/html/guix-devel/2014-04/msg00039.html
   ("CONFIG_DEVPTS_MULTIPLE_INSTANCES" . #t)
   ;; Modules required for initrd:
   ("CONFIG_NET_9P" . m)
   ("CONFIG_NET_9P_VIRTIO" . m)
   ("CONFIG_VIRTIO_BLK" . m)
   ("CONFIG_VIRTIO_NET" . m)
   ("CONFIG_VIRTIO_PCI" . m)
   ("CONFIG_VIRTIO_BALLOON" . m)
   ("CONFIG_VIRTIO_MMIO" . m)
   ("CONFIG_FUSE_FS" . m)
   ("CONFIG_CIFS" . m)
   ("CONFIG_9P_FS" . m)))

(define (config->string options)
  (string-join (map (match-lambda
                      ((option . 'm)
                       (string-append option "=m"))
                      ((option . #t)
                       (string-append option "=y"))
                      ((option . #f)
                       (string-append option "=n")))
                    options)
               "\n"))
;; Appending works even when the option wasn't in the
;; file.  The last one prevails if duplicated.
(let ((port (open-file ".config" "a"))
      (extra-configuration ,(config->string extra-options)))
  (display extra-configuration port)
  (close-port port))

(invoke "make" "oldconfig"))))
(define %macbook41-full-config
  (append %macbook41-config-options
          %filesystems
          %efi-support
          %emulation
          (@@ (gnu packages linux) %default-extra-linux-options)))

(define-public linux-libre-macbook41
  ;; XXX: Access the internal 'make-linux-libre' procedure, which is
  ;; private and unexported, and is liable to change in the future.
  ((@@ (gnu packages linux) make-linux-libre) (@@ (gnu packages linux) %linux-libre-version)
                      (@@ (gnu packages linux) %linux-libre-hash)
                      '("x86_64-linux")
                      #:extra-version "macbook41"
                      #:patches (@@ (gnu packages linux) %linux-libre-5.1-patches)
                      #:extra-options %macbook41-config-options))
tar xf $(guix build linux-libre --source)
guix environment linux-libre -- make localmodconfig
module pcspkr did not have configs CONFIG_INPUT_PCSPKR
CONFIG_INPUT_PCSPKR=m
CONFIG_VIRTIO=m
guix install coreutils findutils grep procps sed emacs vim
sudo emacs /etc/config.scm
(operating-system
  ;; … snip …
  (packages (append (list (specification->package "nss-certs"))
                    %base-packages))
  ;; … snip …
  )
guix pull && sudo guix system reconfigure /etc/config.scm
gnunet-arm -s
gnunet-arm -e
gnunet-arm -s
gnunet-arm -e
gnunet-arm -s
gnunet-arm -e
(use-modules (guix swh))

;; Check whether SWH has ever crawled our repository.
(define o (lookup-origin "https://git.savannah.gnu.org/git/guix.git"))
⇒ #<<origin> id: 86312956 …>

;; It did! When was its last visit?
(define last-visit
  (first (origin-visits o)))

(date->string (visit-date last-visit))
⇒ "Fri Mar 29 10:07:45Z 2019"

;; Does it have our “v0.15.0” Git tag?
(lookup-origin-revision "https://git.savannah.gnu.org/git/guix.git" "v0.15.0")
⇒ #<<revision> id: "359fdda40f754bbf1b5dc261e7427b75463b59be" …>
(use-modules (guix) (guix swh)
             (gnu packages base)
             (gnu packages golang))

;; This is our GNU Coreutils package.
coreutils
⇒ #<package coreutils@8.30 gnu/packages/base.scm:342 1c67b40>

;; Does SWH have its tarball?
(lookup-content (origin-sha256 (package-source coreutils))
                "sha256")
⇒ #<<content> checksums: (("sha1" …)) data-url: …>

;; Our package for HashiCorp’s Configuration Language (HCL) is
;; built from a Git commit.
(define commit
  (git-reference-commit
    (origin-uri (package-source go-github-com-hashicorp-hcl))))

;; Is this particular commit available in the archive?
(lookup-revision commit)
⇒ #<<revision> id: "23c074d0eceb2b8a5bfdbb271ab780cde70f05a8" …>

Planet GNU

FSF Blogs: June 2019: Photos from Brno

Christopher Allan Webber: Racket is an acceptable Python

FSF Blogs: Thank you for advancing free software: Read FSF spring news in the latest Bulletin

Aleksander Morgado: DW5821e firmware update integration in ModemManager and fwupd

1) ModemManager reports expected update methods, firmware version and device IDs

2) fwupd matches GUIDs and checks available firmware versions

3) fwupd requests device inhibition from ModemManager

4) fwupd downloads CAB file from LVFS and performs firmware update

5) fwupd removes device inhibition from ModemManager

rush @ Savannah: Version 2.0

GNU Guile: GNU Guile 2.2.6 released

trans-coord @ Savannah: Malayalam team re-established

Christopher Allan Webber: How do Spritely's actor and storage layers tie together?

FSF Blogs: GNU Spotlight with Mike Gerwitz: 17 new GNU releases in June!

Andy Wingo: fibs, lies, and benchmarks

FSF Blogs: GNU Emacs T-shirts available now at the GNU Press Shop

Christopher Allan Webber: Let's Just Be Weird Together

FSF Blogs: Drop the journalism charges against Julian Assange

libredwg @ Savannah: libredwg-0.8 released

apl @ Savannah: GNU APL 1.8 Released

denemo @ Savannah: Release 2.3 is imminent - please test.

parallel @ Savannah: GNU Parallel 20190622 ('HongKong') released

About GNU Parallel

About GNU SQL

About GNU Niceload

mailutils @ Savannah: Version 3.7

GNU Guile: GNU Guile 2.2.5 released

FSF Events: Event - GNU Hackers Meeting (Madrid, Spain)

FSF Events: Richard Stallman - "Are we facing surveillance like in China?" (Frankurt, Germany)

GNU Guix: Substitutes are now available as lzip

Lzip

Migrating

First impressions

Going forward

About GNU Guix

GNUnet News: 2019-06-05: GNUnet 0.11.5 released

2019-06-05: GNUnet 0.11.5 released

Download links

Noteworthy changes in 0.11.5 (since 0.11.4)

Known Issues

Thanks

gengetopt @ Savannah: 2.23 released

Andy Wingo: pictie, my c++-to-webassembly workbench

unifont @ Savannah: GNU Unifont 12.1.02 Released

FSF Events: CANCELLED - Richard Stallman - "The Free Software Movement" (Mayhew, MS)

FSF Events: Richard Stallman - "Free software and your freedom" (Vienna, Austria)

GNU Guile: Join the Guile and Guix Days in Strasbourg, June 21–22!

FSF Events: Richard Stallman - "Computing, freedom, and privacy" (Brno, Czech Republic)

Andy Wingo: lightening run-time code generation

GNU Guile: GNU Guile 2.9.2 (beta) released

Andy Wingo: bigint shipping in firefox!

parallel @ Savannah: GNU Parallel 20190522 ('Akihito') released

About GNU Parallel

About GNU SQL

About GNU Niceload

GNU Guix: Creating and using a custom Linux kernel on Guix System

About GNU Guix

GNU Guix: GNU Guix 1.0.1 released

Recap of bug #35541

Lessons learned

Conclusion

About GNU Guix

bison @ Savannah: Bison 3.4 released [stable]

FSF News: Six more devices from ThinkPenguin, Inc. now FSF-certified to Respect Your Freedom

About the Free Software Foundation

About ThinkPenguin, Inc.

Media Contacts

GNUnet News: 2019-05-12: GNUnet 0.11.4 released

2019-05-12: GNUnet 0.11.4 released

Download links

Noteworthy changes in 0.11.4

Known Issues

Thanks

unifont @ Savannah: Unifont 12.1.01 Released

remotecontrol @ Savannah: Nest, the company, died at Google I/O 2019

gettext @ Savannah: GNU gettext 0.20 released

cssc @ Savannah: CSSC-1.4.1 released

GNU Guix: GNU Guix 1.0.0 released

The journey to 1.0