corvus

joined 2 years ago
[–] [email protected] 4 points 1 week ago

When a physicist want to impress a mathematician he explains how he tames infinities with renormalization.

[–] [email protected] 7 points 1 week ago

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

[–] [email protected] 5 points 2 weeks ago (1 children)

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.

[–] [email protected] 1 points 1 month ago (1 children)

Just came across this beautiful video of Richard Feynman.

[–] [email protected] 2 points 1 month ago* (last edited 1 month ago) (3 children)

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.

[–] [email protected] 3 points 1 month ago (1 children)

"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

[–] [email protected] 1 points 1 month ago (5 children)

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.

[–] [email protected] 6 points 1 month ago* (last edited 1 month ago) (8 children)

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.

[–] [email protected] 5 points 2 months ago* (last edited 2 months ago) (19 children)

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.

[–] [email protected] 5 points 2 months ago

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

[–] [email protected] 1 points 4 months ago

Oh great, thanks

[–] [email protected] 2 points 4 months ago (2 children)

Yeah I tested with lower numbers and it works, I just wanted to offload the whole model thinking it will work, 2GB it's a lot. With other models it prints about 250MB when fails and if you sum up the model size it's still well below the iGPU free memory so I dont get it... anyway, I was thinking about upgrading the memory to 32GB or may be 64GB but I hesitate because with models around 7GB and CPU only I get around 5 t/s and with 14GB 2-3 t/s, so I run one of around 30GB I guess it will get around 1 t/s? My supposition is that increasing RAM doesn't increase performance per se, just let's you upload bigger models to memory, so performance is approximately linear on model size... what do you think?

 

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.

 

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?

1
submitted 7 months ago* (last edited 7 months ago) by [email protected] to c/[email protected]
 

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!

 

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.

 

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.

 

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 I use is Whatsapp because in some countries in latin america is almost imposible not to use it, you need it even to call to the car towing service.

Anybody that is well informed knows the dangers of allowing such an amount of private information now tied to our face be available for hackers now equiped with AI, but frankly it seems a lost cause to fight against something that 99.9% of people dont worry about and give consent to do so to corporations (that sell all your data to whoever wants it) and governments (who use it as a tool of control).

I don't know, may be I'm also worring to much and it's not that serious, after all if tens of millions of people do the same the chances of being targeted by hackers is not different of being robbed in the street (at least in latin america) and with the obiquitous surveillance cameras plus the almost unavoidable need of a phone, the government probably know exactly where you are and how you look, so the information may be already available. Perhaps it's time to give up and adapt to the world we now live in.

 
 

An enlightening and high quality video on how money and the banking system work, why they are corrupted and what is the solution.

 
 
 

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.

 

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.

view more: next ›