Re: [Dorset] Links from 2022-12-06's Pub Meet.
Thanks for this. The Segger J-Link EDU and EDU Mini are cheaper versions of the J-Link BASE JTAG-and-SWD debug probe aimed at the hobbyist for non-commercial use. https://www.segger.com/products/debug-probes/j-link/models/j-link-edu/ https://www.segger.com/products/debug-probes/j-link/models/j-link-edu-mini/ I had discovered https://www.xjtag.com/about-jtag/what-is-jtag/ to try and find out about this. Software bugs kill but software testing tends to only check things work, not how things can break. Competent code inspection can spot the latter. https://en.wikipedia.org/wiki/Therac-25 When I was teaching my thing about testing was that it was not just about testing to see that it did what it was supposed to, but also to see that it didn't do what it was not supposed to. The example of this was software from my previous employer that only accepted valid dates, and the stuff we got from the Americans that would accept 00/00/00 and 99/99/99 for dates. -- Next meeting: Online, Jitsi, Tuesday, 2023-01-03 20:00 Check to whom you are replying Meetings, mailing list, IRC, ... http://dorset.lug.org.uk New thread, don't hijack: mailto:dorset@mailman.lug.org.uk
Re: [Dorset] Links from 2022-12-06's Pub Meet.
Thanks for this. The Segger J-Link EDU and EDU Mini are cheaper versions of the J-Link BASE JTAG-and-SWD debug probe aimed at the hobbyist for non-commercial use. https://www.segger.com/products/debug-probes/j-link/models/j-link-edu/ https://www.segger.com/products/debug-probes/j-link/models/j-link-edu-mini/ I had discovered https://www.xjtag.com/about-jtag/what-is-jtag/ to try and find out about this. Software bugs kill but software testing tends to only check things work, not how things can break. Competent code inspection can spot the latter. https://en.wikipedia.org/wiki/Therac-25 When I was teaching my thing about testing was that it was not just about testing to see that it did what it was supposed to, but also to see that it didn't do what it was not supposed to. The example of this was software from my previous employer that only accepted valid dates, and the stuff we got from the Americans that would accept 00/00/00 and 99/99/99 for dates. -- Next meeting: Online, Jitsi, Tuesday, 2023-01-03 20:00 Check to whom you are replying Meetings, mailing list, IRC, ... http://dorset.lug.org.uk New thread, don't hijack: mailto:dorset@mailman.lug.org.uk
Re: [Dorset] Links from 2022-12-06's Pub Meet.
Hi Ralph, > Unified Modeling [sic] Language is at the end of a long lineage of > systems for using diagrams to analyse requirements, develop software, > and document behaviour. It grew out of the Object Orientated movement. > https://en.wikipedia.org/wiki/Unified_Modeling_Language What I tried to say in my previous reply (which seemed to be empty in my mail client) - was that I came across something called ‘Mermaid’ recently - which is a tool for diagramming - including UML - https://mermaid-js.github.io/mermaid/#/ Cheers, Stephen -- Next meeting: Online, Jitsi, Tuesday, 2023-01-03 20:00 Check to whom you are replying Meetings, mailing list, IRC, ... http://dorset.lug.org.uk New thread, don't hijack: mailto:dorset@mailman.lug.org.uk
Re: [Dorset] Links from 2022-12-06's Pub Meet.
Ralph, Thankyou kindly for putting this synopsis of the meeting together. Hugh On Sat, 10 Dec 2022 at 10:53, Ralph Corderoy wrote: > Hi, > > The Government's Project Gigabit aims to increase good broadband to > rural areas. https://projectgigabit.campaign.gov.uk/ > > Though I don't think Hugh's eligible because... > > https://gigabitvoucher.culture.gov.uk/#suppliers >‘Vouchers in your area have been paused as your address may shortly > be included in one of our Project Gigabit contracts. This could > mean your home is in line for gigabit broadband without the need for > a voucher. Please check back in a few weeks’ time for any further > updates.’ > > That page then lists three suppliers in the area. > > Jurassic Fibre, another local supplier installing equipment beneath the > pavements. https://jurassic-fibre.com > > The Segger J-Link EDU and EDU Mini are cheaper versions of the J-Link > BASE JTAG-and-SWD debug probe aimed at the hobbyist for non-commercial > use. > https://www.segger.com/products/debug-probes/j-link/models/j-link-edu/ > https://www.segger.com/products/debug-probes/j-link/models/j-link-edu-mini/ > > A nascent Mastodon instance. https://dorset.social > > Use fail2ban to monitor a single file for a particular string and run a > certain command each time it appears. https://www.fail2ban.org > > Or build it yourself. This is Unix. > > >log > for n in {1..31514}; do > echo $n >>log > sleep 0.1 > done & \ > tail -f log | > grep -E --line-buffered '3|(.)\1\1' | > while read -r l; do > sed -n "$l{=;p;q}" /usr/share/dict/words > done > > FreeRTOS has had backing for a while now from Amazon which wants to > speed the development of IoT devices which may then use AWS. It's a > good easy RTOS to get started with. https://www.freertos.org > > A rival from The Linux Foundation is Zephyr. It has backing from the > likes of Intel, Nordic, and NXP who contribute device drivers and other > work. Its configuration and build system is a bigger initial hurdle > though. https://zephyrproject.org > > Software bugs kill but software testing tends to only check things work, > not how things can break. Competent code inspection can spot the > latter. https://en.wikipedia.org/wiki/Therac-25 > > Unified Modeling [sic] Language is at the end of a long lineage of > systems for using diagrams to analyse requirements, develop software, > and document behaviour. It grew out of the Object Orientated movement. > https://en.wikipedia.org/wiki/Unified_Modeling_Language > > -- > Cheers, Ralph. > > -- > Next meeting: Online, Jitsi, Tuesday, 2023-01-03 20:00 > Check to whom you are replying > Meetings, mailing list, IRC, ... http://dorset.lug.org.uk > New thread, don't hijack: mailto:dorset@mailman.lug.org.uk > -- Sent from my iPhone -- Next meeting: Online, Jitsi, Tuesday, 2023-01-03 20:00 Check to whom you are replying Meetings, mailing list, IRC, ... http://dorset.lug.org.uk New thread, don't hijack: mailto:dorset@mailman.lug.org.uk
Re: [Dorset] Links from 2022-12-06's Pub Meet.
-- Next meeting: Online, Jitsi, Tuesday, 2023-01-03 20:00 Check to whom you are replying Meetings, mailing list, IRC, ... http://dorset.lug.org.uk New thread, don't hijack: mailto:dorset@mailman.lug.org.uk
[Dorset] Links from 2022-12-06's Pub Meet.
Hi, The Government's Project Gigabit aims to increase good broadband to rural areas. https://projectgigabit.campaign.gov.uk/ Though I don't think Hugh's eligible because... https://gigabitvoucher.culture.gov.uk/#suppliers ‘Vouchers in your area have been paused as your address may shortly be included in one of our Project Gigabit contracts. This could mean your home is in line for gigabit broadband without the need for a voucher. Please check back in a few weeks’ time for any further updates.’ That page then lists three suppliers in the area. Jurassic Fibre, another local supplier installing equipment beneath the pavements. https://jurassic-fibre.com The Segger J-Link EDU and EDU Mini are cheaper versions of the J-Link BASE JTAG-and-SWD debug probe aimed at the hobbyist for non-commercial use. https://www.segger.com/products/debug-probes/j-link/models/j-link-edu/ https://www.segger.com/products/debug-probes/j-link/models/j-link-edu-mini/ A nascent Mastodon instance. https://dorset.social Use fail2ban to monitor a single file for a particular string and run a certain command each time it appears. https://www.fail2ban.org Or build it yourself. This is Unix. >log for n in {1..31514}; do echo $n >>log sleep 0.1 done & \ tail -f log | grep -E --line-buffered '3|(.)\1\1' | while read -r l; do sed -n "$l{=;p;q}" /usr/share/dict/words done FreeRTOS has had backing for a while now from Amazon which wants to speed the development of IoT devices which may then use AWS. It's a good easy RTOS to get started with. https://www.freertos.org A rival from The Linux Foundation is Zephyr. It has backing from the likes of Intel, Nordic, and NXP who contribute device drivers and other work. Its configuration and build system is a bigger initial hurdle though. https://zephyrproject.org Software bugs kill but software testing tends to only check things work, not how things can break. Competent code inspection can spot the latter. https://en.wikipedia.org/wiki/Therac-25 Unified Modeling [sic] Language is at the end of a long lineage of systems for using diagrams to analyse requirements, develop software, and document behaviour. It grew out of the Object Orientated movement. https://en.wikipedia.org/wiki/Unified_Modeling_Language -- Cheers, Ralph. -- Next meeting: Online, Jitsi, Tuesday, 2023-01-03 20:00 Check to whom you are replying Meetings, mailing list, IRC, ... http://dorset.lug.org.uk New thread, don't hijack: mailto:dorset@mailman.lug.org.uk