/silicon/ - technology

>>2054
It only lasts until the third line in the definition of burger where / doesn't make sense on sandwich (the set of integers).
The rest is just random words and notation from abstract algebra and category theory.

As >>2055 said, higher maths isn't supposed to be esoteric, it's just rarely taught. I actually find the notation to be very beautiful, it has a terse precision that regular language can't match.

Try reading a bit on group theory if you're interested, it's a really fun topic and you don't need any prereqs because it kind of rebuilds how you understand algebra. You'll probably get a kick of out the generalisation of symbols and notation too since it concerns how arbitrary objects can be manipulated algebraically if there's a way to combine them that satisfies certain properties.

Inspired by the recent discussion I started reading "Categories for the working mathematician", it really feels like wizardry! But even though I am able to follow the text for the most part, I realize there's a lot I don't know which is mentioned as examples, eg. the tensor product for groups. So I might want to go and fill those gaps, say, reading Dummit and Foote (though then would I finish?), and then, who knows, I might want to read some algebraic geometry (Hatcher?), and also fill up the gaps in linear algebra beyond the basics of vector spaces, matrices and vector calculus to which I've been exposed.
I was thinking of reading the HoTT book as well, which I think kind of overlaps with this stuff. Higher mathematics is really nice! But it's so damn huge, I feel I'll never get to the point where I can read a book and understand all of it's content.

>>2058
>HoTT
I've just started descending the abyssal rabbit hole that is constructive mathematics and type theory. Maths is truly terrifying; the areas of study and seemingly infinite and each one is too deep to ever gain mastery over.

>>2059
>constructive mathematics and type theory
Ohhh that sounds tasty. Does it related to Ocaml?
Unrelated, I've been thinking of picking up some webgl for some interfaces I want to make later, and maybe for games. Anyone played with it?

>>2086
>Does it related to Ocaml
Yeah, the ML family is ths major representative of the typed lambda calculus and of type theory. Constructive mathematics is mostly done with another branch mostly in that family, of proof assistants like Coq or Agda.
>webgl
I'm starting to learn about it. It seems more convenient than regular opengl, as I always struggle with details when handling arrays and memory in C++. But besides that, it's not a whole lot different, just a bit more convenient. I don't know if it is significantly slower, but the point is that it uses the GPU as well so once the primitives and shaders are sent to memory it shouldn't be that slow.

The latest novel I read was - and I swear I am not trolling - Euphoria. (If someone doesn't know it, it's a guro nukige, so keep that in mind if you try googling it). I was really curious because a lot of people everywhere kept saying "holy shit, the story is actually really good", so I wanted to test it out.
I obviously had to skip like 3/4 of the novel not only because it was shocking at first, but because it's so over the top it get grating after a while and you just don't even care anymore.
The story was… Eh. It was okay, it had kind of a fun twist at the end that nobody can imagine. It's probably the best story you could find in a nukige ever, but I feel it doesn't justify having to ignore all of the crap (sometimes literal) they throw at you for like, 4-5 hours or something.

I do think the sprites for the girls are gorgeous. Nemu in particular is very beautifully drawn.

Anyway, I wanted to get into Kara no Shoujo, but I haven't had the time to actually sit down and play it. I love mysteries and horror.

Are there any non-eroge VNs out there worth checking out? I love visual novel as a medium for storytelling, but sex scenes tend to break that immersion for me, I just want to get comfy and get lost in the story. I don't mind occasional nudity or whatever, like with films, but no porn pls

>>2088
Pretty much all the big name VNs have an "all ages" version with the sex scenes removed.

>>2088
All the "when they cry" VNs are awesome

>>2088
VNDB has a "No Sexual Content" tag: https://vndb.org/g235?f=&m=0&s=33w

I also like reading through NaNoRenO entries. There are some pretty good ones, they're always very short and almost never sexual.

>>2072
re-reading this and I'm realising this post might surely come off as rude
I'm sorry if that's the case, english is (obviously) not my mother language :(

>>1925
Know I'm a bit late, but maybe answer will be of use to someone else anyway.
Been using a Nokia 2720 for a while now, which uses KaiOS.
Haven't really encountered any bugs really, but there's a significant lag in just general usage, and some things are not up to the standard of older dumb phones (smart phones only started becoming common in my mid teens).
Even just moving down the contact list can sometimes take what feels like a full second before it responds to the input. Not sure if this is particular to the model or a general KaiOS thing.

The T9 input method is kinda trash too, in comparison to how they used to work. Word order doesnt change in according to how often they're used, it's just a static order, and there's often garbage that aren't even words to skip over in order to reach the intended word. And since it's static, you'll have to do that every single time. Used to be quite fast at regular old-school T9, but it's just not possible on the KaiOS one because of all the extraneous input needed.

>>2081
I wouldn't interpret it as rude, would guess you haven't gotten any response simply because nobody knows. First time I ever heard of a hypersim.

>>2082
>I wouldn't interpret it as rude, would guess you haven't gotten any response simply because nobody knows.
ah, thanks then, I was mostly worried about the, hum, direct tone of my post
I'm also a new sushi (if I got that correctly) here, that's why I thought I could have been a bit more polite
>First time I ever heard of a hypersim.
afaik it's like a layer you put over your sim card, which will make your phone think it's a Japanese one
but I also read about disconnects during calls and such °~°

>>2083
oh I tried something like that about 10 years ago, it didn't work right at the time. Temporarily it would allow you to use the Japanese phone, but after a while it would stop receiving signal until you put the SIM back into your other phone.

Might have been my carrier rejecting it for being an unrecognized device or something though.

If you're in America, part of the VoLTE rollout there is to only allowing whitelisted devices, so it's not really possible to use phones from other markets anymore.

>>2084
ow, that doesn't sound promising
thanks for telling me!
I live in europe and my sim card doesn't seem to deactivate depending on the phone, though

buying a keitai is a difficult task, but maybe that's the charm of it lol

I would like a currency that makes it more possible to tax the rich, not even less possible. Also proof of work makes me squick.
I like experimental financial structures, but tbh I'm more worried about summoning demons then hopeful about saving angels.

and putting your retirement fund in stocks is communism because it means that the workers own the means of production right?

>>2060
>There's a lot anti crypto/anti NFT opinions being expressed by people on the left
It's because if you're left-wing, it's likely the case that you think capitalism itself is a flawed system that needs to be replaced. From that perspective, cryptocurrencies and NFTs are just band aids to cover the problems capitalism has, like the tendency towards monopoly, at best.

At worse these things just represent false hope that the wealthy are open for a change to being on a level playing field with average joe workers and are letting them in to some incredible future market on the ground floor in a once in a lifetime opportunity. But that claim wasn't true when Jordan Belfort was selling penny stocks to people over the phone in the 90s, and it's not true now with teenage youtubers showing off the Lamborghini their dad bought them while they talk about their investments in crypto.

>hates centralized authority governing commerce
>invents new centralized authority governing commerce
smart ppl invest in energy from spiral knights

Moved to >>>/hell/3931.

>>1994
Ǝ

Mango mango man!
I wanna be - a mango maaan!

Habibi Hitler
Catullus
Midiclorians

The second would make a great album cover for a punk rock band

That is certainly interesting, although I think I need to get a real laptop from this decade before I go about getting something like this.

>>26
Looks awesome but the price point isn't the greatest and realistically I know I wouldn't use it enough to justify buying it. Still interested to see how it is when it actually comes out though, the pandora was pretty good.
>>38
That would make a pretty fun project.

Why not hack together your own for much much less?

>>27
Pocket chip died :(
You can't officially buy it anymore

>>1248
yeah but you can still unofficially buy it

Clickpocalypse II: no cost, no ads*, no IAPs, the best idle RPG out there.

* actually there are temporary bonuses available if you watch, what I assume, are ad videos. never used it myself though.

OP sushi here. Recently I’ve been playing a lot of sudoku on my phone. I’ve gotten good enough at it it’s not really like challenging anymore most of the time and it’s just a mechanical action of filling out the boxes. But it’s still kind of chill even if it’s not as actually engaging.

>>477
In a similar vein to this years later, I'm currently smitten with obsidian.md and I've put it on most everything I use daily. It's wonderful to have an outlet for whatever thoughts and ideas strike rather than just letting them float away. It also helps me to keep a little bit more focused and having some sort of touchstone app to open up when bored rather than just opening up the web.

>>1965
>obsidian.md
So it's like personal wiki software?

>>2008
In essence yes, but for my personal use it feels like a much much more intuitive and powerful notetaking app. I've tried to use basic text editors like notepad++ for similar use cases (planning out projects, stories, daily todo log, etc) but the organization factor makes it nearly impossible past a certain threshold.
I find organizing everything into their little place, even if the notes are just tiny lists, very energizing. It pushed me to complete more than a few projects since I picked it up just by virtue of being able to keep track of my own thoughts so much more effectively. It's also nice to know its just a ton of my writings all in one place. On top of that you get neat little visualizations of your notes in a big graph if you set it up a certain way. Even if obsidian isn't your final choice, I'd really recommend trying out an app like it.

Hmmm I learned that Fuchsia is related to Haiku.

No, I know one person who uses it as their main machine though. Do you use it OP? How's the software support? What about the license? Is it libre? Is it similar to gnu/linux? I dislike most operating systems nowadays, I can tolerate gnu/linux because it's not spying on me which I believe is a sad excuse to use some piece of software and I think that's telling a lot about modern OS development. I wouldn't mind switching to something completely different.

>>1552

I used to use it on my main machine but stopped for various reasons that were mostly software support related and have now been fixed anyway. Also because it uses the mouse a lot.

Many command line tools work fine. Emacs doesn't work in gui iirc but QT programs work well. There are also a lot using its own toolkit which is much nicer to develop in than any alternative (except for the fact it's C++ which I don't like much). Couldn't really tell you about the license except I'm pretty sure it's free. It might come with driver blobs though. It implements quite a bit of POSIX and depending on what you use your Linux/BSD system for will feel familiar. It's single user though, can only boot into the graphical interface, and feels coherent, which sets it apart.

It's fast. Suspend didn't work, because it hadn't been implemented if I remember right, but that was okay because from an SSD it started in less than 10 seconds. Some people might want things faster than that - my needs were few and I appreciated the gain in battery life (some might argue I was infatuated to the extent of masochism).

It comes with a browser, I believe it works on webkit. It did what I wanted from a web browser, which isn't much, but also loaded some more Javascripty web pages without much trouble which some people will appreciate.

It uses keybindings more similar to macos - that is, the alt key is used for copying and pasting. This is a good thing and means copying and pasting works everywhere, even in the terminal without any faff. In a similar no-faff vein, the filesystem is excellent (it's basically a database), easy to navigate and use, and the file selection dialogue and file manager are exactly the same thing; when navigating or manipulating or doing anything with files, you can do something intuitive and it will work.

When I used the system, I tried to fully embrace Haiku life by using the Haiku programs. I used the Haiku IRC client, browser, media player, and email client. The email client by the way grabs emails into files, but instead of being like a maildir file they use the file metadata to store headers, and can be sorted very man of tastely in different ways because of this. There is a focus on file-orientation, like with UNIX, but it seems better thought out here - different to plan 9, and not necessarily better oPost too long. Click here to view the full text.

>>1569
How's the hardware support beyond just thinkpads?

I think the barrier to everyday people using Linux on the regular will always be software. This isn't to imply good open alternatives to regularly utilized software don't exist, but rather that for one reason or another the layperson can't or won't switch to them.

It's a huge topic on my college campus about whether or not students should jump ship to Linux, and the three major points of contention are always
- I play games/my software runs on Windows
- I don't want to take the time to learn a new system
- I don't want to be known as someone that doesn't touch grass

Most people using computers near-exclusively use Chrome, and nothing else. It's hard to understate how widespread that is. The "linux desktop" in its current state is completely ready to handle all of those users.

Once you break out of that circle, though, you run into a few more problems:
- Microsoft Office
- Adobe Suite, related creative work
- Gaming
- CAD

Post too long. Click here to view the full text.

if we can get social media influencers and egirls to start using linux and showing it off as status symbol and fashion statement i think that would help the cause of free/open source software alot. since influencers and egirls like aesthetics i think getting them into ricing the os and showing off the customability of linux and making easy to edit loadouts for beginners would be a great start for getting these people into linux.

>>1978
Perfect plan! So, most e-girls probablydont wanna go screwing with config files and terminals (some do I'm sure) but people could offer "ricing as a service" that would help give it its expense that would make for a good status symbol.

>>1974
Thanks for the post sushi. While I think that the Office suite and the Adobe suite may prevent potential users of free operating systems from switching from Windows, there isn't much anybody can do about that.

People have tried again and again to create free as in freedom alternatives to such softwares which outperform the originals but you just can't take their brand and slap it on. In that regard I am hopeful in the efforts of the Wine project as even if not on production level, they managed to make the Microsoft Office suite run quite well.

I do not mean to be mean yet I think that desktop Linux is going to be relatively niche as long as it assumes that the user of the system knows a thing about what they are doing. I apologise for sounding cynical but I think that the average Windows user doesn't know a thing about what they are clicking and doesn't expect to have to do so.

And I do not mean that in a bad way, I am not criticising or accusing anyone of being alliterate or "a sheep". I just think that the general attitude towards computing has changed. I personally believe that many people have stopped wanting to have to know the computer. I will attempt to not jump to early conclusions but I believe that many current users just want to do fairly analog work cheaply and effeciently with the least amount of thought possible. This makes the Windows ecosystem an excellent candidate a lot of the time.

Windows uses an extremely easy visual UI design style that unifies most programs and presents the user with an extremely simple control scheme. Almost everything is present as a button/a left-clickable object with at least some written description built-in, with the keyboard having to be used for only a very small subset of tasks. This allows an uninterested user to just pick up the computer, do what the PC tells the user to do and go on with their work. Of course, there are some options for the case you need to alter how the system behaves but everything is presented in such a sandbox of dialogs that the uninterested user is able to solve most of their problems by following the system's orders and tutorials, without ever having to touch the deeper layers of the system or understanding how it works.

I am sorry to end on such a downer but I believe that as long as the community will continue to expect the users to nPost too long. Click here to view the full text.

off the top of my head:

privacy.firstparty.isolate = true
beacon.enabled = false
geo.enabled = false
media.navigator.enabled = false
pdfjs.enableScripting = false
browser.urlbar.speculativeconnect.enabled = false
network.http.referer.XOriginPolicy = 0
network.http.referer.XOriginTrimmingPolicy = 0
network.dns.echconfig.enabled = true
security.ssl.require_safe_negotiation = true
dom.event.clipboardevents.enabled = false
browser.safebrowsing.downloads.remote.enabled = false

also type "telemetry" into about:config and set everything not security related to false

>>1970
If you disable tracking you will be tracked on the basis of having disabled tracking.

>>1975
Guess I'll stop using the Internet then. Can't be tracked if you don't exist.

People have made user.js files that contain a lot of the options you'd be seeking.

https://github.com/arkenfox/user.js/
https://github.com/pyllyukko/user.js/

Not recommended to just drop either of them in, but well worth scrolling through, seeing what does what, and either creating your own or just tweaking in browser.

Just running uBlock and enabling some of the extra lists will do wonders as well.

Oh and in case it wasn't clear, user.js files are basically user defined config files.

If you want to also harden against browser exploits, you can run Firefox in firejail.