General information: Micro Bit v1
The file:contains:
/media/$USER/MICROBIT/DETAILS.TXTDAPLink Firmware - see https://mbed.com/daplink
Version: 0234
Build: Oct 12 2015 14:53:222022-10-14: stopped being able to connect to Ubuntu 22.04. Was trying to do a UART video demo, connected USB, disconnected, connected, disconnected several times on different filming attempts. Was working some of the time, Ubuntu did recognize it, I even saw UART output for sure, but was a bit unstable. But then at one point it just stopped getting recognized by Ubuntu 100% of the time. The board is still being powered by USB, and the previously flashed program still runs, but nothing showed on
sudo dmesg -w at all, and I can't reprogram it!A day later, managed to get tit to connect once more with a different cable, but just once!
[15310.385055] usb 1-5: new full-speed USB device number 38 using xhci_hcd
[15310.534996] usb 1-5: New USB device found, idVendor=0d28, idProduct=0204, bcdDevice=10.00
[15310.535000] usb 1-5: New USB device strings: Mfr=1, Product=2, SerialNumber=3
[15310.535001] usb 1-5: Product: MBED CMSIS-DAP
[15310.535002] usb 1-5: Manufacturer: MBED
[15310.535003] usb 1-5: SerialNumber: 9900023436424e45001d30150000005d00000000cb8928bd
[15310.541267] usb-storage 1-5:1.0: USB Mass Storage device detected
[15310.541643] scsi host4: usb-storage 1-5:1.0
[15310.542658] hid-generic 0003:0D28:0204.000A: hiddev1,hidraw2: USB HID v1.00 Device [MBED MBED CMSIS-DAP] on usb-0000:00:14.0-5/input3
[15310.543121] cdc_acm 1-5:1.1: ttyACM0: USB ACM device
[15311.549969] scsi 4:0:0:0: Direct-Access MBED DAPLINK VFS 0.1 PQ: 0 ANSI: 2
[15311.550273] scsi 4:0:0:0: Attached scsi generic sg1 type 0
[15311.550825] sd 4:0:0:0: [sdb] 16512 512-byte logical blocks: (8.45 MB/8.06 MiB)
[15311.551052] sd 4:0:0:0: [sdb] Write Protect is off
[15311.551054] sd 4:0:0:0: [sdb] Mode Sense: 03 00 00 00
[15311.551204] sd 4:0:0:0: [sdb] No Caching mode page found
[15311.551207] sd 4:0:0:0: [sdb] Assuming drive cache: write through
[15311.572160] sd 4:0:0:0: [sdb] Attached SCSI removable disk
[15316.317438] usb 1-5: reset full-speed USB device number 38 using xhci_hcd
[15316.445093] usb 1-5: device descriptor read/64, error -71
[15316.681102] usb 1-5: device descriptor read/64, error -71
[15316.917102] usb 1-5: reset full-speed USB device number 38 using xhci_hcd
[15317.045028] usb 1-5: device descriptor read/64, error -71
[15317.281149] usb 1-5: device descriptor read/64, error -71
[15317.517154] usb 1-5: reset full-speed USB device number 38 using xhci_hcd
[15317.517466] usb 1-5: Device not responding to setup address.
[15317.725358] usb 1-5: Device not responding to setup address.
[15317.933042] usb 1-5: device not accepting address 38, error -71
[15318.061027] usb 1-5: reset full-speed USB device number 38 using xhci_hcd
[15318.061347] usb 1-5: Device not responding to setup address.
[15318.269270] usb 1-5: Device not responding to setup address.
[15318.477018] usb 1-5: device not accepting address 38, error -71
[15318.477153] usb 1-5: USB disconnect, device number 38
[15318.652912] usb 1-5: new full-speed USB device number 39 using xhci_hcd
[15318.785044] usb 1-5: device descriptor read/64, error -71
[15319.021068] usb 1-5: device descriptor read/64, error -71
[15319.257030] usb 1-5: new full-speed USB device number 40 using xhci_hcd
[15319.385075] usb 1-5: device descriptor read/64, error -71
[15319.621147] usb 1-5: device descriptor read/64, error -71
[15319.729170] usb usb1-port5: attempt power cycle
[15320.384941] usb 1-5: new full-speed USB device number 41 using xhci_hcd
[15320.385176] usb 1-5: Device not responding to setup address.
[15320.593188] usb 1-5: Device not responding to setup address.
[15320.801023] usb 1-5: device not accepting address 41, error -71
[15320.928909] usb 1-5: new full-speed USB device number 42 using xhci_hcd
[15320.929073] usb 1-5: Device not responding to setup address.
[15321.137244] usb 1-5: Device not responding to setup address.
[15321.344947] usb 1-5: device not accepting address 42, error -71
[15321.345173] usb usb1-port5: unable to enumerate USB device
[15321.384929] FAT-fs (sdb): unable to read boot sector to mark fs as dirtySome threads:
- askubuntu.com/questions/1317548/webusb-doesnt-work-connecting-to-microbit after system upgrade, Ubuntu sees it but fails
- askubuntu.com/questions/1288738/cannot-pair-microbit-through-usb-on-xubuntu-16
Exact same USB and port could still mount the Raspberry Pi Pico.
The cartridge is number 33 or 33 XL.
Home 2017 TalkTalk 38Mbps nominal, Google M-lab speed test:
- 36.4 Mbps download
- 9.15 Mbps up
- 58 ms latency over 80km of first world
Home 2025 Giffgaff
Home 2025 Sky Broadband WiFi Max Hub SR213 (SR213-02-UK-wht) 1GBPS:Admin at 192.168.0.1/ username admin password same as wifi password.
- Lenovo ThinkPad P14s gen4 amd
- wired to fiber box:
- wireless sitting next to router:
- Google Pixel 7a
- wireless sitting next to router: 414 down 107 up. Receiver bound which is funny.
Bought December 2023 for 300 pounds, so 15 pounds / TB. Needs power supply unfrotunately besides USB, the largest one without needing power supply was only 5 TB at the time so not worth it, given that my P14s alreay carriers 2 TB. 10x is a must for the external crap.
www.westerndigital.com/en-gb/products/external-drives/wd-elements-desktop-usb-3-0-hdd?sku=WDBWLG0030HBK-EESN (archive)
Noise: it has a constant pleasant hum, with a not so nice click every 5 seconds or so. Reasonable, but not amazingly incredible.
The size is reasonable, not megaportable, but definitely reasonable.
Semiconductor Science and Technology is a multidisciplinary field that encompasses the study and application of semiconductors, materials that have electrical conductivity between that of conductors (like metals) and insulators (like glass). This field integrates principles from physics, materials science, electrical engineering, and chemistry to explore the properties and applications of semiconductor materials and devices.
Space Science Reviews is a scientific journal that publishes comprehensive, high-quality review articles covering a wide range of topics in space science. It serves as a platform for researchers and experts in the field to present the latest developments, findings, and theories related to space exploration, astrophysics, planetary science, cosmology, and related areas. The journal aims to provide a well-rounded overview of current research trends and advancements, making it a valuable resource for scientists, researchers, and students interested in space science.
Integrationism is a concept that can apply to different fields, but it generally refers to the process or ideology of integrating separate components into a unified whole. These are some contexts where integrationism might be relevant: 1. **Sociocultural Integrationism**: This typically involves the integration of diverse cultural groups within a society, emphasizing the importance of social cohesion and the benefits of mutual respect and understanding among different communities.
A computable number is a real number that can be calculated to any desired degree of precision by a finite, deterministic procedure, such as a computer algorithm or a mathematical process. In other words, a computable number is one for which there exists a method (or algorithm) that can produce its digits when given enough time and resources.
The Deflationary Theory of Truth is a philosophical perspective that downplays the significance of the concept of truth. Rather than viewing truth as a substantial property that sentences possess, deflationists argue that the notion of truth can be expressed in a simplified or trivial way. One of the key ideas behind deflationary theories is that asserting that a statement is true does not provide any additional information beyond the statement itself.
Pluralist theories of truth propose that there is not a single, exclusive conception of truth but rather multiple ways of understanding or defining truth that can be valid depending on the context. This perspective acknowledges that different domains of inquiry may require different standards of truth, and thus what is considered true in one context may not apply in another.
The Redundancy Theory of Truth is a philosophical position concerning the nature of truth, primarily associated with the work of philosophers such as Frank P. Ramsey and later developed by others like Paul Horwich. This theory asserts that the concept of truth is redundant and that the predicate "is true" does not add any new information to the propositions it is applied to. Instead, the theory claims that truth can be expressed by simply asserting the proposition itself.
The Ackermann function is a well-known example of a recursive function that is not primitive recursive. It serves as a benchmark for computing and illustrates the concept of deep recursion.
Bought: 2022.
Noticeably worse than the Skullcandy Smokin' Buds 2 for a similar price.
Pinned article: Introduction to the OurBigBook Project
Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
Intro to OurBigBook
. Source. We have two killer features:
- topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculusArticles of different users are sorted by upvote within each article page. This feature is a bit like:
- a Wikipedia where each user can have their own version of each article
- a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
Figure 1. Screenshot of the "Derivative" topic page. View it live at: ourbigbook.com/go/topic/derivativeVideo 2. OurBigBook Web topics demo. Source. - local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 3. Visual Studio Code extension installation.
Figure 4. Visual Studio Code extension tree navigation.
Figure 5. Web editor. You can also edit articles on the Web editor without installing anything locally.Video 3. Edit locally and publish demo. Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.Video 4. OurBigBook Visual Studio Code extension editing and navigation demo. Source. 
- Infinitely deep tables of contents:
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact