>>2032
Ripgrep is very nice (in fact all tools by that author are very handy).
There was also a brief discussion of rust in /ot/ (http://tohno-chan.com/ot/res/33905.html#i35079)

I think there's a lot of neat ideas there from a PL theory perspective (enforced lifetime tracking) and a practical (succinct, helpful compiler messages). I'd like to see them make their way to c++ as well (llvm community is doing some work on improving static analyzers).

>>2033
I'm not sure any of this can be brought into cpp, the language has so much legacy and so many features so at this point it is nigh impossible to add anything without breaking at least *something*.
And PL theory, sadly, goes against good error messages, well Standard ML and OCaml have lean and mean error messages, while Haskell is just horrendous in this regard, and when you add advanced type level features into the mix. Well, you now can compare errors (at least in kilobytes) to ones you get from templates in cpp.

>>2032
Apparently Rust's type system is formalized via the notion of affine types, where every variable can be used at most once. There are also linear types where a variable can be used exactly once. Wikipedia gives C++'s unique_ptr as an example of a linear type, but to me it seems like an affine type instead since you can always choose to discard it (just let it go out of scope).

It's also not clear to me why they're called linear/affine.

https://en.wikipedia.org/wiki/Substructural_type_system

>>2035
They are called so because they came from Linear/Affine branches of logic, where you can use proofs once/at most once.

>>1988
Since you're familiar with generating functions, here's a proof based on that. I think this is the cleanest algebra-only proof you'll be able to get for this, since usually proving combinatorial identities can get really tricky in general and there's no nice structure to this problem that you can induct over.

>What makes you so certain that I couldn't stretch this to complex numbers and have imaginary binomial coefficients?

You can have those of course; I think you'd have to use the generalized notion of a binomial where factorial is replaced by it's analytic continuation (gamma function). Once you go there I'm not sure if the proofs given (either combinatorial or via generating functions) still hold, since you've got issues of convergence to worry about.

>>1989
I'd seen the generating functions on Wikipedia however I did not understand them. I must confess that presently, they are beyond my knowledge. This thread is definitely something I will return to another time.

Japanese university math is pretty advanced (relative to the equivalent in US).

Post edited on 2nd Jul 2020, 8:44pm

>>2041
This just looks like sequences and (finite) series, though.

It seems pointless and liable to break to me, just use a desktop or if you really need two screens on the move, use a tablet as the second screen. Having said all of this, I'm not a fan of two monitors in the first place and don't have two.

Hard to implement cleanly, since you'd probably have to double the thickness of the display part. Maybe with the new fancy paper-thin/foldable displays it's possible, but it doesn't make sense ergonomically since it'll be off-center.

>>2038
>it'll be off-center
I've seen home made mods that have the screen fold out on top. Which places one of the screens at eye level, making for a more comfortable view.

>>2039
That'd be neat! And the vertical real-estate would be very useful. Tangentially I don't know why almost all laptops are 16:9, even though 16:10 gives you that extra bit of valuable vertical space.

>>2019
Wouldn't a booru be better than an imageboard then?

>>2020
Isn't a booru technically a type of imageboard?

>>2021
You could say those are the real imageboards, and these places are message boards.

>>2020
Boorus are more of a mass collection site with little to no quality control. I'm thinking of a place where people post the cream of the crop, not just dumping images for the sake of it but sharing things that hit all the right strokes for them. Maybe a scene in an anime which spoke to them, or a single piece of erotic art that they could get off to several times. Also, I'd like people to have discussion about those images, albeit with the stipulation that EVERY post would have to contain an image. I don't want something like 4/h/ where half the thread is people shitposting or arguing without posting anything.

I have a horrible coil whine problem.
My graphics card started making awful noises today, I can't figure out what the fuck.
Up until now it would often hiss or whistle on things like loading screens or intros like most cards do, but never made any sounds outside of that.
Today it started buzzing and whining like a dying lightbulb (but louder) almost constantly, even on idle in desktop. Sometimes it stops for a couple of seconds. The noise changes in pitch when doing things like scrolling and dragging windows. Stops when the monitor is disconnected. Stops when all windows and programs get closed but then starts again.
I didn't notice any problems other than the noise.
The noise is so fucked up I had to uninstall the thing. Please help.

>>1985
It's not the fans on the gpu is it? I find it hard to imagine anything else on it making an actual sound.

>>1986
>I find it hard to imagine anything else on it making an actual sound
Not OP but coil whine is a pretty-well known quirk of electronics. I think it's the inductor that's actually responsible. I have this on my laptop on any gpu intensive workload.

I think besides mitigations like double-checking inductors are secured to the board and getting a soundproof case, there's not much that can be done.

My Microsoft IME doesn't accept kana input anymore.

>>2013
Viewing the universe as a cellular automaton seems pretty neat, and there appears to at least be some people [1] working on this approach, reconciling the results with the seeming implausibility of the conspiracy that initial conditions and determinism always conspire to result in violations of Bell's inequality.

I don't have the depth to go through that paper though so I'm not sure how valid it is.

[1] https://www.springer.com/gp/book/9783319412849

>>2014
Related (and serendipitously published just today):
http://nautil.us/issue/83/intelligence/how-to-make-sense-of-quantum-physics

>>2014
>>2015
Thank you very much for your response and for your links.

>>2016
Some other good articles on superdetermism by the leading researchers in that niche. It definitely seems like it's something that should at least be explored instead of dismissed outright.
https://backreaction.blogspot.com/2019/07/the-forgotten-solution-superdeterminism.html
https://arxiv.org/abs/1912.06462

cold boot attack with default encryption on android 4.0 galaxy nexus

https://www1.informatik.uni-erlangen.de/frost

set your phone free

https://fsfe.org/campaigns/android/android.html

Is there a reason why adblocker apps for android always seem to use vpn connections? Why is this necessary? Are there any out there that don't use one(rooted phone or otherwise)?

>>1502
Because you cannot set the hosts file on an unrooted phone, so the only way to do it at a global level is by tunneling all traffic through a local vpn which can then be locally filtered. If you just want adblock in a browser you can get that via firefox plus extensions or similar chromium variants that support adblock.

If you're rooted you can use adaway which uses the hosts file method (last I checked). There is also the option of using a custom dns pointed either at a local pi-hole server or a publicly hosted pi-hole. It seems the option to use a custom dns was only added in android 9, so for older versions you'll have to root it and modify one of the initrc files to override the dhcp-acquired value.

It's not much of a war at this point when your only browser choices are essentially Firefox or rebranded Chromium. Even Microsoft threw in the towel with Trident.

And while the performance improvements in Firefox since the "quantum" update are supposedly nice, they manage to make the UI worse every update.

>>1991
Making UIs worse with every update seems to be a staple of modern day programing across the board.

>>1993
I'm convinced that it's because the UI/UX team needs to justify their salary somehow. While I can at least avoid updating desktop applications, I'm growing increasingly tired of having to maintain a hodgepodge of css to revert the fuckery websites continue to introduce.

>>1994
Yeah UI dev teams, consultants and marketing devisions and the like. All convincing the guys in charge these things need to keep being updated to stay relevant. Because no one would use chrome or youtube or windows if they didn't keep fixing updating UI right?

>>1826
I think most of the internet isn't going to bother.
It's going to be cheaper for them to just cut off the EU peasants from the greater net than to try and conform to EU's fantasy demands.
Only the multinational goliaths will prevail, though I doubt they will be able to make significantly more money off of us anyway.
I mean the majority of us euro-peons is already poor as niggers and we're only getting poorer. It's going to be hard to squeeze out anything more.
Fucking Eurogulag.

>>1827
>Regarding Youtube and Co
As >>1828 mentioned, the big companies are going to be pretty unaffected. They can afford to (and already have) developed ML based content ID systems to automatically take down content. Google, Facebook, and co. will probably set it to be even stricter in the EU and call it a day.

Meanwhile the law will only hurt small startups and indie businesses because they can't afford to/don't have the manpower to do the above. And it'll also hurt end-consumers as an end result in two ways: 1) there'll be less competition from these small businesses and eventually people won't bother trying to create services catering to EU citizens so they'll be stuck with big goliaths that will only become entrenched and incumbent. 2) Smaller niche content/sites may also become unavailable to EU citizens, as even those possibly under the exception clause mentioned may not want to risk violations or bother so they'll just block EU IPs.

OP here again. Ya'll hangin' in there?

>>1977
I guess "internet of things" is how they're sneaking in their privacy violations now. You can't even take a walk outside without being in the sight of shitty "smart" doorbells.

>>1952
Nanotechnology in medical delivery has been approved by the FDA and is used. Doxil is encased in liposomes to extend their period of effectiveness for example. There's also titanium dioxide in sunscreen. Nanotechnology is also used to improve products which alredy exist like bandages fused with silver nanoparticles. Here's an entire website about this.
http://www.nanotechproject.org/cpi/

Nanorobots however do still seem stuck in the research phase.

>>1953
That's a neat website! Thank you for sharing it.

Nanotech engenieering student here, yes ,nanotech has been since 1990s, in a lot of products most of it casues cancer,, there are a lot of nanomaterials, i hate nanomedicine but it is one of the most advanced areas, besides nanoelectronics, nanomagnetism is the future, idk what tell, some examples of nano in your everyday lives are titanium dioxide as a catalizer for som windows or as a food aditive which causes cancer but no enterprise want to aknowledge it, uh there are a lot of nanocarbon composites in some products uhhh have i mentioned carbon fiber?, nanotransistors etc etc etc

>>1974
Is nanotechnology your actual major, or is it material engineering? Would you say a biomedical engineering major could get in the field?
>i hate nanomedicine
Why?

>to store all data in exchange for some cryptocurrency
The mention of cryptocurrency tends to lead me to dismiss projects on sight.

That said, it seems the primary advantage this has over bittorrent based protocols is the routing encryption? I've also heard of IPFS but haven't looked into that too much, and am not sure what significant benefits it offers over bittorrent+mainline DHT.

>>1965
I don't think you understand the scope. The goal of safenet is not to just to send and store files. It's meant as an entire replacmenet for the http protocol. Websites, applications, everything that currently exists on this "internet". The idea is a complete replacement with zero oversight on the overall network. Torrents rely on seeders and the information can't be accessed in real time. People who store data for safenet wont even know what they're helping to store. Nobody will.