Skip Navigation
Posts
17
Comments
154
Joined
2 yr. ago
  • When a physicist want to impress a mathematician he explains how he tames infinities with renormalization.

  • Chicken thinking: "Someone please explain this guy how we solve the Schroëdinger equation"

  • I use jan-beta GUI, you can use locally any model that supports tool calling like qwen3-30B or jan-nano. You can download and install MCP servers (from, say, mcp.so) that serve different tools for the model to use, like web search, deep research, web scrapping, download or summarize videos, etc there are hundreds of MCP servers for different use cases.

  • Both make and cmake are ignoring the j option and some of the software compiled with them also run in a single thread when they shouldn't, it seems a system problem, could it be an env variable?

  • Just came across this beautiful video of Richard Feynman.

  • That's not how physics works. If you are really interested in such issues read a book on foundations of physics or history of physics to see how physicists arrived at the most famous equations (Einstein,Dirac, Schroedinger or Newton), they are basically "bets" guided by physical and mathematical assumptions, but that is far from being "proved" or "derived", there are no rigorous proofs or derivations involved. The uncertainty remains until an experiment or observation confirms it or rejects it. There's no such a thing as "proving" a physical theory, for the simple reason that any physical theory works in a limited regime or range of validity. Newtonian gravitation and General Relativity are both valid and succesfull theories within their range of validity, but they contradict each other mathematically, in one theory gravity is a scalar field and in the other is a tensor field, so you could use the mathematics of one theory to refute the other, so it makes no sense the concept of proving a physical theory mathematically. You only try to axiomize a theory once is well established, but it's irrelevant concerning its validity.

  • "The bonus of string theory is that it has the tenets of a unified theory of all interactions, electro-magnetism, weak and strong interactions, and gravitation" https://arxiv.org/pdf/0809.1036

  • You have no idea what you are talking about. You can't prove mathematically Einstein's equations. No fundamental equations in physics were proved mathematically.

  • I am a physicist. String theory already unified QFT and GR and that doesn't mean it's a verified physical theory, you need to validate it through experiment. It's physics 101. Just watch some Sabine H. videos to see how she speaks about string theory being a failure besides being mathematically consistent.

  • Although the theory is promising, the duo point out that they have not yet completed its proof

    Physics is not math, you can't "prove" a physical theory. You make predictions and through experiment or observation Nature has the last word.

  • You know that what you said is pure speculation based on personal experience, random publications, ideology or mainstream and social media, which is the only way you can reach that conclusion, unless you have peer-review publications with the statistics of worldwide usage. If you lived in Africa you would say that Bitcoin is godsend, as you can hear it from many africans

  • Faulty generalization That some scammers or greedy people in rich countries are promoting it like a ponzi scheme to benefit themselves doesn't mean every person use it in the same way. Some people use it for its savings in a highly devaluating currency (my use case), others for money laundering, or to send money to Palestine, or to flee a collapsing country because of war and avoiding their money being seized by the policy at the borders, for ransomware, or creating circular economies in poor countries, to donate to human rights activists in dictatorships, to buy drugs, etc, etc these are just some of the dozens of verified uses cases. That's what happens when a technology is free and permissionless, it's not good or bad by itself, it's as good or as bad as the person that uses it. AI is being used to scam people and to detect cancer more precisely than the best experts. That's and inherent feature of free software. Lemmy is a perfect example, would you promote not using it because there is an instance used for child porn?

  • KDE & Plasma users @lemmy.ml
    corvus @lemmy.ml

    Changes in Plasma 6 after some weeks using it

    Overall I find Plasma 6 a big leap in quality but there are some things that bother me, it could be my ineptitude to find the solution, bugs, definite changes or because of using wayland, so I'd appreciate any clue:

    1. I don't find the way to set autologin in system settings
    2. I don't know how to put Kate as a system tray icon, it's not on the list of entries
    3. If Kate or Okular are already open and I right click a document from Dolphin to open it, they do so but they stay in the background if they were there. The same happens if I open the file from the comand line, like kate doc.txt
    4. meta+arrow_key tile the window according to the arrow key used. Doing the same again return the window back to the original position in Plasma 5 (or X11). Very handy. Doesn't happen anymore.

    Probably I'm forgetting something else but solving those would be great.

  • Tell them how governments, employees and scammers buy from data brokers the data collected from apps in their phones to surveil, blackmail or scam them. Do a research and send them a good summary with the links. When a told my brother in law about this, he was stunned. He's still using his phone as always lol, so don't have too much expectations.

  • Permanently Deleted

  • "Good morning daughter, how it was the date last night? great motel uh? ;)"

  • Permanently Deleted

  • Your toxic partner: "What were you doing at that cafe at 5:42 PM"

  • Permanently Deleted

  • The carrier can track a phone without sim card but it's not the case if you turn on airplane mode. The whole point of airplane mode is to prevent the phone from emitting any signal to avoid interference with critical aircraft instruments. I don't see any company risking to circumvent such a critical security feature, it would be easily verifiable.

  • A center in two dimensions, in three dimensions an axis, in more dimensions...

  • HW are an unnecesary third party risk in my opinion and a waste of money. Just grab an old phone and use this guide to turn it into a cold storage. Tldr: install a software wallet and never connect the phone to the internet again and use QR codes to sign transactions using the camera. Super practical, cheap, truly air gapped and doesn't call attention like a hardware wallet.

  • C & C++ @lemmy.ml
    corvus @lemmy.ml

    Cmake ignoring option and compiling with just one thread

    Using the -j option is ignored. About two weeks ago I found out that cmake was compiling with only one thread but everything was ok a couple of months ago. I'm using Debian Trixie which is still in testing so I thought it was a bug, but after many system updates I didn't saw cmake being updated. I couldn't find anything after a some searches. Another related issue is that I recently compiled a new version of a qt app with an edit box to set the number of threads for running LLMs, after the last compilation it doesn't allow to set more than one. Any clue?

    LocalLLaMA @sh.itjust.works
    corvus @lemmy.ml

    Models not loading into RAM

    I didn't expect a 8B-F16 model with 16GB on disk could be run in my laptop with only 16GB of RAM and integrated GPU, It was painfuly slow, like 0.3 t/s, but it ran. Then I learnt that you can effectively run a model from your storage without loading into memory and checked that it was exactly the case, the memory usage kept constant at around 20% with and without running the model. The problem is that gpt4all-chat is running all the models greater than 1.5B in this way, and the difference is huge as the 1.5b model runs at 20 t/s. Even a distilled 6.7B_Q8 model with roughly 7GB on disk that has plenty of room (12GB RAM free) didn't move the memory usage and it was also very slow (3 tokens/sec). I'm pretty new to this field so I'm probably missing something basic, but I just followed the instrucctions for downloading it and compile it.

    Debian operating system @lemmy.ml
    corvus @lemmy.ml

    In Debian live images the links to download the testing branch are broken. Any alternative way to download them?

    Linux @lemmy.ml
    corvus @lemmy.ml

    Create and restore an ssd image using dd in different filesystems

    I bought a laptop with windows 11 instaled in its 256gb nmve ssd. I want to install linux but I want to first create an image of the ssd and store it in an external 4tb ssd with a ext4 filesystem (that I use for different backups) so in case I want to sell the laptop later I can restore windows 11 to the same ssd from the image. So what i'm planning to do is:

    • dd if=/dev/drive_device of=external_ssd/images/windows11.img

    for creating the image and swapping if and of for restoring. My question is if creating the image of a drive with a windows 11 filesystem and storing it in a ext4 filesystem is possible or can have any issue. I ask this because I read that in the case of cloning the target drive will end up with the filesystem of the source drive in case they are different, which caused me some hesitation.

    Linux @lemmy.ml
    corvus @lemmy.ml

    Bluetooth headphones not detected

    The situation is this:

    • I use a bluetooth dongle ASUS UB400 on my PC, bluetooth version 4.0
    • My Sony wh-1000xm5 (bluetooth version 5.3) is not detected by the PC when I scan for new bluetooth devices
    • Another Anker Soundcore Q20 headphones are detected and working fine, like the mouse and a bluetooth speaker.
    • The Sony is detected by my android smartphones and working fine
    • I switched the dongle with another one with different brand, and all the devices were detected (and work fine) with the excepcion of the Sony.
    • Using Debian 12.8 and tested with bluetoothctl

    Any advice is welcome.

    Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ @lemmy.dbzer0.com
    corvus @lemmy.ml

    Watching movies and series from the command line

    I've been using mov-cli and lobster to watch movies and series from the command line, I installed their lastest versions but they don't seem to be working anymore. I really liked their simplicity of typing the title of a movie or series and start watching on mpv. Is there any other software that works in the same way?

    Linux @lemmy.ml
    corvus @lemmy.ml

    Bash history option

    There is a feature in termux (android) history command which when you use !371 to execute the command 371 in the command history it prints that command in the prompt instead of executing it, then you just press enter to execute it. I found it very useful because many times I want to execute a command that is in the history but with some modification, I'm using Konsole in my desktop PC and I couldn't find an option to make such a thing. The only one I found is executing history -p !371, but that just print the command to stdout and not to the prompt itself.

    EDIT: the answer is !371:p then up and the command 371 shows up in the prompt. Thanks Schizo!

    Open Source @lemmy.ml
    corvus @lemmy.ml

    Bluetooth dongle working without propietary firmware

    cross-posted from: https://lemmy.ml/post/21430107

    I'm having trouble to find a bluetooth dongle at least 3.0 that needs no propietary firmware. It's easy to find dongles advertised as linux compatible or users that claim that an specific brand works fine in linux, but the problem is that many of them are using propietary firmware without their users being aware because their distributions have already installed propietary drivers or firmwares, or ask users to install them and they just do it. I use debian main repository (without non-free software) in which I failed to make work a couple of linux compatible advertised dongles because debian ask me to install a propietary firmware. So if anyone knows for certain that some brand that needs no such a software in linux I'll apreciate your help.

    Linux @lemmy.ml
    corvus @lemmy.ml

    Bluetooth dongle working without propietary firmware

    I'm having trouble to find a bluetooth dongle at least 3.0 that needs no propietary firmware. It's easy to find dongles advertised as linux compatible or users that claim that an specific brand works fine in linux, but the problem is that many of them are using propietary firmware without their users being aware because their distributions have already installed propietary drivers or firmwares, or ask users to install them and they just do it. I use debian main repository (without non-free software) in which I failed to make work a couple of linux compatible advertised dongles because debian ask me to install a propietary firmware. So if anyone knows for certain that some brand that needs no such a software in linux I'll apreciate your help.

    Privacy @lemmy.ml
    corvus @lemmy.ml

    They are surrounding me... is it time to give up?

    During the past few years I was avoiding the increasing number of products or services that required biometric verification, specially face recognition (FR). But the things are getting harder are harder in my country:

    • The largest e-commerce platform in latin america and the most used in my country requires FR to use it. It was possible to use cash if you buy from its website but since a couple of weeks it's requesting me to identify using it's app.
    • The telecoms demands FR from now on if you want a new SIM card in case you lost your phone or it's been stolen.
    • The bank is now pressing me to use their app with FR as a 2fa when using homebanking from its website, something that wasn't necessary up to some weeks ago.
    • The government is in the same direction as it's moving to digitalizing many burocratic procedures and also requires FR.

    and the list is increasing quickly.

    I've never used any private social networks and I've degoogled many years ago, the only non free software that

    Science Memes @mander.xyz
    corvus @lemmy.ml

    Fastest animal

    Memes @lemmy.ml
    corvus @lemmy.ml

    Learning english

    Science Memes @mander.xyz
    corvus @lemmy.ml

    science hell

    Privacy @lemmy.ml
    corvus @lemmy.ml

    googerteller: an audible feedback on just how much your browsing feeds into google

    A cool software for degooglers that makes a little noise every time your computer sends a packet to a tracker or Google service.

    EDIT: There is also a Firefox add-on for web browsing.

    Documentaries @lemmy.ml
    corvus @lemmy.ml

    Climate change - A verting catastrophe

    cross-posted from: https://lemmy.ml/post/2075327

    Another good DW documentary showing us that the catastrophe is already upon us and it's just the begining.

    Collapse @lemmy.ml
    corvus @lemmy.ml

    Climate change - A verting catastrophe

    Another good DW documentary showing us that the catastrophe is already upon us and it's just the begining.