/cy/ - Cyberpunk

Why can't you resize the partition?

Resize your Windows partition and encrypt your linux partition with luks or something like that. Instead of default windows bootloader get grub ot refi

shrink your windows partition and leave some space for linux. if it doesnt let you, it might be too fragmented

>>1648
Basic security programs: icecat, anonsurf, onionshare, i2psnark, truecrypt 7.1a, KeepassXC.
Encrypt with luks. Add password to BIOS. Only store glowie shit on encrypted external drives. Use keepass to generate and store all passwords. Keep master pw in your head and no where else.
Good email providers: disroot and riseup. VPN of course.
Alternatively, do what >>1649 said and keep tails on a bootable USB or create a partition for Qubes for fedposting purposes.

Depending on threat model, making something like Manjaro "extremely secure" might be more trouble then it's worth. A lot of the hardening comes from the kernel and having the right dot files / configs in place to make best use of those features. Even if Manjaro offers hardened kernel in their repos, I'd imagine the OS might have to be tweaked a bit to take full advantage of it? And depending on how motivated the glow-in-the-darks are, hardware can also be a consideration. Many of the pros try and exploit the hardware as well as the software. Some red teams having designated driver experts writing custom exploits in assembly on a case by case basis.
These anons gave good advice
>>1649
>Qubes OS, Whonix, Tails, or some combination thereof.
>>1654
>Basic security programs…
There's also Kodachi live boot OS. I can't vouch for it since I haven't taken an in depth look at it, but it's a thing and thought it might be worth a mention ITT. Also, Parrot OS is an interesting project.
As an aside, one can even pick up some knowledge by looking at how Debian, and even Ubuntu, configure their distros. INB4 UBUNTU REEEEE! I know Ubuntu default desktop leaks meta-data and their implementation of systemd is bloated and would require a thread unto itself. I'm only referring to the fact that Debian and Ubuntu are commonly deployed as servers and have some sensible defaults in that regard that might be useful for some to look into.
Also, building upon a basic Alpine install is another interesting option. Potential to have something with a very small attack surface and somewhat of a security by obscurity factor compared to other distros.

Sounds like a cult

>>1544
They adhere to a certain sense of humor as far as I can tell.
>>1545
The CIA does use it.

>>1546
"cool" cult

>9 days ago
Give us an update, OP. Are you on your way to becoming the next Stanley Lieber?

>>1801
cope

>>1802
cope

>>1795
how the fuck have you managed to get IP banned by google?

>>1804
we will never know his secrets

>>1804
If you use very old browsers and or different spoofing plugins or rented IPs, google will not allow you and just perma captcha your ass.

I'm glad u asked.

>why don't software engineers just write proofs instead of programs
Well, technically, they do write proofs, since programs are the same thing.
The things is, they usually prove something like:
"given integers x,y, either floor(x/y) is an integer or RuntimeException".

I guess are asking why their proofs almost always prove this extra " or RuntimeException" (and actually there are usually more such terms).
The reason is just that it's easier to not be as precise, at least with the current technology.
For example, if i can use (int)( x*(x+2)/2 ) without having to prove that x*(x+2)/2 is an integer.

There are some languages whose programs really are proofs (e.g. Coq),
but they are more difficult to read and write, have less access to libraries, etc.

I think there should be a way to write safe, yet readable and efficient code,
Post too long. Click here to view the full text.

>>1540
That's not entirely correct. What you describe is the typechecking, which is equivalent to the correctness check of a proof. But the statement that the proof proves is not this, but the type itself. If your proof is "floor(x/y)", what it proves is that if you can construct two integers, then you can construct an "integer or RuntimeException".

It's easier if we put it in a method. The following three methods have the same type and therefore prove the same statement:

int nonsense(int x, int y) throws RuntimeException {
    return floor(x/y);
}
int nonsense2(int x, int y) throws RuntimeException {
    return 0;
}
int nonsense3(int x, int y) throws RuntimeException {
    throw new RuntimeException();
}

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

>>1541

>That's not entirely correct.
What i should've said is that, in hypothetical a program,
the expression floor(x/y) proves that, given integers x,y, either you can make an integer or throw a RuntimeException.

>throws RuntimeException
In every Java declaration,
there is an implicit RuntimeException,
since they can be thrown anywhere without declaration,
so any method's return type should be considered a union of the stated type with a RunTimeException throw.

> return bullshit(x);
I guess we should add an "infinite execution" to all our RuntimeException terms.
You could also return null,
Post too long. Click here to view the full text.

>>964
not rly, I mean I have rough sketches here and there, but they're not really for show off, but I'll have more to show when I finish some locations

What genre is the game? FPS? Roguelite? Grand Strategy?

>>983
point and click adventure

>>962
what technology (game engine / own stuff) you will use?

Add a skinny tower which has an elevator that takes you to the top and then flying ships underneath you and you have to jump at the right time or you get squished. Add phaser guns to shoot enemies. Add multiple planets and a market that you can buy things at and an open world option which lets you just go around and explore. Add ai's that talk to you like a VN. Add underworld. Add music. Don't use GTK!

Recommendations like the PkD essay or for curated collections of essays?

>>1025
looking for essays on related topics.

>>1028
Nice but you can only read the lisp article and some in the odds and ends section

btw thanks for the link op this is very cool, bumping for interest

>>1638
Free software will always have bugs like these.

>>1641
Just as it will always have people like >>1637 fixing them.

Technology can be old but gold, what makes it interesting to me is whether or not it is widely adopted and used.

Right now i am excited to get a Raspberry Pi and make my own VPN router, nothing new or revolutionary, just underutilized.

If you just want something new on the horizon then mine would be VR tech, defo some scary problems to consider, but that is what they said about the internet (and still do), i am hoping for a creative explosion like the start of the internet had back in the day.

Hopefully we can use VR to create new interesting spaces to escape the current status quo, if but for a time.

>>1641
but anyone can fix them

>>1644
How many bugs did you fix so far?

>>1533
>>1534
complacency kills, but at the same time not everything has to be a labor of love. if i'm not getting premium pay i don't generally put out a premium product.
if it's my own project it's a different story though

>>1533
Do you have a linter hooked up with whatever your team uses for code reviews? If not, do everything you can to get one, it makes everyone's life much easier. But yeah, that sounds miserable.

>>1535
Yeah no I agree with you. I think I perceive it this way since I'm only at the starting phase of my career and lack the exposure. I know that most pragmatic approach is to save my autism for my personal programming projects, rather than being a nuisance to everyone at work.

>>1536
We do actually, but it mostly cleans up formatting errors and gives some warnings about unused variables and such. Not really that helpful. I mostly have a problem with their portrayed disinterest for structure and cleanliness. I perceive their mentality to be something along the lines of: "My first attempt did what it was supposed to, so why take a moment to consider it and possibly iterate it one more time.". That being said I realize that you have to draw the line somewhere. You probably get my point.

That's enough about my complaints. Reiterating OP's question: What do you look for in reviews?

>>1531
In my last job, I was as picky as you, OP. But when it came to fixing all the findings, we were told to only fix potential bugs, and leave all the violations of the coding style guide in place. I especially hated it, when people write code, that doesn't even fit on a full HD screen with a small font. Like what were they thinking? I would be ashamed to deliver such code. The real fun begins when you try to do diffs side by side with such a mess.

I also felt like i was too picky all the time, because nobody else seemed to care, but on the other hand, this software was low-level code for devices peoples lifes depend on.

You probably don't want to know what shitty code is inside health devices like pacemakers or insuline pumps and what not.

Neon lights and colourful LEDs.
Some kind of anarchic work and tinkerplace occupying the room. The wires must come from somewhere afterall and the low life makes money recycling electronics, breeding something into marketable offspring, or having an oversized wildly modded together cpu dominating the room for some nefarious online sheme in its rented apartments or improvised hideouts.
If you dont have a hobby like that and are willing to life in the junk of all the shit you collected from your cities dumpsters or sustain a humongous electricity bill for a gamerPC set up taking up half of your room or a bunch of aquariums and lavalamps bubbling away with lit up liquids as part of an omnious trinket collection that will either gain you the admiration of your guests or many confused questions this might get somewhat complicated to pull off.
The coroporate jobber low middleclass or anyone with an officially listed income might life in prefab appartments where most surfaces are made of some stuff or plating that looks as if it was quickly assembled like IKEA furniture, most surfaces being in use for something as space is expensive in the 21th century. The less cramped places might follow a somewhat pleasant industrial design.
If you want your room to look from the inside like a 70s multistorybloc looks from the outside you need to commit seriously so it doesnt look hideously or ends up being a problematic construction and if you got a landlord this might end up not achievable.
Darkness and colourful lights, a careful selection of furniture(Steel cabinets?) and wallpapers or even concrete/rust optic spatula technique coatings for selected walls if your landlord is ok with it or you are lucky to own your four walls might take you to a desirable outcome tho.

>>956
No sheets on the mattress? Are you an animal?

I've always thought one of the coolest modification that I'll do to a place of my own some day is build wall mounted terminals that connect to some sort of multi user system.

video related

>>996
pretty much

>>1515
Don't tell me Kurt Vonnegut knew about Cirno??

Is this a good book? Should I read it?

>>1516
>Don't tell me Kurt Vonnegut knew about Cirno??
I don't know what a Cirno is but if you have a date associated with it you may draw some conclusions by comparing it to the book's date.

>Is this a good book? Should I read it?
As Hugo award nominees go it's on the weakish side, but if you're into social satire with black humor you might give it a rainy afternoon.

>>1517
Cirno is a character from the Touhou video games. She's an ice fairy who is associated with the number nine (⑨) because she's an idiot.