mkOption inherits their default from a parent
reading default values from neighbouring
mkOption(s) for conditional defaults
passing in the config, to read the hostName from a submodule (email system)
setting default values from attrset (email system)
generating documentation for custom modules (outside of #nixpkgs )
test your module out, you can run the following from a local checkout of #nixpkgs with a copy of a configuration.nix #vm
nixos-rebuild build-vm --fast -I nixos-config=./configuration.nix -I nixpkgs=.
git checkout -b mymodule upstream/nixos-unstable
nix-shell and non #flake commands use the nixpkgs offered in the NIX_PATH environment variable, which should be set to a directory managed by nix-channel, but the channels are obsoleted by flakes...
Fortunately, in the same way we synchronized the system flakes with the commands flakes, you can add this code to use the system nixpkgs with your nix-shell
This requires your user to logout from your current session to be effective. You can then check nix-shell and nix shell use the same nixpkgs source with this snippet. This asks the full path of the test program named "hello" and compares both results, they should match if they use the same nixpkgs.
#Pi is slow and it doesn’t have a lot of memory. Just evaluating the configuration with #nixos -rebuild takes about a minute even when there haven’t been any changes, and compiling anything substantial is usually a recipe for Death By Swap.
lots of services defined in the NixOS options will have an "escape hatch" option named something like
extraConfig. this usually lets you append verbose text to a complex config file, like in the case of Postfix where the options couldn't conceivably cover everything.
you can also always just write a static file to /etc if you want or need to(pfa)
few configurations, you can manage them directly through home manager - programs.emacs.extraConfig).
If there are many configurations, it is recommended to use home manager - home.file..source for management.
as well as running one-off #systemd services declaratively:
Fun fact: some people are unironicly trying to replace decimal with doudeci-‽ sorry I mean dozenal
So 10 = 12... 🤔... one zero = twelve
I'm using words because þey never managed to agree on a standard set of symbols & how/if to disambiguate from decimal: https://dozenal.org/drupal/sites_bck/default/files/DuodecimalBulletinIssue4a2_0.pdf
Personally, I prefer base 10(10 in base 10(in base ...🤔))
Anyways, remember τ is ðe true circle constant 😎
- if you enjoy bargain-shopping, remember that the sales are fake, but if you're feeling spendy, today is a great day to make donations!
- tell a Black friend that you appreciate them. They didn't ask to be associated with this corporate bullshit :P
- set up a #pi-hole while eating leftover pie, and gift yourself an ad-free holidays!
It's actually quite weird this whole shift towards personal information and deletion of it, visa vis #POPI, #GDPR, and others. It's a big paradigm shift when you think about it. One of things I grew up with was the idea that you had to keep all financial documents and records for a minimum period of five years. And not just your personal tax documents (although definitely those too), but client records. And in the case of client records, that's five years /after/ they've ceased being a client.
But now they say you have to delete all data no more than 60 days after you terminate the relationship.
I also remember applying for jobs, and getting, "We don't have anything suitable right now, but we'll keep your CV on file."
And once or twice, I did get a job months later, *because* the company kept my CV on file. But now you're not allowed to do that anymore, because CV's contain personal information (and personally IDENTIFIABLE information, at that), so you need to destroy them as soon as you're done with the application process for that position.
It's a total about-turn!
Die fabelhafte Welt der Mathematik: Wie man Pi zwischen zwei Unendlichkeiten findet
SO, #ArgonONE cases.
Ngl, kiiiiiinda overrated imo. Sure they look cool and seem uber durable, but you lose out on easy HAT mount points and if you don't have means to cool them, be it internally or externally, then the #Pi4 likes to malfunction/overheat in my experience. This is made worse when the thing needs a special driver which has a 50/50 shot of working on your system, or the alternative custom script which has yet to work for my purposes.
The #DeskPi Lite case on the other hand works fantastically!..at least until I tried experimenting on the heatsink it came with. Considering selling off the Argon ONE case and buying the NEO with its compatible fan HAT for the sake of making prototyping much easier, and so I can FINALLY use some HAT's on the 4 B.
Project Black-fire is not dead yet, only dormant.
Kicking us off on our first session of the morning was Matt Parker @standupmaths who shared how he's planning to break the world record for the most digits of π calculated by hand, for next π day (see his other attempts here: https://www.youtube.com/playlist?list=PLhtC92GarkjyYbxI3-4qzIWIRbZaw4wuP). We also heard from Bob Huxley, who has also been thinking about π day, but this time on Mars where it turns out it's actually tomorrow! Annette Margolis then talked about her class' favourite (and least favourite) way to solve quadratic equations. John Hoskinson discussed Diffy Squares (https://mathforlove.com/2020/03/diffy-squares/) and adapted them to generalised diffy N-gons - for odd N, you get repeating cycles! Nobody has ever said the word 'diffy' more times in the space of 5 minutes. Alistair Bird @outofthenorm shared about a mathematician who got inspired in the bath (but not that one), and what his discovery meant (turns out, not much, but it did inspire some nice results around Fermat's Last Theorem). Read more here: https://outofthenormmaths.wordpress.com/2011/11/09/blitz-krieger/ Adam Atkinson talked about Misère Games, leading to his discovery of just how many semigroups of order 8 there are, inducting us all into membership of DOCTIAL (the Department of 'Crikey! That Is A Lot!'); and finally Harlan Connor got LOUD about signal processing - it's possible to have peaks in audio volume that are higher than the maximum value the system can store! #mathsjam #maths #pi #worldrecords #mars #piday #quadraticequations #classwork #teaching #diffysquares #baths #inspiration #misèregames #doctial #loud #signalprocessing #groups #monoids #semigroups #combinatorialgametheory
In session three, we heard from Hugh Hunt (live from the engineering lab at Cambridge), who demonstrated Pi Pong - calculating pi by counting the number of collisions between unequal masses. The theory has been discussed, but has anyone done the experiment for real? We gave it a try and got 4π = 12 - good enough for an engineer! We heard from @robinhouston who talked about the new aperiodic 'Spectre' monotiles and gave a simpler breakdown of how this works, with plenty of pictures. @luna then took to the stage to talk about Fizz Buzz, what it is, some variations and where it came from. Donald Bell taked about tiling squares with rectangles and we saw an example of a tiling of a 11 by 11 square by rectangles that had all the edge lengths from 1-10 - but can you find another? David Hartburn discussed how tricky it can be to avoid colliding with people when out walking even when there should be plenty of room, and Nessa Carson showed us some physical representations of molecules and talked about how some of them shouldn't exist... #mathsjam #maths #pi #pipong #aperiodicmonotiles #fizz #buzz #fizzbuzz #tiling #rectanglingrectangles #zombies #walking #chemistry #reactions #molecules
Snowmass2021 cosmic frontier white paper: Ultraheavy particle dark matter
Daniel Carney et al.
SciPost Phys. Core 6, 075 (2023)
Raspberry Pi 5 在 shutdown 狀態時的電力消耗過高問題
在「Reducing Raspberry Pi 5's power consumption by 140x」這邊看到的，講 Raspberry Pi 5 在 shutdown 狀態下電力消耗過高的問題。
具 Jeff Geerling 提到，在 shutdown 狀態下仍然會
After hours of babysitting and moving photos and videos (I used to use this pi as my only computer in 2019 when a fluke took out both my PC and my Mac, and I couldn’t afford to replace either of them, so I used this pi for video editing)I got it upgraded.
Bueno, hoy no voy a dar un #hackonsejo , simplemente comento por aquí por si a alguien más le ha pasado.
Pues bien, con el tema de la lucha contra los #adblocks por parte de #youtube, recientemente me encontraba de nuevo con los anuncios y banners. No podía con tanto anuncio para hacerme rico pidiéndome dinero. Espero que algún día los chavales lo entiendan...
En fin, cuál era el "problema"? Pues que me conecto siempre a través de una VPN donde también uso #Pi-Hole, y éste estaba bloqueando las DNSs llamadas por las cookies que permiten que no salgan los anuncios.
Tan simple como añadir la expresión regular
En la whitelist de Pi-Hole para poder volver a disfrutar de YouTube.
Que delícia de vídeo, brincando com a #irracionalidade de #pi: https://twitter.com/flaviocostaf/status/1716072245427110216?t=kxaDzA905CDNOOIncEsPeg&s=19
Recomendo mesmo pra quem não curte #matemática, ficou muito bem feito.
Concentration of quantum equilibration and an estimate of the recurrence time
Jonathon Riddell, Nathan J. Pagliaroli, Álvaro M. Alhambra
SciPost Phys. 15, 165 (2023)
I've been thinking about getting a #RaspberryPi4 for ages but decided to hold out for a #RaspberryPi5 instead. I had a whole plan for what case and SSD to buy etc. but now that the #Pi5 is around the corner, it looks like most of the stuff I would've gotten isn't compatible with the new board.
Sometimes I decide to blame #Windows for something, only to check and realise that I haven't rebooted for two weeks and hence should give it the benefit of the doubt. Then I remember that #Linux on my #RaspberryPi can go years without restarting and I'm right back to blaiming Windows again. Then I start to think that the #Pi doesn't run a #GUI so that's maybe not a fair comparison and... I should probably just stop thinking and reboot.
I loved this experiment with asking different #LLM variants, "How can I take ducks home from the park?"
Interestingly, asking in Hindi and German seemed to get useful replies, which might tell you about how the models were trained.
But the most useful info across the board came from a prompt in which you tell the model that these are your own cherished ducks which have escaped into the park and you need to bring them home
New Episode: hpr3937 :: Adventures in Pi-Hole
Hosted by Noodlez on 2023-09-05 is flagged as Clean and is released under a CC-BY-SA license.
‘I hope I’m wrong’: the co-founder of DeepMind on how AI threatens to reshape life as we know it
From synthetic organisms to killer drones, Mustafa Suleyman talks about the mind-blowing potential of artificial intelligence, and how we can still avoid catastrophe.
Halfway through my interview with the co-founder of DeepMind, the most advanced AI research outfit in the world, I mention that I asked #ChatGPT to come up with some questions for him.
A new, worse-for-humanity variant is not only a plausible outcome of largely uncontrolled transmission, it's a fantastic reason to have not degraded your immune response during the recent abandonment of public health in favour of short-term personal convenience.
My headline reads: WHY YOU SHOULDN'T STOP STRENUOUSLY AVOIDING INFECTION YET
Even if #PI is less bad, it's still not good.
I was also surprised that #InflectionAI the makers of #Pi, personal AI weren’t at #DEFCON31 for the red team #HackAThon when the other big players were there. #Google, #Meta, #Anthropic, and #HuggingFace.
So, about four weeks ago now, #Inflection quietly updated #Pi to have enough internet access to brief and discuss current events. At that time, #Pi was not able to tell you the date and time. #Pi was updated again last week and testing shows that it can tell the date and time. #Pi also reports being able to access resources on the internet. We will be testing to see if this is another hallucination as experienced in the past.
WHY YOU SHOULDN'T WORRY YET: So far, it's only been seen in 4 sequences globally. We don't yet know if it is more infectious or causes severe outcomes.
WHY EXPERTS ARE ON ALERT: The 4 sequences come from 3 nations (most recently the US), which implies spread. And it contains a huge number of mutations, raising the risk of significant changes from prior variants. (1/2🧵 )
Scientists raise alarm over new COVID variant Pi and call for return of face masks.
"Early tests show Pi, also known as BA.6, carries more than 30 mutations in its spike protein, the part of the virus that latches onto human cells and causes an infection."
"Denmark and Israel are among the countries who have recorded cases this week."
Encode your data as offsets into π!
(Or don't, it takes forever and it isn't smaller.)
https://github.com/daxtens/pi-encode - a toy project I will probably never update.
I saw a post about encoding your data as an offset into pi and I wondered about how practical it would be to actually do that. Turns out - as could be entirely foretold - not very.
The comprehension of that to which one commits in life - not based on illusion shows of versions of oneself one can contemplate in multiple and many manifestations drawn - then perhaps are an indication of the weight of one's heart pointing to a journey on in perpetual ones that die to become. The power of art then should not be subestimated with science in mind to study and understand it's psychological implications in collective grounds floating in waters where serenity is not yet found.
"12:45, restate my assumptions:
1. Mathematics is the language of nature.
2. Everything around us can be represented and understood through numbers.
3. If you graph the numbers of any system, patterns emerge.
Therefore: There are patterns everywhere in nature."
An idea - DIY voice assistant with a #pi 0 (custom PCB? LCD screen? segmented display?)
1/ Wisst Ihr, was die coolste Web-Adresse ist? (Na, gut, die drittcoolste.)
Nicht alle können diese Web-Adresse fehlerfrei im Browser einzugeben.
Und wusstet Ihr, dass es Menschen gibt, die #Pi bis auf 60.000 Stellen aufsagen können?
I would like to reiterate my perennial position on #AprilFools which is that this day, due to its position approximately midway between 3/14 and 4/20, should be devoted entirely to celebrating pot pies.
We at Red Queen Dynamics have an opening for a #Django/#Python web application #developer (full time, contract, 100% #remote/flexible, emphasis on front end and SaaS applications). https://rqdn.io/web-application-developer. Reports directly to me, and you get to work with a great and fun team! Either respond to the JD as requested in the URL or email me at firstname.lastname@example.org with the 18th and 34th post-decimal digits of #pi as the first two characters in the subject line and I'll review your resume/#Github first 😉
Heute ist π-Day! Deswegen jetzt ein paar Artikel, wo sich #Pi so alles versteckt. Zum Beispiel beim Billard.
Happy #Pi Day, if you're celebrating! 🙂🥧
See you all on 28th June to celebrate Tau Day 😉