You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Does not come with <AC adapter>, getting this one: https://www.amazon.co.uk/dp/B08ZN476FW output: DC 9V 1A Power Supply Adapter, Plug 5.5mm x 2.1mm, Center Positive,B rand: Security-01, input: AC 100-240V 50/60 Hz, Cable length: 1.8m
51
+
= HANDSKIT soldering kit
52
+
{c}
53
+
{parent=Electronic components}
54
+
{title2=2025}
54
55
55
-
<LEDs>:
56
-
* maximum Continuous Forward Current: 50 mA
57
-
* under 20 mA
58
-
* Forward Voltage: 2.0 V typical, 2.5 V max
56
+
https://www.amazon.co.uk/dp/B077GB7CSZ
59
57
60
-
20 mA appears to be the typical operation. So with the 2.0 V drop on 5 V power we want a resistor such that:
* Input voltage: 6.5-9v (DC) via 5.5mm x 2.1mm plug
96
+
* Output voltage: 3.3V/5v
97
+
* Maximum output current: 700 mA
98
+
99
+
TODO center positive or center negative?
100
+
101
+
Does not come with <AC adapter>, getting this one: https://www.amazon.co.uk/dp/B08ZN476FW output: DC 9V 1A Power Supply Adapter, Plug 5.5mm x 2.1mm, Center Positive,B rand: Security-01, input: AC 100-240V 50/60 Hz, Cable length: 1.8m
102
+
103
+
Parts list from the ZIP:
104
+
* resistors:
105
+
* 10x each:
106
+
* 10
107
+
* 100
108
+
* 330
109
+
* 2k
110
+
* 5.1k
111
+
* 10k
112
+
* 100k
113
+
* 1M
114
+
* 30x 220
115
+
* 1n4007 General Purpose Rectifier
116
+
* 22pf 104 Ceramic Capacitor
117
+
* 4N35 optocoupler
118
+
* 74HC595 8-bit serial-in, serial or parallel-out shift register with output latches; 3-state
119
+
* Active buzzer
120
+
* Buttons
121
+
* CDS-55 Photoresistor
122
+
* Electrolytic Capacitor
123
+
* MF52D 103f 3950 thermistor
124
+
* PN2222 General Purpose Transistor
125
+
* Passive buzzer
126
+
* 3386p Bourns Precision Potentiometer - 1 103T: 10 Ohms to 2 mega Ohms. TODO part broken? Multimeter measures fixed 10 kOhms no matter where I set it
As of 2018-12, I believe that I might have fried the UART on this board when I burnt my last UART to USB converter by connecting ground to 5V.
1003
+
1004
+
Linux kernel logs don't show, but do show with the exact same components on the Pi 3 (SD card with `enable_uart=1` + image Raspbian Lite 2018-11-03 and UART cables).
1005
+
1006
+
Serial from `cat /proc/cpuinfo`: 00000000a50c1f69
1007
+
1008
+
Datasheets: </Raspberry Pi 2>.
1009
+
1010
+
= Raspberry Pi 3
1011
+
{parent=Raspberry Pis}
1012
+
1013
+
Linux on SSH and bare metal blinker both work on this board, so the rest of the board seems alive.
1014
+
1015
+
Serial from `cat /proc/cpuinfo`: 00000000c77ddb77
1016
+
1017
+
Datasheets: </Raspberry Pi 3>.
1018
+
1019
+
= Microcontroller
1020
+
{parent=Computers}
1021
+
1022
+
= Laroal STM32F411
1023
+
{c}
1024
+
{parent=Microcontroller}
1025
+
{title2=2025}
1026
+
1027
+
https://www.amazon.co.uk/dp/B0DXF9Y1S3
1028
+
1029
+
Board with a STM32F411CEU6 and breakout pin.
1030
+
1031
+
= Micro Bit v1
1032
+
{c}
1033
+
{parent=Microcontroller}
920
1034
{title2=2016}
921
1035
922
1036
General information: </Micro Bit v1>
@@ -994,43 +1108,6 @@ Some threads:
994
1108
995
1109
Exact same USB and port could still mount the <Raspberry Pi Pico>.
996
1110
997
-
= Raspberry Pis
998
-
{c}
999
-
{parent=Computers}
1000
-
1001
-
About the brand: </Raspberry Pi>
1002
-
1003
-
= Raspberry Pi Pico W
1004
-
{parent=Raspberry Pis}
1005
-
{title2=2022-10}
1006
-
1007
-
With pre-soldered male pin headers.
1008
-
1009
-
``
1010
-
>>> machine.unique_id()
1011
-
b'\xe6ad\x08C8%$'
1012
-
``
1013
-
1014
-
= Raspberry Pi 2
1015
-
{parent=Raspberry Pis}
1016
-
1017
-
As of 2018-12, I believe that I might have fried the UART on this board when I burnt my last UART to USB converter by connecting ground to 5V.
1018
-
1019
-
Linux kernel logs don't show, but do show with the exact same components on the Pi 3 (SD card with `enable_uart=1` + image Raspbian Lite 2018-11-03 and UART cables).
1020
-
1021
-
Serial from `cat /proc/cpuinfo`: 00000000a50c1f69
1022
-
1023
-
Datasheets: </Raspberry Pi 2>.
1024
-
1025
-
= Raspberry Pi 3
1026
-
{parent=Raspberry Pis}
1027
-
1028
-
Linux on SSH and bare metal blinker both work on this board, so the rest of the board seems alive.
Copy file name to clipboardExpand all lines: ciro-santilli.bigb
+19-6Lines changed: 19 additions & 6 deletions
Original file line number
Diff line number
Diff line change
@@ -215,16 +215,17 @@ and then create a <GitHub> issue at: https://github.com/cirosantilli/china-dicta
215
215
Publicly viewable contact is preferred if possible to more effectively share <Cirism>[Ciro's wisdom with the world].
216
216
217
217
But if you feel more comfortable with private contact, no problem, either:
218
-
* <email>: `cirosantilli` with provider <ProtonMail> which has domain name `proton.me`. All lowercase and removing the placeholder characters `<` and `>`. Note that Ciro also controls the <Gmail> address with that same username, and keep in mind that <Gmail dot trick>[dots are ignored in Gmail addresses]. But <ProtonMail> preferred because why should we give our private minds to the <CIA> by default? Push notifications disabled.
218
+
* <email>: username `cirosantilli` with provider <ProtonMail> which has domain name `proton.me`. Note that Ciro also controls the <Gmail> address with that same username, and keep in mind that <Gmail dot trick>[dots are ignored in Gmail addresses]. But <ProtonMail> preferred because why should we give our private minds to the <CIA> by default? Push notifications disabled.
219
219
* <Signal (software)>: username `cirosantilli.89` https://signal.me/#eu/BuJjV0enXYTOnFFc1FZV5LFcWodL1a2Oy9VZ5uyQU7xrYxqw+npIcaHBqghWudrI[]. 89 is a reference to <Ciro Santilli>'s birth year 1989. Push notifications enabled, but treat like email unless we are actively chatting back and forth.
220
220
221
-
For other less good methods that will also work, use direct messages of the following profiles from under <accounts>{full}:
221
+
For other less good methods that will also likely work, use direct messages of the following profiles from under <accounts>{full}:
* <Telegram (software)>: https://telegram.me/cirosantilli[]. Note that <end-to-end encryption> is present on secret chats only, which don't have device sync. Ridiculous.
226
+
Ciro's <Twitter> DMs are also open, but note that Ciro receives endless Chinese language SPAM there which Twitter is doing nothing to combat, so it's not as reliable.
226
227
227
-
If you are a <Internet privacy>[privacy] freak or are going to tell Ciro <government>[state] secrets Ciro has this <GNU Privacy Guard> public key: \a[pubkey.gpg].
228
+
If you are a <Internet privacy>[privacy] freak or are going to tell Ciro <government>[state] secrets Ciro has this <GNU Privacy Guard> public key: \a[pubkey.gpg], but it's not something that he has ever really used.
228
229
229
230
<Disqus> comments were removed from his website in 2019-05-04, a manual dump is \a[disqus-archive/][available here]{external}, removal rationale at: <why Ciro Santilli removed Disqus comments from his website in 2019-05-04>.
230
231
@@ -958,11 +959,12 @@ Previously, updates were being done with more focus to <sponsor>[sponsors] in th
958
959
959
960
This job seemed like a possibility as I've done some personal "data intensive" projects in the past (not distributed unfortunately, ~500 GB so it fit on my local disk), and I kind of enjoyed it and would be interested in trying out a more "data heavy" job like this for a change.
960
961
Rejected May 6th without interview.
961
-
* Nabla https://jobs.ashbyhq.com/nabla/85543350-f2e4-4328-95c2-7716ce143279 Back-End Engineer. There was also a Senior but I didn't have the 5 years experience lol
962
+
* Nabla https://jobs.ashbyhq.com/nabla/85543350-f2e4-4328-95c2-7716ce143279 Back-End Engineer. There was also a Senior but I didn't have the 5 years experience lol. Rejected 2025-07-21.
962
963
* <Big tech>:
963
964
* <Google>. Many jobs in London, nothing in Paris. https://www.google.com/about/careers/applications/jobs/results
964
965
* https://www.google.com/about/careers/applications/jobs/results/91141790538572486-senior-software-engineer-google-pixel-graphics Senior Software Engineer, Google Pixel Graphics. Went through entire interview process but <LeetCode> not good enough. Non-Leetcode went great.
* 2025-07-22 https://www.google.com/about/careers/applications/jobs/results/113249786332619462-senior-software-engineer Senior Software Engineer, TPU Performance, Hardware/Software Co-Design. Hopeless but one must try.
966
968
* <Amazon>, focusing on <AWS> of course. Lots of jobs in London, nothing in Paris: https://www.amazon.jobs/en-gb/
967
969
* 2025-06-20
968
970
* https://www.amazon.jobs/en/jobs/2915117/software-development-engineer-aws-uk Software Development Engineer, AWS Utility Computing
@@ -994,14 +996,21 @@ Previously, updates were being done with more focus to <sponsor>[sponsors] in th
> Hi, I'm applying to this job because I get a feeling that using machine learning to improve industry is cool and useful.
1001
+
1002
+
My backend experience is 3 years full time on my failed open source elearning project: https://github.com/ourbigbook/ourbigbook / https://ourbigbook.com/ the last of which I did after receiving a 100k pound grant. The website is written in Node.js + PostgreSQL, but I also like Python (went with Node.js for Next.js in this case) and have used Python professionally on my jobs and also for personal project, see CV or e.g. https://github.com/cirosantilli/linux-kernel-module-cheat I also did a bit of Django previously.
1003
+
1004
+
I've never handled huge traffic on that site because it failed to gain interest, but on rare occasions where a post got traction it survived 3k requests / day just fine. I've done some amount of SQL optimization and performance verification, and I've added 100k AI generated posts to it and it survived, meaning my indexes were OK.
997
1005
* Semiconductor:
998
1006
* <AMD>:
999
1007
* https://careers.amd.com/careers-home/jobs/57882 Senior Software Development Engineer on <ROCm>. Rejected a few days later without interview.
* https://careers.arm.com/job/cambridge/principal-software-engineer-machine-learning/33099/82468207936 Principal Software Engineer - Machine Learning. Seems ambitions but friend recommended me so I just clicked. Rejected 2025-07-03.
* <Oxford Instruments> 2025-07-21 https://jobs.oxinst.com/job/Oxford-Senior-Software-Engineer/819253802/ 70k salary. Cover: I just want to do something sciency. Rejected one day later.
> This application is hopeless, but here's the pitch. One thing that would be really really awesome for formal mathematics would be a website where anyone (including bots) can go and prove whatever theorem they want on the web UI or API, and then it gets formally verified, and the proven results shows up on the web UI, and other people can use it for their own further proofs. So it's a bit like Lean's mathlib, but the advantage over a centralized standard library is that you don't need to review people's pull requests. And you can do stuff like "watch if a results is proven". More babling at: https://ourbigbook.com/cirosantilli/website-front-end-for-a-mathematical-formal-proof-system Cheers.
0 commit comments