Hacker Public Radio
Summary: Hacker Public Radio is an podcast that releases shows every weekday Monday through Friday. Our shows are produced by the community (you) and can be on any topic that are of interest to hackers and hobbyists.
The process NIST initiated in 2016 continues as it looks for encryption algorithms that will be secure against the anticipated arrival of practical quantum computing. In this update I report on the first 4 Candidates to be Standardized, and the timeline for completion. It is coming faster than you may have realized. Links: https://miracl.com/blog/backdoors-in-nist-elliptic-curves/ https://en.wikipedia.org/wiki/Qubit https://en.wikipedia.org/wiki/Transport_Layer_Security https://csrc.nist.gov/Projects/post-quantum-cryptography https://www.zwilnik.com/security-and-privacy/encryption-and-quantum-computing/ http://hackerpublicradio.org/eps.php?id=2860 https://www.zwilnik.com/security-and-privacy/nists-quantum-cryptography-update-20200815/ http://hackerpublicradio.org/eps.php?id=3147 https://csrc.nist.gov/News/2016/Post-Quantum-Cryptography-Proposed-Requirements https://csrc.nist.gov/Projects/post-quantum-cryptography/selected-algorithms-2022 https://csrc.nist.gov/Projects/post-quantum-cryptography/round-4-submissions https://csrc.nist.gov/projects/pqc-dig-sig/standardization/call-for-proposals https://www.nist.gov/blogs/taking-measure/post-quantum-cryptography-qa-nists-matt-scholl https://thehackernews.com/2022/07/nist-announces-first-four-quantum.html https://csrc.nist.gov/Projects/post-quantum-cryptography https://www.zwilnik.com/security-and-privacy/nist-quantum-cryptography-update-20221008/
Router History Early Dialup Connection sharing DSL/Cable Linux PC with 2 NIC Set up IP masquerading Windows connection sharing This may have been against TOS $50 EBay PC Mandrake MNF Found a PC on the Street IPCop Infrequently updated No updates required or abandoned? OpenBSD Reputation for Security Something New Good instructions for setting up home office. Manual but straightforward WRT-54gl with tomato Linksys router sold specifically to run Linux Purchased to be AP Junk PC hardware failures - PSU or IDE disks Frequently used as backup. PCEngines Alix Basically a PC in a router form factor Serial port - NO VGA No USB boot - Had to set up PXE boot tftp server. Install OpenBSD No Video out - Serial port only Expensive for specs - 500MHz AMD CPU and 256M Ram Alix Limitations Worked great for a few years Compact Flash limited replacements. 100M Ethernet Found Spare on EBay as Backup, just in case. PCEngines APU2 Serial only OpenBSD 5.6 via USB drive 3 NIC - Lan, Trusted, Untrusted Unifi AP for WiFi First playbook Missing some easy management Local DNS DHCP Reservations http://hackerpublicradio.org/eps.php?id=3187 CSV file with IP,MAC, Hostname DHCP reservation and local DNS Restricting Internet Open DNS and port redirects Unbound included on OpenBSD base Caching DNS resolver Forward to Open DNS - Set to do some content filtering PF rule to redirect all incoming port 53 to unbound PF scripts PF table with IP addresses of devices Table always blocked cron jobs to add/remove IP addresses to table APU2 limitations Installer Recommends Auto partitioning Doesn't know how you plan to use OpenBSD Doesn't know the future plans for project. 16G msata drive Small /usr Re-linking growth Moving src partitions PCEngines APU2 Search /etc for changes Ansible Playbook for everything not covered by DNS/DHCP playbook email forwarding sysctls syslog to server Practice on OpenBSD VM 198.168 172.20 as variable Normally with VM, I use the VirtIO NIC I used vitalized Intel NIC so same device names: em0, em1, ... Just Do It Update APU firmware - TODO retails /usr/local/share/doc/pkg-readmes/flashrom Warned family internet would be offline a few hours Replaced M2 Sata card with 120 It worked the first time Links https://www.ipcop.org/index_php.html https://www.pcengines.ch/alix2d3.htm https://pcengines.ch/apu2.htm https://pcengines.ch/howto.htm#OS_installation https://www.openbsd.org/faq/pf/example1.html
I forgot to mention the power consumption was very good, seemingly better than windows 10. That's a big bonus. On the website it said that the XFCE AHS release is not out yet. It would probably work better on my device. https://distrowatch.com/table.php?distribution=mx Screenshot 2023-02-14 15:50:31 Click the thumbnail to see the full-sized image Edit: Ken Original summary was "Overcoming fucking UEFI and Windows 10 to Install MXLinux 21.3 on a 2021 Asus Laptop 2nd SSD drive" - as per policy
HPR is switching to a static site and in today's show Rho`n explains to Ken how to submit changes to the code. [user@pc fix]$ git clone firstname.lastname@example.org:rho_n/hpr_generator.git [user@pc fix]$ cd hpr_generator/ [user@pc hpr_generator]$ git status [user@pc hpr_generator]$ git checkout -b I70_Fix_links_to_audio Edit the files. Once complete: [user@pc hpr_generator]$ git add file/to/commit [user@pc hpr_generator]$ git commit [user@pc hpr_generator]$ git push origin I70_Fix_links_to_audio You can now login to the rho_n/hpr_generator git repo and you should be able to see several branches. Next to your branch you can press New Pull Request Review your changes and if you're happy press the green New Pull Request Fill in the description and a detailed comment Use the HPR convention [&lt;issue number&gt;] &lt;brief_description&gt; The brief description is usually based on the title of the issue When Create Pull Request Full show notes are available.
I discuss dependent types, which are types that can contain non-type programs. An example of a dependent type is a list whose type contains its length. Instead of just writing List&lt;String&gt; for a list that contains strings, dependent types include types like List&lt;String, 5&gt; that describe lists of exactly five strings. Dependent types can also be used to represent mathematics, in which case the programs that they describe count as proofs, and tools from programming can be used to write math. Dependent types used to be something that really required a research background, but there has been a lot of progress on making them more user-friendly and on writing accessible introductions lately. Languages mentioned: Idris is a self-hosted dependently typed language with type-level resource tracking Agda is a testbed for new ideas in dependently typed programming Lean 4 is a self-hosted dependently typed language that has a more conservative logical core than Idris or Agda, and attempts to appeal more to practicing mathematicians. Coq is a proof assistant based on dependent types that has been used to fully mathematically verify a C compiler Books mentioned: The Little Typer, by Daniel P. Friedman and David Thrane Christiansen is an intro to the core ideas of dependent types, in dialog form Type Driven Development with Idris by Edwin Brady, the creator of Idris, describes an approach to programming that uses expressive types as a way to make programmers' lives easier Programming Language Foundations in Agda by Phil Wadler, Wen Kokke, and Jeremy Siek describes the use of Agda for both programming and proving Software Foundations is a series of books that use Coq as an introduction to mathematically rigorous software development in a proof assistant. It's how I initially learned these topics!
Episode #1 Welcome to the 11th Annual Hacker Public Radio show. It is December the 31st 2022 and the time is 10 hundred hours UTC. We start the show by sending Greetings to Christmas Island/Kiribati and Samoa Kiritimati, Apia. Chatting with Honkey, Mordancy, Joe, Ken, and others Discussed: pi hole, podman, RPIs, Pfsense, and netminers new micro pc Introduction by Ken and Honkey. History: The New Years Celebrations. Civilizations around the world have been celebrating the start of each new year for at least four millennia. Today, most New Year&#x2019;s festivities begin on December 31 (New Year&#x2019;s Eve), the last day of the Gregorian calendar, and continue into the early hours of January 1 (New Year&#x2019;s Day). HPR: So you want to do a podcast? Wikihow: How to make a good podcast. Death Wish Coffee We lead with an alternative point of view, providing bold, smooth cups of coffee to our people. We find fresh ways to enjoy coffee, and we foster community along the way. Disrupting the status quo interests us, so we create edgy, sarcastic content. We live to rebel against blah beans&#x2014;and a boring, lackluster life. Thailand Elephant Sanctuary VLC commandline: List of commands and arguments. VLC commandline: Documentation. VLC commandline: Audio streaming from the commandline. pavucontrol: PulseAudio Volume Control. Hearse Club youtube: MotorWeek Over the Edge: Hearse Convention. xiph: The Ogg container format. Ogg is a multimedia container format, and the native file and stream format for the Xiph.org multimedia codecs. As with all Xiph.org technology is it an open format free for anyone to use. Library of Congress: .ogg file format. Wikipedia: .mp3 file format. xiph: .flac file format. FLAC stands for Free Lossless Audio Codec, an audio format similar to MP3, but lossless, meaning that audio is compressed in FLAC without any loss in quality. This is similar to how Zip works, except with FLAC you will get much better compression because it is designed specifically for audio, and you can play back compressed FLAC files in your favorite player (or your car or home stereo, see supported devices) just like you would an MP3 file. Wikipedia: .flac file format. elephantguide: How Much Can An Elephant Lift? Royal Thai Embassy: Thailand&#x2019;s wild tiger population shows impressive growth.
ENTEX Electronics Electronic Singing Machine. Karaoke Model No. 1820. Entex Electronics Inc. Made in Taiwan. Late 1970s early 1980s. It incorporates an 8-Track Player and Cassette Tape Recorder. It also uses the Bucket Brigade Device Echo (BBD ECHO) Power is supplied by AC 120 Volts. It also uses 10 D cell batteries, or alternatively 12-15 volts DC. ENTEX Electronics Electronic Singing Machine Entex Electronics Handheld Games on the Internet Archive Belts Square Cassette Tape Machine Recorder Rubber Belt Cassette Recorder Repair Maintenance Mix Flat Cassette Tape Machine Rubber Belts (Width 4MM) USB Soundcard 48KHz/44.1KHz sampling rate with 16-Bit Resolution. SABRENT Aluminum USB External Stereo Sound Adapter Free Music Archive Cyborg, Lost by Modern Monster Pictures The images are thumbnails. Click on each to see the full-sized picture. 8 Track side Cassette tape side Initial condition of the cassette player Back of the player Player with the cassette cover removed Connecting rod for the cassette player Cassette pulley system
Counter Point This show is a counter point to: hpr3754 :: GOD probably will use a Chromebook. Make sure no one is in the room with you before you play this and put your secret hat on. hpr3754: GOD probably will use a Chromebook. GNU World Order: Episode 489 Cloud Services. samsung: Galaxy Chromebook Go. samsung: Galaxy Chromebook Go 14inch, Silver, Wi-Fi. wikipedia: Artificial intelligence is intelligence&#x2014;perceiving, synthesizing, and inferring information&#x2014;demonstrated by machines, as opposed to intelligence displayed by non-human animals and humans. wikipedia: In monotheistic thought, God is usually viewed as the supreme being, creator, and principal object of faith. God is typically conceived as being omnipotent, omniscient, omnipresent, and omnibenevolent, as well as having an eternal and necessary existence. wikipedia: In economics and industrial design, planned obsolescence (also called built-in obsolescence or premature obsolescence) is a policy of planning or designing a product with an artificially limited useful life or a purposely frail design, so that it becomes obsolete after a certain pre-determined period of time upon which it decrementally functions or suddenly ceases to function, or might be perceived as unfashionable. wikipedia: Eugenics. In the decades following World War II, with more emphasis on human rights, many countries began to abandon eugenics policies, although some Western countries (the United States, Canada, and Sweden among them) continued to carry out forced sterilizations.
Although many people can create music easily enough on their computers, not as many can read the traditional stave-and-dots notation that have been in use for hundreds of years. In less than half an hour, you can grasp the basics of reading music in a way that's as natural as putting one foot in front of the other. I'd advise either printing out the handout from https://enistello.info or having it on a screen you can see easily while outdoors. But it's not essential! Keep your eyes (and ears) peeled for part two of this series on Hacker Public Radio, when I'll cover more complex rhythms and you'll learn a lot more about pitch in written music. Handout and more information at: https://enistello.info The book I mention in this episode is The Songlines, by Bruce Chatwin, published in 1987, and available from all good bookshops. Don't buy it from Amazon, it only encourages them.
I discuss my quest for the perfect keyboard for me. Links https://www.duckychannel.com.tw/en https://steelseries.com/apex https://www.razer.com/pc/gaming-keyboards-and-keypads https://www.redragonzone.com/collections/keyboard https://www.keychron.com/ https://hyperx.com/collections/gaming-keyboards https://keebworks.com/kailh-box-white/ Noise reduction applied
We wrap up our stay in Tucson, Arizona and move over to Benson, Arizona, not far from Tucson. Here we will stay for a month. And we don't run out of things to do. This was one of our favorite stops of the trip. In this episode we visit an old west movie set, Saguaro National Park, and tour a copper mine. Links: https://flic.kr/s/aHBqjzKEoM https://flic.kr/s/aHBqjzKKPu https://flic.kr/s/aHBqjzKLPk https://flic.kr/s/aHBqjzKMsj https://flic.kr/s/aHBqjzKNpv https://flic.kr/s/aHBqjzKMS9 https://flic.kr/s/aHBqjzKRuY https://www.palain.com/travel/tucson-part-2/
Source I was looking through while talking WIP: gopher://gopher.club/1/users/screwtape/car-game Compilers: sbcl https://sbcl.org/ ecl https://ecl.common-lisp.dev/ acl2 https://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index-seo.php/ACL2____Common_02Lisp System definition: asdf https://common-lisp.net/project/asdf/ Books mentioned: Land of Lisp Advances in Formal methods (whatever by Kaufmann)
Introduction This torch (aka flashlight) came up during the recording of the Community News for May 2022. I have owned an example of this device since 2016. It’s been extensively reviewed elsewhere but I thought I’d briefly tell you about my experiences. Nitecore Tube (V1) My Nitecore Tube I bought this from Amazon after seeing a video of it on the Big Clive YouTube channel. It was under £10. This version is no longer available but there is a version 2 for a similar price. I haven’t tried this one. The Nitecore Tube is a small plastic-bodied torch with fittings for a key ring. I have not been keen to keep it on my keyring for fear of damage from the keys, so I keep it always in my shirt pocket. The torch is controlled through a rubber-like button on one side, and has a micro USB port on the edge which is covered by a rubber cap. While charging, a blue LED can be seen inside the body of the torch, which turns off when the charging process is complete. The torch can operate at a number of brightness levels and has a lock mode: Single press - turns the low light level on and off Double press - turns on the permanent high level mode, a single press for off Single press and hold for more than 1 second - temporary high mode Press and hold when in low mode increases in brightness in steps Press and hold for more than 5 seconds when in high mode will lock the torch against accidental button presses. The light blinks to show it’s locked. Press and hold to return to normal. Usage I don’t use this torch a huge amount. The fact that it’s always in my pocket means I have a source of quite bright light when I need one. The lower level light is useful for moving around in the dark or in a gloomy place. The brighter level I tend to use to read labels on jars, bottles and other containers. For some reason, these labels are often designed with minimal contrast (like a dull orange lettering on a purple background) which my eyes just can’t cope with. The Nitecore is my saviour with this sort of stuff! I don’t charge it very often, but it is easy to do it with a phone charger - I have several micro USB cables around, so it’s no problem. Conclusion This is a great little device. I have other torches for when I need a stronger, more broadly illuminating light source. I wouldn’t be carrying any of these around with me though. The Nitecore is small and compact enough that I can keep it on me all the time. If I lost this one, or it died, I’m pretty sure I’d get another! Links: Big Clive: Fixing two Nitecore Tube torches Comparison with a shaker torch Teardown Teardown of a fake Worst clone yet 1LUMEN.COM Nitecore Tube - a very detailed review.
Why the PBP? Lately I've been thinking a lot about power consumption when it comes to computing. Intuitively, I know that arm devices pull significantly less power than amd64 machines but I've never really tested this in the real world. So, some preliminary power consumption stats: big amd64 laptops (thinkpad x220 and t490) pull at most 65 watts small arm SOCs typically pull at most 15 watts most android phones pull at most 18 watts Pentium 4 pulls at most 250 watts These numbers are fairly easy to find: just look at the power supply for a MAXIMUM OUTPUT value or something similar. This is the point at which the power supply fails so we can safely assume this is the maximum power draw for any given computer. Of course, this is DC output and not AC output and anyone who knows anything about electricity knows that converting AC to DC is expensive but these values are useful as a general estimate. I wrote something similar about computer power consumption some time ago My goal in all of this was to find a self contained computer that runs UNIX, doesn't take much power, isn't a consumption rectangle (smartphone), and can be charged from both AC with a rectifier and stored DC without an inverter. Charging from existing stored power was probably the most novel consideration. Everything else is a given. A few obvious answers come to mind: Raspberry Pi 4 is not self contained and using a pitop in public is a good way to get the bomb squad called on you beaglebone black is good too but neither self contained nor popular enough for wide OS support Pinebook Pro is self contained and is supported by some of the operating systems I'd like to run The PBP is an obvious choice. It's an open hardware ARM laptop that can be charged via a barrel cable (AC-&gt;DC) or via USB-C. Charging from USB-C is a very useful feature because it means I can easily choose between charging from the mains where efficiency loss is acceptable and charging from a DC source where efficiency loss is unacceptable. The actual use case is "what computer can I run off of a old car battery or the alternator in my car without burning power with an inverter?". I'll revisit this use case in a later section. Initial notes I took these notes immediately upon opening the PBP. They remain unedited because I want to be honest on the first impressions. shipping I was worried about DHL dropping my package out of a plane. Or leaving it out in the rain. Or having one of the employees use it as a soccer ball. Or having the thing get stuck in customs. It ended up arriving safely and was packaged well. Two boxes within a padded envelope within another envelope. Surprising for DHL. hardware impressions Touchpad sucks and trackpad scrolling sucks (it's probably just KDE). Installing synaptics drivers allegedly fix this problem. keyboard is comfortable, clickly, full sized despite being a chicklet keyboard. I don't like that the &lt;ctl&gt; and &lt;fn&gt; keys are backwards when compared to a thinkpad. I really like the thinkpad keyboard layout. Shift+enter seems to type the M character. My muscle memory for key chording is now broken. This appears to be a fundamental design flaw with KDE. Passively cooled, gets a bit warm. display is sharp (IPS) and almost too high resolution for my eyes (1920x1080 instead of 1366x768). I can fix this in software. enabling/disabling mic/wifi/came
Synopis I installed a new 1TB Crucial MX500 SSD into my work computer. While we are mostly a Windows based business, as the IT guy I do get a bit of discretion when updating my own machine (i.e. I get to solve all the problems I create). Last year, I decided to run the Pop!_OS distribution of Linux on my work computer and run Windows in a VM on it. Recently the Windows image had grown and was causing disk space notifications. This prompted the additional hard drive. During the initial installation of Pop!_OS, I remember deciding not to bother with installing Linux Volume Management (LVM). I have used it in the past, but I am still much more comfortable with the old style device mapping and mounting disk partitions to directories. I even rationalized that if I needed to add more space, I will just add a new disk with one big partition and map it to the home directory. Now a year later I am adding a new HD and thinking, I really hate all the space that is most likely going to be wasted once I move the Windows image to the new drive. Ok, I guess I should figure out how to install LVM, and use it to manage the space on both drives. Luckily there a number of good blogs to be found on adding LVM to an existing system. The following are the steps and commands I used to accomplish my goal. Commands Most of the following commands need to be run as root. I decided to change to root user instead of typing sudo before every command. The basic steps to creating a single filesystem sharing the storage space between two physical disk partitions are: Let LVM know about the new disk. In my case, create a volume group and add the new disk and its full storage space to it. Copy the disk partition with the root filesystem from the origin disk to the new volume group Expand the root filesystem on the volume group to the full size of the volume group. Update system configuration to boot with the root filesystem on the new volume group. Let LVM know about the old root disk partition. Add the old root partition to the volume group. Expand the root filesystem on the volume group to include the new space in the volume group. root@work# pvcreate /dev/sdb root@work# pvdisplay &quot;/dev/sdb&quot; is a new physical volume of &quot;931.51 GiB&quot; --- NEW Physical volume --- PV Name /dev/sdb VG Name PV Size 931.51 GiB Allocatable NO PE Size 0 Total PE 0 Free PE 0 Allocated PE 0 PV UUID wRBz38-xxxx-xxxx-xxxx-xxxx-xxxx-xxxxxx root@work# vgcreate workvg /dev/dsb No device found for /dev/dsb. root@work# vgcreate workvg /dev/sdb Volume group &quot;workvg&quot; successfully created root@work# vgdisplay --- Volume group --- VG Name workvg System ID Format lvm2 Metadata Areas 1 Metadata Sequence No 1 VG Access read/write VG Status resizable MAX LV 0 Cur LV 0 Open LV 0 Max PV 0 Cur PV 1 Act PV 1 VG Size 931.51 GiB PE Size 4.00 MiB Total PE 238467 Alloc PE / Size 0 / 0 Free PE / Size 238467 / 931.51 GiB VG UUID 67DSwP-xxxx-xxxx-xxxx-xxxx-xxxx-xxxxxx root@work# pvdisplay --- Physical volume --- PV Name /dev/sdb VG Name workvg PV Size 931.51 GiB / not usable 1.71 MiB Allocatable yes PE Size 4.00 MiB Total PE 238467 Free PE 238467 Allocated PE 0 PV UUID wRBz38-xxxx-xxxx-xxxx-xxxx-xxxx-xxxxxx root@work# lvcreate -n root -L 931.51 workvg Rounding up size to full physical extent 9