[ a / b / art / cy / lain / alt / o ] [ wired / meta ] [ home / information / affiliates / updates ] [ mebious ]

/cy/ - Cyberpunk

Cyberpunk & Technology
Name
Subject
Comment
File
Embed
Password (For file deletion.)

Upcoming changes: Give them a read!

File: 1603494168370.jpg (99.96 KB, 480x640, t420s.jpg)

 No.1795[Reply]

Where can I buy a server to use as a personal vpn that google won't captcha rape me on??

I am IP banned from google and its services, not a huge deal since I avoid them but I am wanting to download some stuff off youtube as well as host a searx instance
6 posts and 2 image replies omitted. Click reply to view.

 No.1802

>>1801
cope

 No.1803

>>1802
cope

 No.1804

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

 No.1805

>>1804
we will never know his secrets

 No.1806

>>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.



File: 1599760604718.jpg (1.09 MB, 1200x1600, ba78fa26952a7c71999c7cfa23….jpg)

 No.1539[Reply]

If Curry–Howard correspondence is true and proofs are programs, why don't software engineers just write proofs instead of programs? That we they wouldn't have to worry about proving their programs correct since they would be already proofs.

 No.1540

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.

 No.1541

>>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.

 No.1542

>>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.



File: 1579003170337.jpg (63.68 KB, 500x339, 1566420009413.jpg)

 No.962[Reply]

I'm making a cyberpunk adventure game inspired by pc98 game aesthetics, snatcher etc.
I'm still doing my own thing, but I think that's the closest I can compare it to.
It's still way too early in dev to even show it off, but I'm workin on it.

I'd appreciate knowing what would you like to see in a game like that, graphic wise, gameplay wise etc. could be examples from other games.

I should mention that there is a supernatural element to the game, suehiro maruo/junji ito inspired stuff.
1 post omitted. Click reply to view.

 No.976

>>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

 No.983

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

 No.989

>>983
point and click adventure

 No.1031

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

 No.1032

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!



File: 1599209440602.bmp (1.1 MB, 640x598, lain.bmp)

 No.1022[Reply]

I found this collection of essays while looking for the "How to Build a Universe That Doesn't Fall Apart Two Days Later" by PkD
https://urbigenous.net/library/
anyone got some recommendations like that.

 No.1025

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

 No.1027

>>1025
looking for essays on related topics.

 No.1028


 No.1029

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

 No.1030

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



File: 1599425324914.jpg (247.27 KB, 1414x946, oldtechnology_1043-1.jpg)

 No.1624[Reply]

Is there any new, up and coming technology that makes you excited? I feel like everything new I hear about is either boring or outright designed to make our lives worse.
16 posts and 2 image replies omitted. Click reply to view.

 No.1641

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

 No.1642

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

 No.1643

File: 1612098548592.png (427.82 KB, 1456x1002, https _bucketeer-e05bbc84-….png)

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.

 No.1644

>>1641
but anyone can fix them

 No.1645

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



File: 1598810274591.jpg (321.89 KB, 1280x720, code review with the girls.jpg)

 No.1531[Reply]

What do you look for in a code review?

To be honest I just try to understand the code and the changes, which means that most of the time I point out things that hinder comprehension, like misleading variable names, overly complex approaches, and sometimes bugs in the logic or missing corner cases. But I feel like most of my comments are just nitpicking and I am wasting everyone's time.
2 posts omitted. Click reply to view.

 No.1534

>What is job security?

 No.1535

>>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

 No.1536

>>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.

 No.1537

File: 1599173287430.jpg (390.43 KB, 1024x783, reviewing.jpg)

>>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?

 No.1538

>>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.



File: 1577667272326.jpg (171.9 KB, 1226x909, cyb.jpg)

 No.955[Reply]

What would be /cyb/ perfect room? Clustered? Full of wires?
I always wanted to make a room as similar to me as possible, so i could spend my entire day in it and enjoy it's aesthetics.
Post pics or describe specific things that you think it would make your room look nicer of possible.
2 posts and 2 image replies omitted. Click reply to view.

 No.967

>>955
>A dark room with various lights but still keeps the room mostly in it's darkness
>Cluttered wtih various tech and wires all around
>Screens everywhere

 No.995

File: 1587234842576-0.jpg (35.1 KB, 400x492, apartment.jpg)

File: 1587234842576-1.jpg (427.9 KB, 1332x850, josan-gonzalez-by-josan-go….jpg)

File: 1587234842576-2.jpg (512.96 KB, 1920x1080, marianne-riis-blaesbjerg-e….jpg)

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.

 No.996

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

 No.1017

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

 No.1018

>>996
pretty much



File: 1595267384087.jpg (256.45 KB, 1716x2362, 8a37c505978b5ace14bb55fe6a….jpg)

 No.1514[Reply]

Is GNU Guile's ice-9 module named after Cirno?!

 No.1515


 No.1516

File: 1595346058806.jpeg (766.64 KB, 800x1260, 16cc7ecc198b4e2aab372683d….jpeg)

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

Is this a good book? Should I read it?

 No.1517

>>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.

 No.1518

File: 1595612602397.jpg (49.91 KB, 800x800, b969a7da731d61b20bb399a2ad….jpg)

>>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.



File: 1592149922082.png (2.34 MB, 1500x1997, __tsukino_usagi_and_seiya_….png)

 No.1527[Reply]

What makes the graphical interface of proprietary software superior to that of Free Software solutions? I know that people like to complain about GIMP and others, but I got pretty used to it at this point and never used proprietary alternatives. Are they really that much better? What's the difference?

 No.1528

The X Window system had a lot of problems but most are solved now really, beyond being sort of complex and "insecure" (doesn't really matter, since Unix-likes are about as insecure anyway). Wayland is supposed to break things down into some D-Bus/XDG/logind nightmare or something, not entirely clear to me, maybe someone knows better here.
Ignoring all other options and going directly for GTK and Qt (Qt isn't nearly as bad as GTK though). GTK and Qt go through major version changes and impose change on programs which creates instability and extra developer work. GNOME has been changing its design paradigm and everyone else has to pick up their turds and deal with it.
GIMP is not even bad other than the fact that it uses GTK. Single window mode, dark mode, GEGL options, Mypaint brushes, its all been default for quite some time now, but Adobe users just won't switch away from an 8 year old program (the pre-cloud version of Photoshop). Never used Photoshop, the most complex proprietary graphics editor I have used is Paint.NET, but GIMP is more capable than that one. Krita is a little easier for painting and drawing but it has a worse text tool last I checked. I remember people whining about CMYK for years, but its in Krita and GIMP now as far as I know (there was a GIMP plugin for CMYK for years). I think they just don't want to learn a new tool, there will always be excuses, but they don't really mean much since these people don't plan to switch ever.

 No.1529

>>1528
cont'd
I like Eaglemode, graphical Emacs (the X kind without GTK), and some of the X window managers as well as mpv. Links (browser) has a graphical mode but it looks much like the curses interface. Worker is an interesting file manager and a good example of a classic X11 program that never died out, but its a bit too orthodox, so I don't use it.
Once you get away from the big GUI silos trying to replicate some other system semi-successfully, you can see the advantages and disadvantages of the Unix-like approach. Unix-likes don't really care much about graphics so there is a lot of complexity in the whole pile of display technologies. Ideally they're just trying to display a TTY, not a graphical environment with GL acceleration and programs capable of displaying OpenGL or Vulkan stuff with specialized hardware and drivers. It took many years for Mesa/drm (not digital rights management) in the kernel/X to work this well for a lot of people, and there are still problems. Desktop software wise, people had to write a lot of standards, XDG/ICCCM/EMWH and so on, and they're not really seamless or without problems, so its kind of terrible for an Apple, Windows, or BeOS clone. But on Unix-likes, you can have it your way usually, you can have your own window manager of choice that works well for you and can be modified to fit your needs, rice Emacs or Vim or whatever, tile those windows, etc.
Oh and NVIDIA doesn't care much about Linux or other open source platforms so CUDA isn't really as relevant (requires proprietary drivers), and OpenCL usage is limited, so there are less programs using or related to that sort of thing.

 No.1530

>>1529
>Eaglemode
Good taste.



File: 1553639033784.jpg (105.92 KB, 1280x720, big_1472085120_image.jpg)

 No.907[Reply]

This show has so many comfy cyberpunk shots fuck
7 posts and 3 image replies omitted. Click reply to view.

 No.985

>>984
It's not exactly a secret, they have statues for Lacan, Derrida and some other.

 No.987

I generally don't watch much anime, but fuck I adore this show

 No.988

Yea not bad, watched it in 2/3 days when bored, hoped for something better when I finished it btw

 No.1005

>>941
pleb filtered

 No.1009

>>984
THANK YOU

I'VE BEEN LOOKING FOR THAT WEBSITE FOR YEARS

I remember there was one out there I had found that did side by side shot comparisons of ergo and famous movies/paintains etc. but could never find it again.



Delete Post [ ]
[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
| Catalog
[ a / b / art / cy / lain / alt / o ] [ wired / meta ] [ home / information / affiliates / updates ] [ mebious ]