Slashdot Mirror

See my subject: Since our topic's security related I'm actually out there creating things to help it APK Hosts File Engine 9.0++ SR-5 32/64-bit https://www.google.com/search?hl=en&source=hp&biw=&bih=&q=%22APK+Hosts+File+Engine%22+and+%22start64%22&btnG=Google+Search&gbv=1/ & speed, reliability + anonymity online... & you?

* See subject - says it all for me, vs. you... lol!

APK

P.S.=> It honestly amazes me people like you are allowed to exist taking up food, water, oxygen & shelter that productive others could be using instead of waste-of-life do-nothing of worth YOU... apk

https://www.google.com/patents...

APK Hosts File Engine 9.0++ SR-5 32/64-bit https://www.google.com/search?hl=en&source=hp&biw=&bih=&q=%22APK+Hosts+File+Engine%22+and+%22start64%22&btnG=Google+Search&gbv=1/

Ads & malware rob speed, security & privacy

Hosts add speed (hardcodes/adblocks), security (bad sites/poisoned dns), reliability (dns down), & anonymity (dns requestlogs/trackers) natively

Less power/cpu/ram + IO use vs. DNS/routers/addons/antivirus + less security bugs/complexity

APK

P.S. - Safe https://www.virustotal.com/en/file/e01211ca36aa02e923f20adee0a3c4f5d5187dc65bdf1c997b3da3c2b0745425/analysis/1433430542/

APK Hosts File Engine 9.0++ SR-5 32/64-bit https://www.google.com/search?hl=en&source=hp&biw=&bih=&q=%22APK+Hosts+File+Engine%22+and+%22start64%22&btnG=Google+Search&gbv=1/

Ads & malware rob speed, security & privacy

Hosts add speed (hardcodes/adblocks), security (bad sites/poisoned dns), reliability (dns down), & anonymity (dns requestlogs/trackers) natively

Less power/cpu/ram + IO use vs. DNS/routers/addons/antivirus + less security bugs/complexity

APK

P.S. - Safe https://www.virustotal.com/en/file/e01211ca36aa02e923f20adee0a3c4f5d5187dc65bdf1c997b3da3c2b0745425/analysis/1433430542/

APK Hosts File Engine 9.0++ SR-5 32/64-bit https://www.google.com/search?hl=en&source=hp&biw=&bih=&q=%22APK+Hosts+File+Engine%22+and+%22start64%22&btnG=Google+Search&gbv=1/

Ads rob speed, security (malvertising) & privacy (tracking)

Hosts add speed (hardcodes/adblocks), security (bad sites/poisoned dns), reliability (dns down), & anonymity (dns requestlogs/trackers) natively

Avg. page = big as Doom http://www.theregister.co.uk/2016/04/22/web_page_now_big_as_doom/ & ads = 40%

Hosts != ClarityRay blockable (like inferior wasteful redundant slow usermode addons)

Less power/cpu/ram + IO use vs. DNS/routers/addons/antivirus slowing you + less security issues/complexity

Hosts block more used hostnames & lighten dns load. Firewalls block less used IP in malware.

APK

P.S. - Safe https://www.virustotal.com/en/file/e01211ca36aa02e923f20adee0a3c4f5d5187dc65bdf1c997b3da3c2b0745425/analysis/1433430542/

Googled that for you: https://www.google.com/search?...

The Clinton Global Initiative also helped pay for Chelsea's wedding.

They're also shutting it down as foreign investors withdraw their donations. The jaundiced eye can't help assuming that it's because the foreign investors no longer feel the need to curry favor with the Clinton family.

Yes...yes he is. And his opponent wasn't a boring public servant. She's a traitor, a habitual liar, incompetent, self-serving, and saggy-boobs deep in pay-for-play.

Think on that. We elected an IDIOT because he's better than the alternative. If he gets our soldiers killed or sells us out, it'll be because he's dumb and incompetent, not because he's sleazy and malicious.

I absolutely agree with you. Just because Trump is sleazy and malicious doesn't mean it will be the reason he gets our soldiers killed, or sells out. That part will definitely be a direct result of him being dumb and incompetent.

He's a con-artist that got rich by screwing over the little guy, who he now claims he's standing up for.

And you fucking fell for it.

Fuck you.

At least with him, there's a chance.

There's a very good chance we'll all be speaking Chinese or Russian in another four years.

Ok I give..what the fuck is a "lorry"?

A rainbow-coloured, nectar eating parrot.

How it wrecked his car, I have no clue. They are pretty cute, though, he probably got distracted.

Um, if you are using a bridged router, you have about the most insecure network I have heard of. Did you build Hillary's email server too?

I also forgot about your since recanted DNS BL mistake, I also pointed that one out to you, and you corrected your list to reflect the change.

Also, I have to ask, why do you keep mentioning a book name as if it is some kind of obscure tome?

https://www.google.com/search?...

It's not more complicated than any standard English TV remote.

The only thing that makes it appear complicated is that you can't read Japanese. If you did read Japanese it would be very clear.

Not exactly searches, but most browser apps doesn't store but already 'keep' a hyperlink of your search. Ex: type "iphone' in google search bar, you get something along https://www.google.com/search?... without connected to internet.

And depends if you have reconnected, some app will immediate reload the webpage. If not, you could click the reload. This seems like an old feature.

Correct me if I'm wrong.

https://news.google.com/news/i... -- Google News before AMP. Bookmark it on your mobile device and you can use Google News with none of the annoyances.

https://news.google.com/news/i... -- Google News on a mobile browser... Only no AMP, yes native scrolling, as a bonus, revives the ability to open articles in background tabs again. Bookmark it now, thank me later. :)

repeat after me: Progressive. Meaning progress. That doesn't mean he solves every problem in the ever loving world. But he damn well solves some.

And yeah, I know I'm feeding the trolls, but I can't let this shit slide no more.

See my subject: It's why these puny wannabes try "take me down" & can't! Good example? https://developers.slashdot.org/comments.pl?sid=10130487&cid=53686331/ & /. owner losing adclicks here filters vs. me!

(Which I blow by w/ ease)

It's "ALL ABOUT THE BENJAMINS" from Google their MAIN sponsor vs. APK Hosts File Engine 9.0++ SR-5 32/64-bit https://www.google.com/search?hl=en&source=hp&biw=&bih=&q=%22APK+Hosts+File+Engine%22+and+%22start64%22&btnG=Google+Search&gbv=1/

* Cuts these advertising fucks that slow us up & infect us to fucking SHREDS w/ what you have natively in faster kernelmode (vs. slower crippled or bug ridden "so-called 'solutions'") doing far more for far less for more speed, security, reliability & anonymity online.

APK

P.S.=> They're scared shitless & it shows, lol... apk

As long as they go to prison, sure, they can get a gender reassignment.

And I think you're off by a hair on your "millions" estimate. Male to female ranges from $7-$24,000. (source)

For reference, a new knee will cost about $50k. Technically a knee replacement is an elective surgery. How many of those were done to inmates last year? Should they be denied therapy as well? Or does gender reassignment bother you because it doesn't match your world view?

See subject: It's MORE than a possible, it happened to Google (big mistake opening your source voluntarily is this) https://www.google.com/search?hl=en&source=hp&biw=&bih=&q=Chrome+EFast&btnG=Google+Search&gbv=1/ & that is WHY I've never EVER "Open SORES'd" any code I write - this kind of shit DEFINITELY happens...

* Wouldn't surprise me 1 bit it happens to Opera now too (Chopera Chrome CHINESE Opera actually) & the shame of it? PRESTO was the MOST kickass version of Opera there is (still imo best browser there is, bar-none, w/ MOST flexibility in a SINGLE browser minus addons to do what Opera PRESTO version natively does...)

APK

P.S.=> Back on Google? Why do you THINK their next version of ANDROID's OS won't BE "Open SORES"? They learn from their mistakes in EFast noted above w/ fake CHROME is why... apk

OSX is 1999 tech so it doesn't work with that much memory so they refuse to support it because it exposes their horrific shit.

That's why Mac Pros since at least 2009 work with up to 128GB?

Exactly.

And I believe that, since OS X 10.4, OS X/macOS has a RAM limit in the 18 Exabyte range for VM, actually.

I can't find a definitive answer as to whether the physical RAM is limited in macOS to less than 18 exabytes; but at least 128 GB of physical RAM seems to be well-documented.

https://www.google.com/search?...

Perhaps what people object to is the US government running healthcare. They have proven that they can't do it well, but I guess you don't care.

I did Google it but the source information is from only a 4-day-old Google blog story.

https://cloud.google.com/secur...

So it seems your claims of this information bein published before in numerous tech posts and books was bullshit.

A lot of GSAs are rebranded Dell hardware too (particularly a lot of R710s showing up on eBay recently).
Google even has a help article that tells you how to reuse one when the GSA license expires.

0.0.0.0 is equivalent to "null routing" (it's the trashcan to nowhere in other words) proof https://www.google.com/search?hl=en&source=hp&biw=&bih=&q=What+is+0.0.0.0+%3F&btnG=Google+Search&gbv=1/

* You fucking idiot...

APK

P.S.=> "Allo"? You just said "goodbye" to any thought of credibility directed your way online... apk

Given recent events

And by that he is referring to the massive expansion of the surveillance state under President Obama?

https://www.google.com/search?...

Shocking indeed. Even more shocking that this was supported by Democrats and Democratic candidates. Hopefully, a new president will change direction.

First, this is really old news picked up by the Guardian: https://tobi.rocks/2016/04/wha... That's almost a year old! Second, this is not the biggest security issue IMHO: default WhatsApp behaviour is to backup all your messages unencrypted to Google Drive, therefore, if a government wants to read your messages, they'll just ask Google! (the content is inaccessible by you, but not to them! https://developers.google.com/... )

Shit, first it was vp8/WEBM but momentum seems to have died on that but now there's vp9 and it's better than vp8 and now images. Google you're annoying as fuck with the moving targets on your open standards, and while I think it's great that we now have another way to store images but we still have GIF, PNG, SVG, JPEG and even your own )(*@)(*! WEBP which is based on VP8 which you don't like anymore. So now with RAISR what do we all do start buying dart boards to figure out what standards we as ISVs should be targeting? None of the other formats are going away anytime soon but since vp8, vp8, WEBP and RAISR are all under your roof, can we ask that you make up your damn minds, please?!?!

APK Hosts File Engine 9.0++ SR-5 https://www.google.com/search?hl=en&source=hp&biw=&bih=&q=%22APK+Hosts+File+Engine%22+and+%22start64%22&btnG=Google+Search&gbv=1/

Ads rob speed/security (malvertising)/privacy (tracking).

Hosts add speed (hardcode/adblock), security (bad sites/poison dns), reliability (dnsdown), & anonymity (dns requestlogs/trackers) natively.

Avg. page = Doom sized http://www.theregister.co.uk/2016/04/22/web_page_now_big_as_doom/ & ads = 40%.

Hosts != ClarityRay blockable (vs. souled-out crippled inferior wasteful redundant slow usermode addons)

Less power/cpu/ram + IO use vs. DNS/routers/addons/antivirus (slows you) + less security issues/complexity.

APK

P.S. - Safe https://www.virustotal.com/en/file/e01211ca36aa02e923f20adee0a3c4f5d5187dc65bdf1c997b3da3c2b0745425/analysis/1433430542/ Verified by Malwarebytes http://forum.hosts-file.net/viewtopic.php?f=5&t=4290/

However (and you had to know there would be an however...) what about the quality of the drugs? If the drugs are made in China, I have serious quality concerns. https://www.google.com/search?...

First off, I am not against humanoid robots, I can imagine some pretty useful applications for a convincingly humanoid robot. That being said, there is no such issue right now because they are all squarely in the uncanny valley and generally creepy AF.

Secondly, all we are talking about here is an EMO switch (Emergency Manual Override)

https://www.google.com/search?...

which is pretty standard on virtually every piece of mechanical hardware that could potentially hurt someone. From the cord that can be yanked out of the wall to the keyed switch in your car, to every industrial robot I have ever worked on or designed, they all have an EMO in one form or another. If I were ever to work on a humaniform (Azzimovian term for it) robot that was strong enough to hurt someone (again if, most likely the design would shoot for inherently weak motors that could not incur injury to a user during interaction) I would definitely include an EMO that is easily accessible. Even Data from Star Trek TNG had such a switch in the middle of his back.

That these pointy headed politicians somehow think that this would not be inherently built in just shows both their hubris and lack of understanding of the current state of the art. I think the main reason for this move toward legislation is to attempt to tax robots as you would tax a worker to generate additional revenue for the struggling EU. Everything else is just BS to try and legitimize a money grab by the politicians.

Surely you could have Googled it.

Perfect answer which shows exactly why Intel fanboys can't be argued with.

AMD is bang for buck, Intel is not = Intel wins. People who buy Intel don't buy it because they need them, they buy Intel because they participate in a moronic dickwaving contest with themselves. They are just like the customers who buy thisapp for Android. "OMG can't be percived as really cheap". LOL

It's even so bad they have to spread lies to justify it to themselves, "half the performance". ROFL

See subject: This invalidates/neutralizes an entire class of exploit via a mirrored readonly callstack via "CET" https://www.google.com/search?hl=en&source=hp&biw=&bih=&q=Intel+CET&btnG=Google+Search&gbv=1/

* THAT is well-worth doing + worth waiting for... blowing away buffer overflows & rip-rop attacks cpu side!

(Funniest part is, it IS already "doable" but they don't implement it for consumers (or anyone afaik @ least)).

APK

P.S.=> They do that? I'll buy again (even though I own a fairly new & powerful CPU in the Intel 4790k)... apk

NEW version APK Hosts File Engine 9.0++ SR-5 32/64-bit https://www.google.com/search?...

Ads rob speed, security (malvertising) & privacy (tracking).

Hosts add speed (hardcodes/adblocks), security (bad sites/poisoned dns), reliability (dns down), & anonymity (dns requestlogs/trackers) natively.

Works vs. caps & PUSH ads.

Avg. page = big as Doom http://www.theregister.co.uk/2... & ads = 40% of it.

Hosts != ClarityRay blockable (vs. souled-out to admen inferior wasteful redundant slow usermode addons)

Less power/cpu/ram + IO use vs. DNS/routers/addons/antivirus (slows you) + less security issues/complexity.

Compliments firewalls (blocking less used IP addys vs. hosts blocking more used domains) & DNS (lightens dns load).

Gets data via 10 security sites.

APK

P.S. - Safe https://www.virustotal.com/en/... (Verified by Malwarebytes' S. Burn "seen the code & it's safe" http://forum.hosts-file.net/vi... )

Why not just get a Google Audio Puck ($35) or a BlueTooth transceiver ($25) ... for your existing speakers.

So I googled QHD (quad HD) and it has a base aspect ratio of 16:9.Ultra wide QHD has an aspect ratio of 21:9 (note that fraction isn't reduced either). This aspect ratio is in between 18:9. For some reason the smaller dimension seems to have stuck at 9 for QHD. Likely some marketing guy doesn't understand fractions. https://www.google.com/search?...

Christ, gas prices are only $1.115 compared to the Canadian average of $1.1375 or the $1.35+ that we're paying here on the west coast where we have to depend on Canadian oil refined by the Americans.
Electricity prices don't look bad either if you ignore the peak price from 4:00 PM to 5:00 PM, only 8.7 cents a kW/hr during off-peak, it's 8.29 cents for the first 1350 kW/hrs here and then 12.43 cents compared to 13.5 cents mid peak there. Off course BC Hydro has gone $5 billion (soon to be $10 billion) in debt to keep our prices so low without any alternative energy sources coming on-line, most of the cost increases has been to subsidize the natural gas industry so I guess that is a good reason to have high prices.
Of course most other stuff is also cheaper in Ontario, I understand you can buy a small house for less then $2 million and the minimum wage is also higher.
At least you're not as much as cry babies as the Albertans, who almost have to pay slightly over $1.10 a litre for gas while they pass on costs to us. (too lazy to look at their electricity prices on my dial-up internet connection)

https://www.google.ca/search?q...
https://www.google.com/search?...
https://www.google.ca/search?q...
https://www.google.ca/search?s...

Vice President, Search Products & User Experience ... Marissa leads the company's product management efforts on search products -- web search, images, news, books, products, maps, Google Earth, Google Toolbar, Google Desktop, Google Health, Google Labs and more.

- Google.

Do you really want a data center where the temperature quite often approaches 110 degrees?

Sure. Here's one. Take a tour. They have a facility in Scottsdale, too. Other companies host here, also. Digital Realty has nearly 1 million square feet of data center space in the county.

Why not Idaho? Cooler weather, low taxes, and cheap real-estate.

Idaho has a single tier-3 data center. Compared to Phoenix, I'm sure the major difference is the concentration of top-tier networks already here in Phoenix. I doubt there are as many top-tier networks running through Idaho. We also have cheap power and land, but I'm sure the prices in Idaho aren't very high either. Then again, there aren't many people in Idaho and it pays to locate your equipment near to the population centers. The population of all of Idaho is about 1.6 million, while about 4.5 million live in metro Phoenix. Intel, Motorola, and Honeywell also have a lot of major facilities here, I'm sure for many of the same reasons as the data centers.

It's a wonder volleyball isn't more popular . . .

He did divorce his wife and start dating a bizarrely attactive girlfriend one third his age. If that's crazy, sign me up!

No that's a symptom of the money not the craziness. If you want a young fit girlfiend/wife just get a shitload of money and they will be queuing up. Make sure you keep it though because they will fuck off faster than you can say prenup.

A wrestling scholarship - you lose. -DBIII

Sorry he won, and you lost before you even started playing the game

Rumsfeld attended Baker Demonstration School,[11] and later graduated[12] from New Trier High School. He attended Princeton University on academic and NROTC partial scholarships*

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

And from his book

https://books.google.com/books...

Why is it every time I run into you on this site you're making stuff up ?

*NROTC = is the naval reserve officer program not national wRestling something or other

It's over. Mr. Trump is someone else's POTUS. But not mine.

Sorry to inform you, if you're a citizen of the US, then he's gong to be your president unless something extraordinary happens. Period, full stop, the end. You might not have voted for him, you might hate his guts and politics and wish him ill, and until he takes to oath of office he ISN'T your president -- but once he does, he is.

*I* didn't vote for Obama and didn't like a lot of things that he did (and didn't do.) But looks like his hopey changie thing is finally working itself out.

Then again, if you really don't want him to be your president, you can always renounce your U.S. citizenship and pick exactly who you'd like. Once, anyway. I suggest you move to Canada like these people AREN'T. Or you could join Cher, I'm sure she's going to be lonely on (in?) Jupiter.

And by the way, I'm curious: are you on either coast? I'm in flyover country. (Well actually not, I'm not even that close to the aerial lanes.)

See subject: Outran rival languages like C++ in 4/6 tests given in a competing language's trade rag test (VBPJ oct 1997 titled "Inside the VB5 compiler"):

STRING SUITE:

Delphi = .275ms
MSVC++ = .500ms
MSVB = 4.091ms

MATH SUITE:

Delphi = 1.523ms
MSVC++ = 2.890ms
MSVB = 7.071ms

API GRAPHICS METHODS SUITE:

Delphi = .269ms
MSVC++ = .293ms
MSVB = 292

TEXTBOX FORM LOADING SUITE:

MSVC++ = .012ms
Delphi = .069ms
MSVB = .072ms

ACTIVE X FORM LOADS:

MSVB = .114ms
Delphi = .495ms
MSVC++ = .778ms

NATIVE TO LANGUAGE GRAPHICS METHODS SUITE:

MSVC++ = .293ms
MSVB = .455ms
Delphi = .503ms

* Does "multiplatform" w/ the best of them (soon to have Linux64 too, not just Win32/64, MacOS X, Android etc.) https://community.embarcadero.com/article/news/16418-product-roadmap-august-2016/

APK

P.S.=> I created APK Hosts File Engine 9.0++ SR-5 32/64-bit https://www.google.com/search?hl=en&source=hp&biw=&bih=&q=%22APK+Hosts+File+Engine%22+and+%22start64%22&btnG=Google+Search&gbv=1/ using it... apk

There is a long chain of scientific articles over many years exploring the benefits of the Mediterranean Diet.
I understand that you may be skeptical of a single article but this research goes back many years.
The following will give you the references you need to make an informed decision:
https://scholar.google.com/sch...
(About 509,000 results)

See subject: Outran rival languages like C++ in 4/6 tests given in a competing language's trade rag test (VBPJ oct 1997 titled "Inside the VB5 compiler"):

STRING SUITE:

Delphi = .275ms
MSVC++ = .500ms
MSVB = 4.091ms

MATH SUITE:

Delphi = 1.523ms
MSVC++ = 2.890ms
MSVB = 7.071ms

API GRAPHICS METHODS SUITE:

Delphi = .269ms
MSVC++ = .293ms
MSVB = 292

TEXTBOX FORM LOADING SUITE:

MSVC++ = .012ms
Delphi = .069ms
MSVB = .072ms

ACTIVE X FORM LOADS:

MSVB = .114ms
Delphi = .495ms
MSVC++ = .778ms

NATIVE TO LANGUAGE GRAPHICS METHODS SUITE:

MSVC++ = .293ms
MSVB = .455ms
Delphi = .503ms

* Does "multiplatform" w/ the best of them (soon to have Linux64 too, not just Win32/64, MacOS X, Android etc.) https://community.embarcadero.com/article/news/16418-product-roadmap-august-2016/

APK

P.S.=> I created APK Hosts File Engine 9.0++ SR-5 32/64-bit https://www.google.com/search?hl=en&source=hp&biw=&bih=&q=%22APK+Hosts+File+Engine%22+and+%22start64%22&btnG=Google+Search&gbv=1/ using it... apk

See subject: Outran rival languages like C++ in 4/6 tests given in a competing language's trade rag test (VBPJ oct 1997 titled "Inside the VB5 compiler"):

STRING SUITE:

Delphi = .275ms
MSVC++ = .500ms
MSVB = 4.091ms

MATH SUITE:

Delphi = 1.523ms
MSVC++ = 2.890ms
MSVB = 7.071ms

API GRAPHICS METHODS SUITE:

Delphi = .269ms
MSVC++ = .293ms
MSVB = 292

TEXTBOX FORM LOADING SUITE:

MSVC++ = .012ms
Delphi = .069ms
MSVB = .072ms

ACTIVE X FORM LOADS:

MSVB = .114ms
Delphi = .495ms
MSVC++ = .778ms

NATIVE TO LANGUAGE GRAPHICS METHODS SUITE:

MSVC++ = .293ms
MSVB = .455ms
Delphi = .503ms

* Does "multiplatform" w/ the best of them (soon to have Linux64 too, not just Win32/64, MacOS X, Android etc.) https://community.embarcadero.com/article/news/16418-product-roadmap-august-2016/

APK

P.S.=> I created APK Hosts File Engine 9.0++ SR-5 32/64-bit https://www.google.com/search?hl=en&source=hp&biw=&bih=&q=%22APK+Hosts+File+Engine%22+and+%22start64%22&btnG=Google+Search&gbv=1/ using it... apk

See subject: Outran rival languages like C++ in 4/6 tests given in a competing language's trade rag test (VBPJ oct 1997 titled "Inside the VB5 compiler"):

STRING SUITE:

Delphi = .275ms
MSVC++ = .500ms
MSVB = 4.091ms

MATH SUITE:

Delphi = 1.523ms
MSVC++ = 2.890ms
MSVB = 7.071ms

API GRAPHICS METHODS SUITE:

Delphi = .269ms
MSVC++ = .293ms
MSVB = 292

TEXTBOX FORM LOADING SUITE:

MSVC++ = .012ms
Delphi = .069ms
MSVB = .072ms

ACTIVE X FORM LOADS:

MSVB = .114ms
Delphi = .495ms
MSVC++ = .778ms

NATIVE TO LANGUAGE GRAPHICS METHODS SUITE:

MSVC++ = .293ms
MSVB = .455ms
Delphi = .503ms

* Does "multiplatform" w/ the best of them (soon to have Linux64 too, not just Win32/64, MacOS X, Android etc.) https://community.embarcadero.com/article/news/16418-product-roadmap-august-2016/

APK

P.S.=> I created APK Hosts File Engine 9.0++ SR-5 32/64-bit https://www.google.com/search?hl=en&source=hp&biw=&bih=&q=%22APK+Hosts+File+Engine%22+and+%22start64%22&btnG=Google+Search&gbv=1/ using it... apk

He did divorce his wife and start dating a bizarrely attactive girlfriend one third his age. If that's crazy, sign me up!

Holy crap, I'm going to start writing books

Search engine metrics are also flawed in another way; the worst examples of things often generate a lot of searches, but that doesn't mean they're popular. This metric would tell us that the most popular financial company is Wells Fargo. They're at the top because of the news that they created millions of fraudulent accounts, however, and not because they're popular.

Yeah, this is why I love OCaml. OCaml has static typing with type inference. You don't have to type the types out if you don't want to, but you still get those strong guarantees at compile time because of mathematical proofs.

My compilers professor said that he believed that type systems are the most important form of program verification that we have (See notes).