Here's the screenshot from my own computer.
I'm not very poetic so It's hard for me to explain the significance of this, but I feel like this is truely an important moment for computerised mathematics.
in technical terms there is a computer system which lets you write mathematical proofs in lambda calculus, it simply checks that they are valid proofs.
a team of researchers (the same team who previously implement a computer proof of the 4-color theorem) have worked for 6 years filling in every single detail of a complete computer proof of one of the Feit-Thompson theorem, which states that every group of odd order is solvable.
The proof is very deep and takes up two entire books (not counting the background theory needed for it).
It took my computer 2 days (and one forced reboot from overheating..) to run through all the computations, but now it has completly checked the proof and that is what the screenshot shows!
I'm not part of the team so I can't answer questions about the details or development of this proof, but I will answer questions I can.
What's next.. maybe a complete computer proof of the classification of finite groups?
- You can read the announcement here http://www.msr-inria.inria.fr/events-news/feit-thompson-proved-in-coq
> From Laurent Théry > Date: Thursday 20 September 2012, 20:24 > Re: [Coqfinitgroup-commits] r4105 - trunk > > Hi, > > Just for fun > > Feit Thompson statement in Coq: > > Theorem Feit_Thompson (gT : finGroupType) (G : {group gT}) : odd #|G| -> solvable G. > How is it proved? > > You can see only green lights there: > > http://ssr2.msr-inria.inria.fr/~jenkins/current/progress.html > > and the final theory graph at: > > http://ssr2.msr-inria.inria.fr/~jenkins/current/index.html > > How big it is: > > * Number of lines ~ 170 000 > * Number of definitions ~15 000 > * Number of theorems ~ 4 200 > * Fun ~ enormous! > > -- Laurent
I noticed similarities in the apps so I installed the Tuya app and was able to re-onboard all of the random bulbs and switches into the Tuya app allowing me to use the Tuya integration to control a whole host of devices.
This also means that they should be locally controllable with all that Tasmota/TuyaOTA stuff.
Hi everyone, i'm new to home automation and purchased the Feit Electric Wi-Fi Smart Dimmer for my home. I currently use regular 60W light bulbs everywhere and was wondering if I need to buy specific bulbs to use with these Smart Dimmers? If so what type of bulbs do I need?
I was thinking if I use my regular bulbs they may break since they're cheap. But not sure how all this works i'm new to all this. Am i correct in this?
Link to product - https://www.costco.ca/feit-electric-wi-fi-smart-dimmer-3-pack.product.100681394.html
Thanks for your help!
Edit - Added the link to the product page on costcos site
Anyone able to connect these Feit outdoor plugs using the Tuya iOS app? I deleted the plug from the Feit app, then tried to scan for it in the Tuya app. I believe that is the first requirement prior to getting the TuyaWebPlatform plugin to work?
----------------
DISCUSS BELOW!!!
EPISODE 350 - Lights, Camera, Barstool
Please subscribe on iTunes and give us a 5 STAR review/rating!
Outro Music Playlist: https://open.spotify.com/user/12656655/playlist/6k1ko8swEbyiyQncK8UGjM?si=cHhiDfPoQq2MZxPBH6y0sw
Follow our Instagram: https://instagram.com/lightscamerabarstool
iTunes link: https://itunes.apple.com/us/podcast/lights-camera-podcast/id1279516571
New LCB Shirts:
Pocket: (https://store.barstoolsports.com/products/popcorn-pocket-tee?variant=32529459740769)
No Pocket: (https://store.barstoolsports.com/products/popcorn-tee)
----------------
|| (3:23) Solo
|| (5:49) Bittsburgh
|| (7:04) Ad #1
|| (8:43) New F9 Trailer
|| (27:57) Army of the Dead
|| (34:06) Ad #2
|| (35:51) Kevin James is playing Sean Payton?
|| (43:12) Lucy Liu Cast in Shazam 2
|| (48:02) Jacob Tremblay joined The Toxic Avenger
|| (51:16) NOBODY REVIEW (SPOILERS)
|| (1:14:25) Action Movie Protagonist Draft
-----
Instagram: LightsCameraBarstool
Jeff D Lowe: JeffDLowe (Twitter and Instagram)
KenJac: JackKennedy (Twitter), Jackennedy (Instagram)
Trillballins: Trillballins (Twitter)
I have a Feit Electric video doorbell with SD storage. Can I address the SD card by ftp or http to copy the files to a Windows 10 (Home) computer? My iPhone can clearly read the drive because I can view videos on the phone. I can get the RTSP feed in Onvif Device Viewer if that helps.
Ultimately, I would like to mount the SD drive and run a script to archive the videos on a daily or weekly basis.
Een verandering aan: Algemene bepalingen - Lid A3
Momenteel is er sprake van het volgende schema;
strafeis tussen de 1 en 50 maanden bedroeg, verjaren deze feiten na 10 dagen;
strafeis tussen de 51 en 85 maanden maanden bedroeg, verjaren deze feiten na 15 dagen;
strafeis tussen de 86 en 100 maanden bedroeg, verjaren deze feiten na 30 dagen;
totale strafeis meer dan 100 maanden bedroeg, verjaren deze feiten na 45 dagen;
Ik ben van mening dat deze marges te dicht opeen zitten, met het huidige wetboek, optellen van 2e en/of meerdere veroordeling en andere factoren zit je erg snel, misschien wel bijna altijd aan de 100 maanden. Een veroordeling van 300 maanden is dagelijkse kost. Het is ook niet erg roleplay bevorderend om een speler (de gamer die achter zijn computer TDA speelt) te straffen met uren vast te zitten in een game. In roleplay verdient het character dit, echter bevordert dit niet het speelplezier en dus ook niet motiverend om leuke criminele roleplay neer te zetten als dit in roleplay word gestraft met urenlang niks kunnen doen in de game. Nu zou mijn volgende voorstel al een hoop oplossen en het 'te slim af zijn van de politie en op de vlucht blijven' waarderend maken en dus meer realistische RP toebrengen omdat het dan ook lovend is om uit de handen te blijven. Momenteel is het namelijk zo dat je al anderhalve maand niet gepakt mag worden voor een straf die je vrij makkelijk hebt. Ik zou een tijdsbestek van 20 dagen veel realistischer vinden voor een straf boven de 250 maanden. Indien je 100 - 250 maanden hoort te krijgen lijkt me 14 dagen een goede middenweg. Alles hier beneden zou binnen 10 dagen moeten verjaren. Natuurlijk kan nog gekeken worden naar het aantal dagen.
Met vriendelijke groet
Raf (Rafael Eiscobar, Rake)
I just... How the entire hell? I have a window A/C unit, a Feit smart outlet (also a gosund smart outlet available), and I just got a Honeywell wifi thermostat.
Everything is connected to Google home, but home doesn't have automation without having to say ok Google, or leave/return to the house. At least, that's how it seems.
Ifttt is a greedmachine now, and also doesn't seem to affiliate with Feit.
I need some kind of direction or support, because I'm about to just buy a relay and run wire through the wall to the stat. It's (not)funny, because I am in the HVAC automation controls business for work, so if I was using expensive industry controllers, this would be child's play.
... But trying to get these apps to talk to other...
I have a set of these string lights:
https://www.feit.com/product/24-foot-led-smart-string-light/
I picked them up a few years ago, and immediately hooked them up to an H801 controller.
Here's the problem: When I was on smartthings, I flashed the H801 with the firmware described here:
https://www.smartlife.tech/blog/2016/06/24/smartlife-h801-esp8266-based-rgbw-controller/
It worked great.
I moved to Home Assistant, and that particular firmware not only is fairly old, but isn't nearly as easy to use as Tasmota or Espurna.
So - I flashed it with Espurna, then Tasmota. Here's the problem - in both cases, the lights will turn on for a moment, then turn right off. It seems like the problem you'd run into with inadequate voltage. So - I went back and reflashed with the weird Smartlife firmware. It worked fine.
The weather is getting nice again, and I'd like to get these rocking under Home Assistant. Can anyone recommend a solution?
Ik word echt gek van dat snelle gezang. Mijn Feyenoord klonk bijvoorbeeld echt zoveel mooier 10 jaar geleden. Nu , of voor corona hoe je t ook wilt bekijken, wordt er zo kneiter snel gezongen.. klinkt voor geen meter.
Moest ik toch ff aan denken na het bekijken van een aantal filmpjes.
So we use smart bulbs from feit as our hone lighting solution, and control them through the iPhone app. In addition to controlling individual bulbs, there has always been a Groups control that does what you’d think - lets you group various bulbs together so you can control them together. It’s a key feature that made us buy this product. Yesterday, I picked up the last update, and the damn groups are gone. Like, what the hell? Why would they just eliminate such a crucial feature?
The worst part is that after we started using these lights, I set a bunch of them up for my elderly mother to lessen how much she has to walk. I made groups for her as well to keep everything easy. This update screws that up too.
Seriously, what a stupid and arbitrary thing to do. So frustrated.
UPDATE: Groups has come back in the newest update! I’m hoping it’s because of vocal everyone was, but I have no idea of they even heard any of it. I even wrote a review in the App Store, but got no response. Go and update, my friends!
As per this reference, I got some insoles from the FEIT store. However, the last few times I've dropped by they've either been closed, or not answering the phone, and the website doesn't stock these anymore. Anyone have any alternatives?
I have one pair in some shoes mostly dedicated to driving, and they're the best slip-ons I have, despite being 6 years old. Now that they're a bit worse for the wearer, I'd like to get another pair of shoes the same treatment.
Ideally I'd like the exact same product , but similar alternatives would be great ~
What options are there other than app & voice assistant to turn on/off Feit Electric smart bulbs (currently available at Costco)?
I'm moving into a new apartment soon, and want to put smart bulbs in the ceiling light fixtures, but I still need the ability for guests to turn on lights without knowing the correct thing to say to my google home. Since I'm renting, I would prefer to not mess with wiring and swap out the landlord's light switch.
Do these bulbs play nice with any battery operated "switch" or "remote" that can be wall mounted near/in place of the original light switch?
There is probably a fat chance that this will work with Abode but I thought I would check. This device is onsale at Costco and I might pick one up if they are compatible. I did NOT see any Feit device on the Compatibility list.
https://www.feit.com/product/led-dual-head-motion-sensor-security-light-with-camera/
