Beep Boop Bip
Subject   (new thread)
BB Code
File URL
Embed   Help
Password  (for post and file deletion)
  • Supported file types are: BMP, CSS, EPUB, FLAC, FLV, GIF, JPG, OGG, PDF, PNG, PSD, RAR, TORRENT, TXT, WEBM, ZIP
  • Maximum file size allowed is 10000 KB.
  • Images greater than 260x260 pixels will be thumbnailed.
  • Currently 764 unique user posts.
  • board catalog

File 150448609042.jpg - (110.47KB , 1280x720 , mpv-shot0028.jpg )
1547 No. 1547 hide watch expand quickreply [Reply] [Edit] [Last 50 posts]
It doesn't matter if you're a beginner or Dennis Ritchie, come here to talk about what you are doing, your favorite language and all that stuff.
I've been learning python because c++ was too hard for me (I'm sorry nenecchi I failed to you), reached OOP and it feels weird compared to the latter one, anyway I never got it completely.
48 posts and 15 images omitted. Click Reply to view.
>> No. 2033 [Edit]
Ripgrep is very nice (in fact all tools by that author are very handy).
There was also a brief discussion of rust in /ot/ (

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).
>> No. 2034 [Edit]
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.
>> No. 2035 [Edit]
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.
>> No. 2044 [Edit]
They are called so because they came from Linear/Affine branches of logic, where you can use proofs once/at most once.

File 154790467287.png - (6.71KB , 392x448 , CodeCogsEqn.png )
1767 No. 1767 hide watch expand quickreply [Reply] [Edit]

I recently noticed that one could express a polynomial in terms of combinatorials and so I am curious as to how far one could go with this.

My requests are:
1) An expression of n^4 purely in terms of combinatorials
2) A method for finding these combinatorial-expressions
3) Clarity regarding what the term is for this field of study my question would fit into (if there is one)

I notice Pascal's triangle appears consistently (albeit with the rightmost '1' cut off) so perhaps, keeping the positive-negative alteration in mind, the n^4 combinatorial-expression is actually quite predictable but I have yet to test this and to be honest, I'd rather find a method than apply what I predict could be the cheat-sheet.
19 posts and 5 images omitted. Click Reply to view.
>> No. 1989 [Edit]
File 158103301686.png - (188.55KB , 1110x1280 , proofs.png )
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.
>> No. 1990 [Edit]
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.
>> No. 2041 [Edit]
File 159374777716.jpg - (146.34KB , 1280x720 , gj_club.jpg )
Japanese university math is pretty advanced (relative to the equivalent in US).

Post edited on 2nd Jul 2020, 8:44pm
>> No. 2042 [Edit]
This just looks like sequences and (finite) series, though.

File 159358800712.jpg - (21.18KB , 500x211 , 413Y9N2FMsL__AC_SY400_.jpg )
2036 No. 2036 hide watch quickreply [Reply] [Edit]
Why aren't dual screen laptops a thing?
>> No. 2037 [Edit]
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.
>> No. 2038 [Edit]
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.
>> No. 2039 [Edit]
>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.
>> No. 2040 [Edit]
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.

File 158203359614.png - (172.88KB , 1392x830 , 1581610075358.png )
1996 No. 1996 hide watch expand quickreply [Reply] [Edit]
Hello, this is not a shill post. So I decided to create my own chan in python as a hobby (using the flask library) and this is what I have come up with so far. Just give me feedbacks here in this thread or there.

Currently you can only upload jpeg , jpg , png , gif below the size of 4mb.

(IDK shit about frontend btw)
9 posts omitted. Click Reply to view.
>> No. 2020 [Edit]
Wouldn't a booru be better than an imageboard then?
>> No. 2021 [Edit]
Isn't a booru technically a type of imageboard?
>> No. 2022 [Edit]
You could say those are the real imageboards, and these places are message boards.
>> No. 2023 [Edit]
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.

File 129592276815.jpg - (141.99KB , 716x742 , millenium_tan.jpg )
165 No. 165 hide watch quickreply [Reply] [Edit] [First 100 posts] [Last 50 posts]
Need help with computers? Post your questions here.

ME-tan will do her best to help (with the help of other users, ofc).
323 posts and 44 images omitted. Click Reply to view.
>> No. 1985 [Edit]
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.
>> No. 1986 [Edit]
It's not the fans on the gpu is it? I find it hard to imagine anything else on it making an actual sound.
>> No. 1987 [Edit]
>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.
>> No. 2018 [Edit]
My Microsoft IME doesn't accept kana input anymore.

File 158395333754.png - (8.91KB , 731x61 , 303.png )
2008 No. 2008 hide watch expand quickreply [Reply] [Edit]
From the classical point of view, it is natural to assume that everything that happens in our world must have a reason. This reason may be hidden, unknown, but it must be; it is this consideration that underlies attempts to create a more detailed theory of the phenomena of the microcosm. But from the point of view of conventional, orthodox quantum mechanics, the theory of hidden parameters is impossible, if only because it does not have its own subject "behind the scenes" of quantum phenomena simply, according to quantum mechanics, there is nothing.
Is quantum indeterminism the absolute truth? I quote from Paul Dirac's book the Directions in Physics: "I do not rule out the possibility that Einstein's point of view may be correct in the end, because the current stage of development of quantum mechanics cannot be considered as final. There are many unsolved problems in this theory. Modern quantum mechanics is the greatest achievement, but it is unlikely to exist forever. It seems to me very likely that some day in the future there will be an improved quantum mechanics, which will contain a return to causality and which will justify the point of view of Einstein. But such a return to causality can only be possible at the cost of abandoning some other fundamental idea that we now accept unconditionally. If we are going to revive causality, we will have to pay for it, and now we can only guess what idea should be sacrificed."
Is this question open today in the scientific community, or does everyone believe that if Bell inequality has not been solved, then hidden parameters do not exist?
4 posts and 1 image omitted. Click Reply to view.
>> No. 2014 [Edit]
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.

>> No. 2015 [Edit]
Related (and serendipitously published just today):
>> No. 2016 [Edit]
Thank you very much for your response and for your links.
>> No. 2017 [Edit]
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.

File 134309204868.jpg - (6.06KB , 240x240 , 070927-old-cell-phone.jpg )
3 No. 3 hide watch expand quickreply [Reply] [Edit]
Greetings /mt/!

I am looking to buy a "smartphone" (is this what they call them now?). I have no use for the actual phone itself, but I'd like it for other little things, like IRC and other crap like that.

So, where do I start?
30 posts and 7 images omitted. Click Reply to view.
>> No. 34 [Edit]
File 13616568485.jpg - (44.00KB , 480x360 , frost_gnex_18_JPG.jpg )
cold boot attack with default encryption on android 4.0 galaxy nexus
>> No. 35 [Edit]
File 136347117082.png - (14.24KB , 200x209 , robot.png )
set your phone free
>> No. 1502 [Edit]
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)?
>> No. 2012 [Edit]
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.

File 135734470139.gif - (24.00KB , 301x322 , lolifox.gif )
418 No. 418 hide watch expand quickreply [Reply] [Edit] [Last 50 posts]
Let's turn this thread into a browser war!
65 posts and 7 images omitted. Click Reply to view.
>> No. 1991 [Edit]
File 158154625068.jpg - (331.41KB , 1280x720 , firefox.jpg )
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.
>> No. 1993 [Edit]
Making UIs worse with every update seems to be a staple of modern day programing across the board.
>> No. 1994 [Edit]
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.
>> No. 1995 [Edit]
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?

File 130374324176.jpg - (38.12KB , 500x500 , internet_freedom_457935[1].jpg )
462 No. 462 hide watch quickreply [Reply] [Edit] [First 100 posts] [Last 50 posts]
This thread is computer/technology related, so /mt/ is probably the best place to post it.

Anyway, to the point. I've been hearing many rumours that the soon to come Windows 8 will have forced "Live integration", which means (you guessed it), forcing you to register on Live before being able to use the OS. From that moment on, I realized that Microsoft will either fail completely as a Software manufacturer or the oblivious masses will bend over. To my (almost expected) disappointment, it is the latter. The masses will accept this as they have done so far. I'm talking about the social networking shoved in people's faces everywhere. You can't go to a large website without seeing facebook and twitter links everywhere. Hell, even online gaming has turned into one big social network (see Steam, Xbox Live, etc.)

The question I pose is, what's next? Requirement to have your real name visible everywhere you post? Or maybe forced cloud computing? Web 2.0? Seems likely.

They're already putting tracking devices in smart phones:

And don't get me started on the backdoors they've put in proprietary software.

Well, this concludes my pointless post. Any thoughts?
Message too long. Click here to view the full text.
417 posts and 48 images omitted. Click Reply to view.
>> No. 1828 [Edit]
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.
>> No. 1829 [Edit]
>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.
>> No. 1977 [Edit]
OP here again. Ya'll hangin' in there?
>> No. 1978 [Edit]
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.

File 157417929091.jpg - (224.94KB , 850x598 , __original_drawn_by_nekojarashi_yuuga__sample-f6ab.jpg )
1946 No. 1946 hide watch expand quickreply [Reply] [Edit]
Nanotechnology! It's the future of everything. Every machine can either be replaced or greatly improved upon by nanotechnology, including the human body. From medical delivery to computing. Nanotechnology also has a lot of applicability in weapons. The hypothetical "pure fusion" bomb doesn't require fissile material, which is a major barrier for making nuclear weapons now, but creating it requires pressure and heat that's not practical with current technology. Nanotechnology however could create the necessary conditions and massively reduce the weight of the bomb. Then there's the grey goo scenario where in one day self-replicating nanobots designed to "take things apart" dismantle the entire planet. Are you terrified or excited?
5 posts omitted. Click Reply to view.
>> No. 1953 [Edit]
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.

Nanorobots however do still seem stuck in the research phase.
>> No. 1954 [Edit]
That's a neat website! Thank you for sharing it.
>> No. 1974 [Edit]
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
>> No. 1975 [Edit]
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

File 157609814125.jpg - (303.95KB , 1000x666 , 94f2d1371e52a20ec56354d0feac3c8a.jpg )
1964 No. 1964 hide watch quickreply [Reply] [Edit]
Have any of you guys heard of the SAFE network project? The basic idea is that the network will be fully automated and use spare resources from users' computers to store all data in exchange for some cryptocurrency(I don't like this part so much). Data is both enycrypted and distrubted in such a way that makes its source and destination impossible to determine rather than just masking activity. The system automatically splits data up and makes multiple copies of the parts. As a consequence, it will be impossible to delete information once uploaded. I don't have the technical know-how to say how legitimate it is.

Post edited on 11th Dec 2019, 1:02pm
>> No. 1965 [Edit]
>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.
>> No. 1966 [Edit]
File 157610008498.jpg - (139.91KB , 850x703 , __cirno_touhou_drawn_by_arsenixc__sample-6b48d04f3.jpg )
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.

View catalog

Delete post []
Report post
Previous [0] [1] [2] [3] [4] [5] [6]

[Home] [Manage]

[ Rules ] [ an / foe / ma / mp3 / vg / vn ] [ cr / fig / navi ] [ mai / ot / so / tat ] [ arc / ddl / irc / lol / ns / pic ] [ home ]