/techbunker/ - Technology (Bunker)

No it's a paid version of features that are already built into microsoft word. I hate that I was scammed into paying for it

>>1230

I've use Gammarly many times over before, because it freely came with a package deal so to speak (how they attract a majority of users), until after consistent updates came, it will now always prompt me to use the premium service otherwise it won't help in completion of correcting my grammar/spelling errors. I could care less and go straight back to hitting the books, namely one of those spiral grammar booklets and one of those old part dictionary, part thesaurus books preferably before the mid 2000s.

>>1162

well, it does have a rockchip and not an amd or an intel

I guess thats the only plus

>>1162

> no built in ethernet adapter

Get a USB to Ethernet adapter. Problem solved.

> ubuntu mate?

There's an increasing number of OSes available for the Pinebook Pro, I'll probably install Gentoo or Alpine on my device when it arrives. You aren't stuck with the terrible stock OS.

> much more expensive, but much more secure

More secure according to what metric? The Pinebook Pro has no Intel IME / AMD PSP (unlike the Purism laptop, which has a neutered one), it has physical privacy switches (just like the Purism laptop), the PCBs are open source, and all the component datasheets are freely available.

> might as well go to a local pawn shop, buy a laptop for under $175.00, get an SSD from Amazon, maybe do a RAM upgrade, and install your own distro

I think you're missing the whole point of the Pinebook Pro. If you want the best $200 laptop you can find, the Pinebook Pro isn't it.

>>1163

Eh, there's some other good things too, like the open source PCBs and great community support.

>>819

Yes, this is so easy and you can keep the moisture content to between 76% and 78% easily.

>>819

Read the valve datasheet, read the arduino datasheet, do the math on power required vs power available: if you come up short, use the arduino to pilot a relay instead of directly piloting the valves.

>>792

Thanks for the suggestions anon, I'm a little disappointed Logisim is the best we have for playing with digital logic virtually as it runs pretty slow on my old machine. I'll investigate Spice more.

>>791

>Is there a better logic simulator on Linux than Logisim

Your own fucking brain…………

Right now I am working on the project that will use most of those 6 digit alpha numeric displays to create a LED text book thats 4 digits high by 18 across. I found a great way to solder these displays together and multiplexing. I will post an update once i receive my wire and other parts.I ordered a soldering projects kits (here is the link for your convenience https://diystadium.com/solder-project-kits-review/ ) . Keep you posted soon

Thin laptops were a mistake.

>>988

It's not like there is some country selling laptops that is any better though. The large American brands are all just making their stuff in Asia anyways, although perhaps you don't mind Taiwan. (They're a lot better than China).

It's also quite embarrassing that not one European nation can put together a computer worth using.

Look at what the intel kikes have "discovered" now https://www.phoronix.com/scan.php?page=article&item=intel-gen7-hit&num=1

>mitigation severe igpu performance hit for ivy bridge/haswell cpus

>xx30, 40 and possibly 20 thinkpads affected

>haswell igpu now performs the same as an ivy bridge

>sandy bridge and earlier possibly affected by the bug but (((jewtel))) was too lazy to check

>>977

>Manjaro

you stupid fuck

>>1212

what?

*anyone* can email him about being the BO of /tech/ and it'll get migrated?

>>1212

It's too late to do anything now. This is what you get with centralization. I would host /tech/ myself as I have hardware and enough upload BW to do so, but I don't trust people who post here. It's too easy to upload pizza and call the keisatsu.

You can shill lbry but you can't shill brave, which is why the duality of Luke Smith is in question. Also it was confusing to realize that lbry.tv is like a web host instance of the lbry api, much like realizing that gab, mastadon, gnu social are the same thing

>>1130

I could shill lbry all I want, but I still think the cryptocurrency is going to be enough of a barrier to entrance that it will never grow beyond a niche audience and 50% of all channels being crypto ones.

>>1125

>posting that gay meme

>>1130

>shill brave

shill a different browser for me anon, I've been on brave for a year and I feel sinful.

>>1083

tits or gtfo

or even better kys

>>1073

You claim that I'm inventing claims about your person, then you randomly come up with the idea that I'm female and jewish? Dumb fucking hypocrite. And if you're so unconcerned about winning arguments, why did you come back and reply three weeks later? Because you're a dumb fucking hypocrite.

>>376

Because women are progams.

http://www.lagriffedulion.f2s.com/math.htm

>>388

Elephants have larger brains than humans, but that doesn't mean that they're smarter. This is the same case with men and women. Women have more folds on their brains. Both men and women are similar in intellectual capacity.

Just like don't give them your personal info. I'm only half joking, especially on the Internet side the solution is to not do certain things. Don't allow Javascript everywhere, don't make third-party requests a site wants you to make, don't sign up for stupid services that rat you out. Won't help much against the government though.

Well, I can supplement the previous post with the fact that you can also use VPN. But here you also need to add that it is not desirable to use free VPN. Many VPN services record your logs and thus you can remain without accounts. Therefore, I recommend using a paid VPN, such as veepn https://veepn.com/ .

Oh yeah to correct a mistake I said in a previous post, I forgot Python 3 actually uses stuff like 0o10 for octal, as opposed to getting rid of it.

>>1190

>Find me a non-trivial program that doesn't need arithmetic somewhere.

Find me a non-trivial program that doesn't need JSON (or something with the same purpose) somewhere. Should there be built in JSON syntax? No, especially seeing as JSON is ill-specified.

>…you said the exact opposite one post ago.

Yes. For the sake of getting rid of crap semantics, the default type of number should not be machine words. That solved Problem A, which is the most obvious one.

Now Problem B is whether we want to bloat the language with some "official" number type or not.

Then if we head further into clown world, Problem C is which syntaxes should be supported?

Octal?

Decimal?

Hex?

Binary?

Thousands? e.g 9_999_999, 1_234_567_891_123, etc. latest fad for Haskell, Java, and now Go (I'm sure C#, JS, and whoever else added it too now while I wasn't paying attention)

In my school of thought that's just merging the UI into the language in a stupid way. (Same for comments. Same for names. Same for code layout.) Instead, why not have an editor that just displays the number literal however the user wants. From an auditors perspective, we never care about how the developer wants us to view his shit anyway. We may be looking at some number written in the code as decimal, but want to see it in hex or binary and would have copied into a converter or calculated in our head anyway.

Say we have an expression like this:

One (One (One (One Empty)))

It could be in the console:

<GetNumThings()

>One (One (One (One Empty)))

Or in the code editor:

>x = One (One (One (One Empty)))

Now let's saPost too long. Click here to view the full text.

>>1191

>Find me a non-trivial program that doesn't need JSON (or something with the same purpose) somewhere. Should there be built in JSON syntax? No, especially seeing as JSON is ill-specified.

Tons of programs don't use JSON. "Anything with the same purpose", in addition to being unclear (what's the purpose?), changes the question to one where the language arbitrarily chose something out of the things that serve the purpose. There is no "different arithmetic" serving the same purpose as standard arithmetic that is unrightfully discarded by adding the latter to your language. So this doesn't answer my question.

Again, I get the intense feeling that you say "number" and "number type" but mean something completely different like "number syntax" or "special handling for numbers". Your rant about "Problem C" (which I mostly agree with, though if there is no standardized representation I don't see how you'd exchange programs with anything that doesn't natively understand whatever the implementation uses) supports me in that.

So how would a language "without a number type" look like? Does every single program in it have to define what a number is, arithmetic, etc. from scratch out of bits or whatever other primitive? If yes, what is the gain here, especially compared to the compatibility issues and subtle errors a dozen different implementations would create? If not, what exactly would be (semantically!) different from a "normal" language?

>>1192

>what is the gain here, especially compared to the compatibility issues and subtle errors a dozen different implementations would create? If not, what exactly would be (semantically!) different from a "normal" language?

Hrmph. It's kind of hard to go back and go over all of what lead me to this.

10 years ago I was trying to design a secure typed language. Looking at every language and seeing how they have some arbitrary crap machine-word integers pissed me off. So much that I even considered using Peano arithmetic. Later, I started to doubt this path, because Peano arithmetic is crap no matter how you look at it performance wise, and probably can't be guaranteed to be optimized out. I started to think the idea of a general language can't exist and you have to add ad-hoc crap like built in strings or ints to it. Later, I somehow met someone else working on a similar language for similar reasons. He did the same thing as me, just let the user define his own numbers however he wants. However, instead of Peano he implemented binary arithmetic. I was like sheeit why didn't I think of that. And thus the problem was solved. Anything can be implemented by the user without built in support, because it only has to be asymptotically efficient. And this covers all programming use-cases outside of DSP and a few other edge cases, which is fine. I only want the other 99.999% of the OS in my language. Polyglots burn in hell.

Some reasons I don't want built in integers:

I want the language to be as simple as possible (especially because some of the meta stuff might be complicated)

I don't want the language to have a grammar or require parsing (it's 2d like i said before. this isnt some bullshit flowcharts like DRAKON or whatever crap out there. it's 2d because this allows extensible syntax as well as being the opposite of UNIX and therefore the correct choice)

I want to reuse the types _of the language_ everywhere: for sending on the network, for embedding in documents (replace PDF and HTML), embedding in chats, types in the database are just types in the language. And I never want anyone to have to choose how it's serialized. I can send someoPost too long. Click here to view the full text.

>>1194

>the other way around just lets lazy programmers not care about the edge cases.

In fact, let me clarify that. It's not that lazy programmers are forced to care about the edge cases (they aren't, and some will still blindly copy around a bunch of conversions that can error, for example negative Integer to Natural). It's more that now they forced to tell me what the edge cases are. And they're forced to make the protocol better defined. If I had to count the times I had to consider what happens when some number can be negative or hits some other edge case…

>>935

Amazing thread OP. Brilliant.

Still waiting for it to be torn to shreds though. We're a bit slow on the fucking draw here.

>>1057

This is terrifying. I'm too poor to afford VPN, so am I browsing 8kun unsafely or something? I must hide from the Wu-han Clan.

>>1049

This. The primary issue here is that people are unknowingly volunteering what they believe to be private information.

lmao cunt I hope you get locked up for posts you make online and get raped and beaten by big black correctional officers with aids