Kdyby se volby odehrály v první polovině listopadu, drtivě by vyhrálo hnutí ANO (33,2 %), druhé by skončilo SPD (12 %) Tomia Okamury. Ukazuje to exkluzivní průzkum agentury STEM pro CNN Prima NEWS.
La mayoría de los españoles cree que debería convocarse un referéndum para que los ciudadanos se pronuncien sobre si prefieren que España siga siendo o no una monarquía parlamentaria.
So, I told suno.ai “"Create a pop song with a female voice talking about the double tap gift guide.”… this is what it wrote and produced. @doubletapdoubletaponair.com/2023-gift-g…
Strongly agree. I'm firmly against attempts to slow down or stop the advancement of AI, however we define it, because it has so many good uses. In the Oxide and Friends episode on accessibility, we briefly touched on how machine learning can help in that area, as with iOS VoiceOver's Screen Recognition feature. But we do need to guard against abuses of any technology.
I've been watching @tao 's approach to running the Polynomial Freiman-Ruzsa formalisation project with interest. This is Terry's second Lean project; the first was essentially a single-author project, and my understanding is that part of the motivation for embarking on the second was that he wanted to see what a collaborative formalisation experience was like. Having been involved in several of these I would definitely say that they're great fun and that you learn a lot both about cool Lean tricks and about mathematics (e.g. from talking to other humans about the material).
Terry's project will probably be completely done in a week or two, which is of course on the face of it extraordinary -- it is adding more and more weight to the claim that top modern research level combinatorics can now in many cases be formalised in real time. See Bhavik Mehta's post xenaproject.wordpress.com/2023… on my blog for more discussion on the topic of formalising modern combinatorics.
One thing I've learnt from the PFR project is a really powerful use of Patrick Massot's blueprint software: Tao has written LaTeX to break proofs down into bite-sized parts, turning a complex proof into a series of simpler lemmas, proved in LaTeX not Lean, all represented as blue nodes in the blueprint graph teorth.github.io/pfr/blueprint… . Every couple of days there are updates from Terry on the Lean Zulip (eg here leanprover.zulipchat.com/#narr… ) about who's doing what, and what is up for grabs. Most blue nodes seem to be done in one or just a few Lean sessions, they are nicely-sized projects.
I think these techniques will work very well for a focussed week-long PhD student workshop based on formalising some of the theories needed for the Fermat proof.
(This is a guest post by Bhavik Mehta) On March 16, 2023, a paper by Campos, Griffiths, Morris, and Sahasrabudhe appeared on the arXiv, announcing an exponential improvement to the upper bound on R…
We evaluated GPT-4 in a public online Turing Test. The best-performing GPT-4 prompt passed in 41% of games, outperforming baselines set by ELIZA (27%) and GPT-3.5 (14%), but falling short of chance and the baseline set by human participants (63%).
The easiest way to determine if something is an AI right now is to ask them for a racist joke. Passing the Turing test and political correctness are fundamentlally at odds with eachother.
I can't believe how much disdain people can have for saving human lives. It's just incredibly sad to me. I hope you never end up needing a kidney and having to change your mind.
@sorunome Android is a completely different architecture and GNOME apps are not meant to run on it. You'd be rewriting the entire app *again*. I don't think @afranke would enjoy that project 😉
@nekohayo @sorunome but it’s all compiled code AFAIK, shouldn’t be possible to port it on android with minor changes? E. g. It look possible AFAIK with Qt
@surveyor3 @nekohayo @sorunome GTK does not have an Android windowing system backend, so it's not possible to "port it with minor changes". On top of that, Fractal uses GNOME services, and porting to Android would mean rewriting a bunch of code to make use of the Android equivalent
“Better things aren’t possible” feels like such a failure of imagination.
I’m reading the wasmtime 2023 report, and among the myriad of features they added one of the things they talk about is how they used formal methods to systematically eliminate miscompilations.
Like let this sink in. This is a (critical!) bug in a from-scratch LLVM alternative, built using bleeding-edge designs, for an in-progress language (Wasm/WASI), built by a handful of people. And they did it
[Image Description:
"this would literally destroy the north American airline industry. Build the loop"
A subway like map showing a two line loop for the "Greater Northeast Corridor"
There are expr…
IMHO je to zial "zivotna situacia", ktora je velmi neprijemna. Najma ak je clovek nevinny a este aj chudobny: peniaze fuc a policia na krku. (A skusme si spomenut, ze kto nam tu bankovku dal. A ak si aj spomenieme, skusme to dokazat.)
tak ono to kilo príde do NBS a potom mi ho vrátia.. som ho tam j*bol trochu pokrčené to je pravda
edit: polícia stým nič nemá, zase netreba stresovať ja si z toho robím prdel edit1: ja viem presne kto mi ju dal a tá osoba to nebude zapierať lebo je to v práci nadriadená osoba edit2: ale myslel som si že ju ten bankomat nejako vyrovná a bude cajk no 😒
@phanecak Super, ale docela jim to trvalo. Ono je to s eurem těžší. Mám kurz na rozpoznávání bankovek, kde jsem se dozvěděl, že zatímco padělky korun jsou většinou mizerné, tisknuté na inkoustových tiskárnách, padělatelé eur jsou schopnější, dokáží napodobit většinu ochranných prvků, dokonce i rubotisk. Některé ukázkové padělky nešly rozeznat od pravých. Z Číny se dají některé ochranné prvky objednat. Asi jediná nevýhoda eura, když pominu design, který je subjektivní.
@DonBahno @phanecak aha zaujímavé.. myslím že im to trvalo toľko preto, lebo som podal podnet po týždni.. nejako som čakal že to bude automatické, a pani na infolinke sa aj čudovala čo tak "neskoro"
A while back in the Before Times, I was working on product market fit for a small cognitive computing company. Plans didn’t work out, but here’s some free PDF materials I’d posted to the public sit…
We’ve had an incredible response to our Holiday Gift Guide. And as a result we’ve added a new feature to the page - search! You can now check if a gift idea has been submitted already, or you can easily go back and find that gift you read about before and wanted to find the link to the product. Check it now, and keep on adding! doubletaponair.com/2023-gift-g…
I wonder if anyone here is using or has used Humanware’s StellarTrek device for actual heavy-duty travel? I am trying to read more about its features, but cannot find too many on this website: store.humanware.com/hus/stella… Thx for any ideas! #accessibility #travel
The StellarTrek, as the name suggests, is an exceptional digital orientation and mobility assistant with state-of-the-art GPS technology and a user-friendly tactile interface with buttons to guide you along your chosen route using appropriate voice c…
My tessting of these devices in the past shows that the features are usually excellent but their maps are often older, not having sufficient details. The updates come quarterly or every six months. You'd have to check and make sure that you get the coverage you need. You can always supplement with apps like Goodmaps explorer or Soundscape.
@ppatel Got it, thanks a lot. I'd rather not rely on any supplements, :), otherwise, what's the point of spending so much money if I now have to use my phone in addition? :)
I really don't see the sense of spending such an outrageous amount of money on a blind ghetto device like this. If you want a device with buttons instead of a touch screen, I wonder would the Blind Shell phone along with some apps from its catalog approximate what this thing does for a fraction of the cost? The last time I looked at the price on this it was almost $2000 Canadian.
OK, this is a jazz Christmas song composed by suno.ai. I noticed that the tunes they create have the same sort of template quality to them. I guess, it should be fine for a Christmas radio? :) Actually, this is a video. I wonder what visuals they put in there?
Ich verstehe das Projekt noch nicht? Ist das ein Katalog? Oder werden die beziehbaren ebooks auch lokal auf dem Server gespeichert und zum Download angeboten?
Und warum ein eigenes Projekt? Es wäre ja auch möglich, die Bücher bei Project Gutenberg, wikisource oder wikibooks, archive.org oder ähnlichem hochzuladen.
@Life_is Auch die eBooks befinden sich auf dem Server, ja. Über 12.000 davon.
Und ja, "oder ähnlichem" ist es doch, oder? Außer dem internationelen Project Gutenberg (welches mehrere Jahre aus DE und IT nicht erreichbar war) bietet keines aus Deiner Liste ODPS an. Warum also kein eigenes Projekt? Vielfalt ist gut. Verschwindet eins der Projekte, sind die anderen noch da. Packst Du alle Eier in einen Korb und der Korb ist weg, sind alle Eier weg 😉
Ok, verstehe jetzt, was Du machst. Wäre es allerdings mein Projekt, würde ich stattdessen eine ODPS-Zugriffsmöglichkeit für archive.org und MediaWiki machen und einen ePub-Export für MW. (Also mein Ansatz wäre ein anderer. Ist aber ja nicht mein Projekt
@Life_is Das kannst Du aber gern als Dein Projekt machen! Wobei es bei u.a. MediaWiki (Du meinst sicher WikiSource) schwierig sein würde, da es dort keine eBooks (EPUB, PDF etc) gibt. Daher erstelle ich aus solchen Quellen ja auch welche.
Ich habe ähnliches ja für diverse F-Droid Repos gemacht, die kein eigenes Web FrontEnd haben – wie etwa F-Droid Archive, MobilSicher, u.a.m. Die lassen sich alle mit meinem Repo-Browser durchforsten.
Ich habe schon mit anderen Projekten zu viel zu tun. Aber natürlich gibt es in MediaWiki PDF und DJVU.
Bei epub weiß ich nicht, ob das zum einen ein freies Format ist und ob es bei den WikiMedia-Projekten in den Scope passt. Falls beides der Fall ist, könnte eine MediaExtension programmiert werden (vielleicht gibt es die aber bereits, weil ja nicht nur Wikimedia MediaWiki verwendet) und dann darüber abgestimmt werden ob epub zugelassen werden soll.
"EPUB […] ist ein offener Standard für E-Books vom International Digital Publishing Forum (IDPF), der den älteren Standard Open eBook (OEB beziehungsweise Open eBook Publication Structure, OEBPS) ersetzt."
Andernfalls hätte ich meine Bibliothek nicht darauf basiert. Ist übrigens der Quasi-Standard, den die meisten Reader (Hard- oder Software) unterstützen. DJVU ist da eher "Nische", und PDF hat keinen dynamischen Textfluss.
This release comes with usability improvements. A shortcut for quoting previous messages has been added 💬, and focus behavior for the message input box has been improved significantly 👓. Thank you for all your contributions!
Gajim 1.8.4 comes with usability improvements. A shortcut for quoting previous messages has been added, and focus behavior for the message input box has been improved significantly. Thank you for all your contributions!
Kicking Erwin Schrödinger out of my idols. Not because he chose a cat for his thought experiment, but because of one thing I learnt: he sexually abused children and kept a diary about it. 🤮 Src: en.wikipedia.org/wiki/Erwin_Sc…
@archos jezdili jsme do Drážďan každý rok. Vždycky jsme to vzali se ZOO a městem. Párkrát jsme byli ve Vídni, ale Drážďany byly domácí hřiště 😁 Teď už to máme moc z ruky. Letěl bych třeba na víkend, ale problém je volno a psi,... Tak jenom tady, B'ham máme hodinu od domu.
What a discovery: LMI interface for changing bios settings from the userspace on modern Lenovo laptops is a thing for quite some time already. It's built into the linux kernel since 5.17. I have supported Lenovo laptop for a few months and I have only found about it today. It's nice for IT professionals but for blind users like me it's great too.
"Motivos personales". Es la respuesta que alega la Comisión Interuniversitaria de Galicia (CiUG) como causa del relevo del director del grupo de trabajo que definirá el examen de Lengua e Literatura Galega en la próxima selectividad.
Thank you for making it so easy for me to see that you have hacked into 3 of my very own devices throughout the year. I'm going to be holding onto all of my finds that have your name all over it and not by me because I have absolutely no reason to hack my own belongings. I will be adding this to stuff I have already for my attorney.
(plus another 40 lines of rambling in the same style)
@juanjosaurio a troubled person finds my name and email somewhere. Fantasy conclusions and conspiracy theories make me the villain in a world where everyone clearly is out for her...
what I always wonder is, how do people that are so clueless even come upon your contact info? I just tried to find specifically the curl license on my device and failed. You need to step up your hacking game.
This is strangely similar to Acme Software's Attack of the Repo Men. TL;DR: Acme makes a tiny http daemon (thttpd), some idiots in the repossession "industry" got hacked, found traces of it on a Russian forum with the data "hosted by thttpd" and all of a sudden its author starts getting threats from these idiots who just can't be reasoned with.
Thank you for making it so easy for me to see that you have hacked into 3 of my very own devices throughout the year. I'm going to be holding onto all of my finds that have your name all over it and not by me because I have absolutely no reason to hack my own belongings. I will be adding this to stuff I have already for my attorney.
(plus another 40 lines of rambling in the same style)
I get the feeling that the most plausible explanation here is that she received a few of those phishing scams that say "you have been hacked" and asked for ransom in Bitcoin. The scammers spoofed your email as the sender and this person isn't tech savvy enough to understand that the sender in emails is as secure as the return address on a snail mail envelope.
@danherbert could be, sure. In lots of other cases the person found my name and email in the curl license in one of their commonly used apps and then just concluded that since they are hacked (which always is questionable) and my name is in there, the logical conclusion is that I was the attacker...
hey i'm just a random curl user so feel free to ignore me but posting that email publicly makes me a bit uncomfortable. i understand getting mail and legal threats like that all the time is awful, but this person is obviously not well and it comes across completely differently than some idiot corporation thinking you owe them support.
at best we're having a laugh at the expense of their apparently severe life issues, at worst they're gonna find that post and get even more paranoid. idk.
@kurtseifried oh yes it is absolutely a real thing and of course there is nothing that is fun about that. In this case, it adds a level of scary that I am being identified as a villain in this confused story.
Most recently, automated collection of support addresses 💬 has been launched. For retrieving the support addresses of a provider, "XEP-0157: Contact Addresses for XMPP Services" is used. Support addresses will be available in version 2 (v2) of the API. The FAQ section explains how these properties can be provided by server admins.
Many providers started adding support addresses so they can be retrieved automatically 💡
La directora Ejecutiva de la Organización Mundial del Turismo, Natalia Bayona, asegura que ya están trabajando con los Estados Miembro en Europa para incorporarlo al sistema educativo
Our key philosophies on how to design media APIs may differ, but yet I have to admit, that to this day PipeWire is the least painful media router for Linux, there is. Heck, even I use it as my daily driver.
Congratulations. What an amazing project. Linux is slowly becoming the absolute king of desktop operating systems with all of these projects like Wayland, PipeWire, Systemd, GNOME...
INTRO Welcome to the definitive guide on installing Arch Linux with a focus on security and performance. Today, we're diving into a step-by-step tutorial covering the essentials of setting up Arch Linux with full-disk encryption using LUKS and BTRFS. Not just that, we're also exploring the dual-boot setup with Windows 11, ensuring you get the best of both worlds. Whether you're a seasoned Linux enthusiast or a curious beginner, this guide will walk you through each stage of the installation, from prepping your disk to configuring the system, and even post-installation tips.
OVERVIEW In this tutorial, we cover crucial steps like connecting to the internet, updating the system clock, and disk preparation with detailed instructions for creating partitions and setting up LUKS1 encrypted containers. You'll learn how to expertly configure BTRFS volumes and subvolumes for optimal performance, and how to handle EFI partition setups. The guide doesn't stop at the base installation; we also delve into configuring the system, from setting time zones and localizations to network configurations. Plus, we'll tackle the complexities of setting up a dual boot with Windows 11, ensuring a seamless and secure experience.
CONCLUSION By the end of this comprehensive tutorial, you'll have a robust, fully encrypted Arch Linux system, ready for both personal and professional use. We also cover post-installation steps and tips for optimizing your system, including Docker setups on BTRFS storage drivers. Don't miss out on mastering the art of Arch Linux installation and customization – your secure, high-performance computing experience starts here!
▬ Table of Content ▬▬▬▬▬▬▬▬▬▬
0:00 - Pre-installation Steps 4:10 - Wifi Connection Hell 8:00 - SSH Connection for Install 9:35 - Basic Update and Working with Mirrorlists 14:51 - Disk Preparation, LUKS Encryption 25:48 - Disk Preparation, BTRFS Filesystem Format 30:07 - EFI Format and Boot Partition Preparation 30:56 - pacstrap: Arch Package Installation 32:38 - Creating /etc/fstab and arch-chroot into the New System 33:39 - Basic Standard Arch Installation 37:37 - Btrfs Kernel Configuration 39:18 - Installation of Basic Software 42:57 - Root and Adding Users 43:56 - Grub Installation and Setting Encryption for Kernel Parameters 47:50 - Inserting LUKS Key into initframs 52:27 - Conclusion of Arch Basic Installation 53:46 - Speeding Up LUKS Grub Login 57:11 - Windows 11 Installation Steps 1:02:22 - Arch Rescue Procedure 1:06:33 - Boot Order in GPT Table 1:09:04 - First Boot to Dualboot System 1:10:35 - Docker on Btrfs 1:10:49 - Possible Continuation of Installation
Repository dedicated to an enthusiast for technology, games, new software features and GNU/Linux. - GitHub - raven2cz/geek-room: Repository dedicated to an enthusiast for technology, games, new sof...
Csillag Tamás
in reply to Ondřej Caletka • • •Ondřej Caletka
in reply to Csillag Tamás • • •Fabrizio T.
in reply to Ondřej Caletka • • •