Frikanalen
https://frikanalen.no
TED - Stephen Wilkes: The passing of time, caught in a single photo
Photographer Stephen Wilkes crafts stunning compositions of landscapes as they transition from day to night, exploring the space-time continuum within a two-dimensional still photograph. Journey with him to iconic locations like the Tournelle Bridge in Paris, El Capitan in Yosemite National Park and a life-giving watering hole in heart of the Serengeti in this tour of his art and process.
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625653/
760
Caminandes 3: Llamigos
I denne episoden av tegnefilmserien Caminandes blir vi enda bedre kjent med vår helt Koro. Det er vinter i Patagonia, og det er lite mat. Llamaen Koro møter den plagsomme pingvinen Oti i en episk kamp om siste saftige bær.
https://frikanalen.no/video/626034/
150
10 år siden Norge bombet Libya
Markering utenfor Stortinget på 10 års dagen for den første norske bomben over Libya
https://frikanalen.no/video/626735/
1080
Shofar Jesus Messias er Israels Frelser, Han er verdens Frelser
Bladet Evangelisten
program 35
https://frikanalen.no/video/626505/
1248
Konfigurasjonsstyring med Chef
Chef er konfigurasjonsstyring som er lett å komme i gang med, og som er i stand til å vokse med deg. Fokus er ikke kun på enkeltmaskiner, men på hele arkitekturen. Chef har støtte for søk, god separasjon av oppskrifter og data og et veldefinert API som klienter bruker for å interagere med Chef-serveren. Vi vil se på designvalg, egenskaper og gå gjennom et enkelt eksempel på bruk av Chef.
Tollef Fog Heen har drevet med fri programvare siden en gang på 1990-tallet og vært Debian-utvikler i over ti år. Han jobber for tiden i Varnish Software som systemadministrator og bidrar til forskjellige fri programvare-prosjekter, herunder Chef.
https://frikanalen.no/video/623990/
3635
TED - Heather Brooke: My battle to expose government corruption
Our leaders need to be held accountable, says journalist Heather Brooke. And she should know: Brooke uncovered the British Parliamentary financial expenses that led to a major political scandal in 2009. She urges us to ask our leaders questions through platforms like Freedom of Information requests -- and to finally get some answers.
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625321/
1137
MakerCon - Hovering Clouds: Looking at online tool offerings for Product Design and 3D Printing
William Kempton at MakerCon Nordic 2014-10-18.
https://frikanalen.no/video/625431/
1502
TED - Andrew Pelling: This scientist makes ears out of apples
Andrew Pelling is a biohacker, and nature is his hardware. His favorite materials are the simplest ones (and oftentimes he finds them in the garbage). Building on the cellulose structure that gives an apple its shape, he "grows" lifelike human ears, pioneering a process that might someday be used to repair body parts safely and cheaply. And he has some even wilder ideas to share ... "What I'm really curious about is if one day it will be possible to repair, rebuild and augment our own bodies with stuff we make in the kitchen," he says.
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625774/
429
Professional Open-Source Radio Astronomy - Debconf 16
The Square Kilometer Array radio astronomy telescope will be one of the world's largest scientific instruments, spanning half the globe, with components distributed across Africa and Australia.
The MeerKAT telescope, one of its precursors, is currently under construction in South Africa and uses fully open-source software and hardware for primary signal processing operations. When completed next year, it will be the world's most sensitive L-band array.
This talk will discuss the telescopes and their unique challenges which drive the development of open-source hardware and software to process the deluge of data. I will introduce four generations of open-source FPGA hardware along with the collaboratively-developed ecosystem of software and DSP libraries.
Open Weekend session with Jason Manley during Debconf 16
https://frikanalen.no/video/625682/
2259
Software Heritage: Building the Universal Software Archive - Debconf 16
In the past few decades, software has become a critical part of every single bit of infrastructure running the world, from the tiniest devices we embed in our bodies to improve our health, to the biggest human creations. Software is the key to accessing all the digital information we're constantly creating, and therefore is an essential part of our cultural heritage. But software is just a bunch of bits. Unlike antique stone carvings, software gets lost, deleted, or corrupted.
Software Heritage has set out to build the biggest archive of free software ever conceived. Our mission is to collect, preserve, organise and facilitate the sharing of all the available free software. We are laying down foundations on which a wealth of applications can be built, ranging from cultural heritage, to research and industry.
We started working in May 2015, and (as of April 2016) we have archived 2.2 billion unique files, more than 480 million project revisions across more than 16 million data sources, among which Debian source packages from snapshot.debian.org, public GitHub repositories, and the GNU project's FTP archive.
This presentation will cover in more detail the why and the how of Software Heritage, as well as opportunities for the community to help us fulfill our goals.
Talk (45 mins) session with Nicolas Dandrimont during Debconf 16
https://frikanalen.no/video/625684/
1670
TED - Gregory Heyworth: How I'm discovering the secrets of ancient texts
Gregory Heyworth is a textual scientist; he and his lab work on new ways to read ancient manuscripts and maps using spectral imaging technology. In this fascinating talk, watch as Heyworth shines a light on lost history, deciphering texts that haven't been read in thousands of years. How could these lost classics rewrite what we know about the past?
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625534/
731
Linux Security APIs and the Chromium Sandbox - Patricia Aas
The Linux Security and Isolation APIs have become the basis of some of the most useful features server-side, providing the isolation required for efficient containers. However, these APIs also form the basis of the Chromium Sandbox on Linux, and we will study them in that context in this talk.
Recorded at the OWASP Norway Day by NUUG.
https://frikanalen.no/video/626085/
3226
Derivative Panel - Debconf 16
There is a big community developing Debian derivative distributions. This talk aims to discuss about what derivative distributions use for their day to day operation, such building packages, images, live media, managing distribution repositories, trying to seek better unification and standardisation of such tools and processes. In the same way, we shall explore and discuss the return path to the upstream distribution.
Talk (45 mins) session with Héctor Orón Martínez during Debconf 16
https://frikanalen.no/video/625701/
2679
Sintel
Historien om Sintel og hennes ekspedisjon for å finne babydragen hun ble kjent med.
https://frikanalen.no/video/626065/
888
TED - Linus Torvalds: The mind behind Linux
Linus Torvalds transformed technology twice — first with the Linux kernel, which helps power the Internet, and again with Git, the source code management system used by developers worldwide. In a rare interview with TED Curator Chris Anderson, Torvalds discusses with remarkable openness the personality traits that prompted his unique philosophy of work, engineering and life. "I am not a visionary, I'm an engineer," Torvalds says. "I'm perfectly happy with all the people who are walking around and just staring at the clouds ... but I'm looking at the ground, and I want to fix the pothole that's right in front of me before I fall in."
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625529/
1294
Protestmøte mot baseavtalen
Protestmøte mot regjeringens avtale om avståelse av suverenitet til USA
https://frikanalen.no/video/626954/
7225
Radioamatørenes sporingssystem
APRS (Automatic Position Reporting System) er radioamatørenes system for GPS sporing og formidling av sporingsmeldinger via radio (og internett). Denne gangen vil Øyvind Hanssen fortelle hvordan radioamatørmiljøet i Tromsø utvikler APRS med tanke på den frivillige redningsstjenesten.
Dette inkluderer utbygging av infrastruktur, utvikling av fri programvarebaserte webapplikasjoner for presentasjon av sporingsinformasjon på kart og ikke minst at Tromsømiljøet utvikler en kompakt portabel tracker - en automatisk sporingssender for bruk i felten. Systemet har vært grundig testet både på bakken og i fly og vekker interesse også utenfor miljøet.
https://frikanalen.no/video/623975/
3700
Trond Alis Kvarter - Om Hard Choises, av Hillary Clinton
https://frikanalen.no/video/626715/
419
TED - Rob Reid: The $8 billion iPod
Comic author Rob Reid unveils Copyright Math (TM), a remarkable new field of study based on actual numbers from entertainment industry lawyers and lobbyists.
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625345/
311
The past year in APT - Debconf 16
Apt is used by a lot of people every day to update their systems, install software, and remove software on Debian, Ubuntu, and other derivatives. Some people actually forked
an old apt and run it on some kind of fruit phones. The APT library is also used by aptitude, a formidable ncurses frontend.
This talk discusses three major topics of APT development in the past year:
Firstly, security improvements such as acquire method sandboxing and the deprecation of SHA1 support.
Secondly, performance improvements: Between 1.1 and 1.2 there were many commits improving performance, both for the update command and building the cache itself (hello, phones!).
Thirdly, we will take a look at the new pinning engine introduced in 1.1 at last year's DebConf, how it is different from the older engine, and why it is much better and actually does what you mean instead of nonsense.
Talk (45 mins) session with Julian Andres Klode during Debconf 16
https://frikanalen.no/video/625720/
2201
EuroBSDCon 2019, Lillehammer: KernelTLS - Hans Petter Selasky, Drew Gallatin
Kernel TLS and TLS hardware offload
TLS (Transport Layer Security) is a widely-deployed network protocol used for providing cryptographically proven security and authentication of TCP sessions. A kernel implementation of TLS will provide access to TLS hardware offload, ability to access unencrypted bytes of data in the kernel, and a reduction in copies to and from userspace by allowing the use of the sendfile(9) system call for TLS encrypted data.
This talk will start from explaining the basics of TLS protocol, using OpenSSL as an example, cover the advantages and motivation for kernel TLS (KTLS) and later will dive in to the implementation.
One of the major advantages of KTLS is the ability to offload TLS symmetric crypto processing to the network device. This talk will cover TLS hardware offload approaches, like TOE and inline TLS acceleration.
We will close with some performance numbers comparing OpenSSL, KTLS and hardware offloaded TLS with data taken from Netflix servers.
Drew Gallatin
Drew started working on FreeBSD at Duke in the 90s, and was one of the people behind the FreeBSD/alpha port. He worked on zero-copy TCP optimizations for FreeBSD and was sending data at over 1Gb/s before gigabit Ethernet was generally available. He spent a decade at Myricom, optimizing their drivers. After a brief hiatus at Google, he landed at Netflix, where he works on optimizing the FreeBSD kernel and network stack for content delivery. He worked on the optimizations to serve unencrypted Netflix traffic at 100Gb/s, and then on more optimizations to send encrypted traffic at 100Gb/s.
https://frikanalen.no/video/626239/
2595
TED - Christopher Soghoian: Your smartphone is a civil rights issue
The smartphone you use reflects more than just personal taste ... it could determine how closely you can be tracked, too. Privacy expert and TED Fellow Christopher Soghoian details a glaring difference between the encryption used on Apple and Android devices and urges us to pay attention to a growing digital security divide. "If the only people who can protect themselves from the gaze of the government are the rich and powerful, that's a problem," he says. "It's not just a cybersecurity problem — it's a civil rights problem."
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625811/
468
Citizenfour - Samtale med Snowden-advokat Patrick Toomey og Jon Wessel-Aas før visning
Samtale med Patrick Toomey, en av advokatene til Edward Snowden, og Jon Wessel-Aas før forpremieren av Citizenfour 2015-04-15. Arrangert i samarbeid med Fritt Ord, Tour de Force og Ny Tid.
https://frikanalen.no/video/625368/
2425
Frikanalen Informasjonsfilm
Info!
https://frikanalen.no/video/626055/
48
Infoplakat Frikanalen
Informasjon om Frikanalen
https://frikanalen.no/video/626445/
35
Jehova
Jehova, Jesus, Den Hellige Ånd
https://frikanalen.no/video/626835/
3407
TED - Abe Davis: New video technology that reveals an object's hidden properties
Subtle motion happens around us all the time, including tiny vibrations caused by sound. New technology shows that we can pick up on these vibrations and actually re-create sound and conversations just from a video of a seemingly still object. But now Abe Davis takes it one step further: Watch him demo software that lets anyone interact with these hidden properties, just from a simple video.
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625379/
1081
Venn av Nøff
Det er høst og tid for Nasse Nøff å komme inn i varmen etter en lang sesong ute i hagen. Søndag 2.november hadde foreningen Venn av Nøff sin årlige innbæring. I tillegg blir det utdeling av NÆ!-prisen. Følg med.
https://frikanalen.no/video/626081/
367
TED - Greg Gage: How to control someone else's arm with your brain
Greg Gage is on a mission to make brain science accessible to all. In this fun, kind of creepy demo, the neuroscientist and TED Senior Fellow uses a simple, inexpensive DIY kit to take away the free will of an audience member. It’s not a parlor trick; it actually works. You have to see it to believe it.
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625377/
356
Frikanalen Informasjonsfilm
Info!
https://frikanalen.no/video/626055/
48
TED - Wendy Freedman: This new telescope might show us the beginning of the universe
When and how did the universe begin? A global group of astronomers wants to answer that question by peering as far back in time as a large new telescope will let us see. Wendy Freedman headed the creation of the Giant Magellan Telescope, under construction in South America; at TEDGlobal in Rio, she shares a bold vision of the discoveries about our universe that the GMT could make possible.
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625457/
942
Free Software, Companies and You - Debconf 16
Free software is a unique social movement in that for-profit companies have a deep interest in the outcome of the movement. Where the interest of companies and free software ideology overlap there is a powerful amplification of effort. Many ideological individuals have become employed writing free software and companies have become an important source of funding for the movement. While for-profit involvement is important and in fact inevitable where free software is successful, we as a community must evaluate the relationships we have with companies. In this talk, Karen will examine these relationships and discuss how they impact the future of free software.
Talk (45 mins) session with Karen Sandler during Debconf 16
https://frikanalen.no/video/625675/
2719
What is Debian? - Debconf 16
A friendly introduction to free software, open source, and Debian, with an opportunity for the audience to ask questions.
Open Weekend session with Bdale Garbee, Allison Randal, Neil McGovern, Bernelle Verster, Steve McIntyre and John Sullivan during Debconf 16
https://frikanalen.no/video/625680/
2581
EuroBSDCon 2019, Lillehammer: Wireless Fidelity with bwfm(4) - Patrick Wildt
The Broadcom Wireless FullMAC chip has been one of the biggest hurdles in properly supporting Apple MacBooks in the recent years. But that has not been the only place where this chip has popped up. bwfm(4) is a new OpenBSD driver that supports these chips and was also ported to NetBSD. This talks gives an overview of the chip, an in-depth view into how one communicates with the chip on the three different supported busses, and the higher layer protocol that’s being run on top. It also shows issues properly combining the driver with the OpenBSD net80211 stack, which isn’t written to handle FullMACs. The talk also shows the Firmware and NVRAM distribution issues.
https://frikanalen.no/video/626240/
2509
Annerledes av Margrete
Margrete (33) har skrevet og framført et dikt om å leve med en funksjonshemming. Selv har hun asperger-syndrom.
https://frikanalen.no/video/626184/
103
Anne Cath. Vestlys 100-årsjubileum
I år ville forfatteren Anne Cath. Vestly fylt 100 år. Empo var på plass da dagen ble feiret i forfatterens fødeby, nemlig Rena.
https://frikanalen.no/video/626319/
182
TED - David Gallo shows underwater astonishments
David Gallo shows jaw-dropping footage of amazing sea creatures, including a color-shifting cuttlefish, a perfectly camouflaged octopus, and a Times Square's worth of neon light displays from fish who live in the blackest depths of the ocean.
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625330/
325
Caminandes 2: Gran Dillama
Llamaen Koro erfarer at gresset er grønnere på den andre siden av gjerdet, og at veien dit kan være lang.
https://frikanalen.no/video/626057/
146
Kopiering er ikke tyveri
https://frikanalen.no/video/624130/
79
Anne Cath. Vestlys 100-årsjubileum
I år ville forfatteren Anne Cath. Vestly fylt 100 år. Empo var på plass da dagen ble feiret i forfatterens fødeby, nemlig Rena.
https://frikanalen.no/video/626319/
182
TED - James Veitch: This is what happens when you reply to spam email
Suspicious emails: unclaimed insurance bonds, diamond-encrusted safe deposit boxes, close friends marooned in a foreign country. They pop up in our inboxes, and standard procedure is to delete on sight. But what happens when you reply? Follow along as writer and comedian James Veitch narrates a hilarious, months-long exchange with a spammer who offered to cut him in on a hot deal.
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625482/
592
Infoplakat Frikanalen
Informasjon om Frikanalen
https://frikanalen.no/video/626445/
35
Daily Tech News Show 20. September 2016
https://frikanalen.no/video/625788/
3118
TED - Ben Wellington: How we found the worst place to park in New York City -- using big data
City agencies have access to a wealth of data and statistics reflecting every part of urban life. But as data analyst Ben Wellington suggests in this entertaining talk, sometimes they just don't know what to do with it. He shows how a combination of unexpected questions and smart data crunching can produce strangely useful insights, and shares tips on how to release large sets of data so that anyone can use them.
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625359/
712
MakerCon - How Making is Changing the World – and How You Can Too!
Jennifer Turliuk at MakerCon Nordic 2014-10-17.
https://frikanalen.no/video/625425/
1090
TED - Anand Varma: A thrilling look at the first 21 days of a bee’s life
We’ve heard that bees are disappearing. But what is making bee colonies so vulnerable? Photographer Anand Varma raised bees in his backyard — in front of a camera — to get an up close view. This project, for National Geographic, gives a lyrical glimpse into a bee hive — and reveals one of the biggest threats to its health, a mite that preys on baby bees in the first 21 days of life. With his incredible footage, set to music from Magik*Magik Orchestra, Varma shows the problem ... and what’s being done to solve it. (This talk was part of a session at TED2015 guest-curated by Pop-Up Magazine: popupmagazine.com or @popupmag on Twitter.)
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625386/
370
Jehovas barn
Full oversikt over Sems ætt
https://frikanalen.no/video/627149/
3525
The Conservancy Debian Services Agreement: One Year Hence - Debconf 16
At my invited talk at DebConf15, I announced Software Freedom Conservancy's Debian Services agreement with the Debian project. Under the agreement, Conservancy provides some essential services to the Debian project. Most notably, Conservancy accepts copyright assignments and enforcement agreements from Debian contributors, and enforces those copyrights when copyleft licenses are violated. Additionally, Conservancy provides its expertise on licensing issues, project governance, and the like, in an advisory role to the Debian project.
This talk will cover what Conservancy accomplished for Debian under this services agreement, how the agreement is working so far, and what how Conservancy and Debian can work together in the coming year to make even better use of the services provided under the agreement.
Ideally, attendees will come to suggest ideas for what they'd like to see, and after a short presentation, the remaining time will be used for Q&A and discussion.
Talk (45 mins) session with Bradley Kuhn during Debconf 16
https://frikanalen.no/video/625712/
2566
Trond Alis Kvarter - Israel og Sionisme
https://frikanalen.no/video/626707/
783
TED - Den beste gaven jeg overlevde
Stacey Kramer byr på en rørende, personlig, 3-minutts lignelse som viser hvordan en uønsket hendelse -- fryktelig, traumatisk, dyr -- kan vise seg å være en uvurderlig gave.
https://frikanalen.no/video/624221/
193
Palestina og pressfrihet
trond
https://frikanalen.no/video/627402/
909
Software Piracy and Linux Adoptation
The open-source software operating system Linux is a
free-of-charge substitute to proprietary systems like Microsoft
Windows. By using a cross-country data set, this paper finds evidence
that increased piracy of proprietary software has a negative impact
on adoption of desktop versions of Linux. The interpretation of this
result is that the availability of pirated versions of Windows, as
well as pirated applications compatible with Windows and OS-X, lead
to fewer individuals installing a Linux operating system on their
desktop computers. Thus, in the absence of software piracy, Linux
would be a more widely used operating system.
Arne Rogde Gramstad er stipendiat ved Økonomisk institutt, UiO. Arnes
arbeid er motivert av markeder for digitale produkter og omhandler
bl.a. konkurranse i markeder for programvare, sosiale nettverk og
nettverkseffekter.
https://frikanalen.no/video/625513/
3925
Continuous Keysigning Introduction - Debconf 16
Introduction to good GnuPG and keysigning practices.
Re-verify the continuous keysigning hash, plus a brief introduction to what a Key-Signing Party is and how (and why!) is it being held "continuously" at DebConf16.
Talk (20 mins) session with Stefano Rivera and Gunnar Wolf during Debconf 16
https://frikanalen.no/video/625691/
1274
TED - Michael Green: How we can make the world a better place by 2030
Can we end hunger and poverty, halt climate change and achieve gender equality in the next 15 years? The governments of the world think we can. Meeting at the UN in September 2015, they agreed to a new set of Global Goals for the development of the world to 2030. Social progress expert Michael Green invites us to imagine how these goals and their vision for a better world can be achieved.
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625465/
883
TED - Mathias Jud: Art that lets you talk back to NSA spies
In 2013, the world learned that the NSA and its UK equivalent, GCHQ, routinely spied on the German government. Amid the outrage, artists Mathias Jud and Christoph Wachter thought: Well, if they're listening ... let's talk to them. With antennas mounted on the roof of the Swiss Embassy in Berlin's government district, they set up an open network that let the world send messages to US and UK spies listening nearby. It's one of three bold, often funny, and frankly subversive works detailed in this talk, which highlights the world's growing discontent with surveillance and closed networks.
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625472/
780
VLC 3.0 and beyond: what's new in VLC? - Jean Baptiste Kempf
A presentation by Jean-Baptiste Kempf about VLC, the VideoLAN project, and the new features and direction of both VLC and the complete VideoLAN project.
https://frikanalen.no/video/626030/
3179
TED - Danielle Feinberg: The magic ingredient that brings Pixar movies to life
Danielle Feinberg, Pixar's director of photography, creates stories with soul and wonder using math, science and code. Go behind the scenes of Finding Nemo, Toy Story, Brave, WALL-E and more, and discover how Pixar interweaves art and science to create fantastic worlds where the things you imagine can become real. This talk comes from the PBS special "TED Talks: Science & Wonder."
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625552/
728
TED - Daniel Suarez: The kill decision shouldn't belong to a robot
As a novelist, Daniel Suarez spins dystopian tales of the future. But on the TEDGlobal stage, he talks us through a real-life scenario we all need to know more about: the rise of autonomous robotic weapons of war. Advanced drones, automated weapons and AI-powered intelligence-gathering tools, he suggests, could take the decision to make war out of the hands of humans.
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625351/
800
TED - Lawrence Lessig: We the People, and the Republic we must reclaim
There is a corruption at the heart of American politics, caused by the dependence of Congressional candidates on funding from the tiniest percentage of citizens. That's the argument at the core of this blistering talk by legal scholar Lawrence Lessig. With rapid-fire visuals, he shows how the funding process weakens the Republic in the most fundamental way, and issues a rallying bipartisan cry that will resonate with many in the U.S. and beyond.
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625325/
1099
TED - Aomawa Shields: How we'll find life on other planets
Astronomer Aomawa Shields searches for clues that life might exist elsewhere in the universe by examining the atmospheres of distant exoplanets. When she isn't exploring the heavens, the classically trained actor (and TED Fellow) looks for ways to engage young women in the sciences using theater, writing and visual art. "Maybe one day they'll join the ranks of astronomers who are full of contradictions," she says, "and use their backgrounds to discover, once and for all, that we are truly not alone in the universe."
TED talk downloaded from The Internet Archive.
https://frikanalen.no/video/625519/
329
Annerledes av Margrete
Margrete (33) har skrevet og framført et dikt om å leve med en funksjonshemming. Selv har hun asperger-syndrom.
https://frikanalen.no/video/626184/
103
Towards the formal verification of maintainer scripts - Debconf 16
This talk describes a recently started research project named
[http://colis.irif.univ-paris-diderot.fr/ Colis] with the goal of
developing techniques and tools for the formal verification of
maintainer scripts (preinst, postinst, prerm, postrm).
*Program verification* aims at obtaining a formal assurance that a
program is correct with respect to a given specification. This is
achieved by constructing a formal proof of correctness of the program.
In contrast to *program testing*, the existence of a proof assures
that the program behaves correctly in *any* situation described by the
specification. Failure of an attempt to verify a program, on the other
hand, can often be used to generate useful test cases.
A possible example of a program specification is absence of execution
error under certain initial conditions. Automatic program verification
even for this kind of specification is an extremely challenging task.
In case of Debian maintainer scripts we are faced with even more
challenging properties like idempotency of scripts (required by
policy), or commutation of scripts.
The project is still in the beginning, so there are no results yet to
present. However, I will explain why I think that the case of Debian
maintainer scripts is very interesting for program verification : some
aspects of scripts (POSIX shell, manipulation of a complex data
structure) make the problem very difficult, while other aspects of the
Debian case are likely to make the problem easier. I am also very
interested in the inputs from the audience about possible use cases of
script verification in the context of Debian.
Talk (45 mins) session with Ralf Treinen during Debconf 16
https://frikanalen.no/video/625724/
2664