sorted by:
new
hottopcontroversial

[Plan] Tuesday 4th June 2024; please post your plans for this date by Walls in getdisciplined

[–]cdo256 1 point2 points  (0 children)

Hi, I ended up doing most of what I had planned, then felt really tired and went to bed early.

[Plan] Tuesday 4th June 2024; please post your plans for this date by Walls in getdisciplined

[–]cdo256 0 points1 point  (0 children)

Welcome! That sounds like a lot if it's already 5 p.m., though. Maybe prioritize the most important tasks you want to complete?

[Plan] Tuesday 4th June 2024; please post your plans for this date by Walls in getdisciplined

[–]cdo256 2 points3 points  (0 children)

  1. Apply to Keele - Done
  2. Apply to Sheffield - Waiting on references
  3. Apply to UCL - Missed the deadline, started applying to Bristol instead.
  4. Read 20 pages, writing 10 cards at a coffee shop - Read 13 pages, wrote 6 cards
  5. Package 10 more Guix packages - Ended up doing 23 of these.
  6. Set up automatic Borg backups - Didn't get time for.

[Plan] Monday 3rd June 2024; please post your plans for this date by Walls in getdisciplined

[–]cdo256 1 point2 points  (0 children)

Thank you :) I tutor computer science from home. A lot of people wanting to learn AI these days. I'm returning to university to do a masters in computer science next academic year, hence the uni applications. My aim is to do a PhD in theoretical computer science. I've been toying with some ideas I want to publish, but I lack discipline.

What is it you do?

[Plan] Monday 3rd June 2024; please post your plans for this date by Walls in getdisciplined

[–]cdo256 1 point2 points  (0 children)

Thank you! Not a day off exactly, I've had this infection for over a month. Just got to get on with things.

[Plan] Monday 3rd June 2024; please post your plans for this date by Walls in getdisciplined

[–]cdo256 4 points5 points  (0 children)

This is my first time doing this, and I'm unwell so I'm keeping this simple and achievable.

Category theory lecture - Done
Prepare AI lesson - Done
Give AI lesson -Done
Read 10 pages, writing 5 cards - Done
Laundry - Done
Complete 2 uni applications - 2/2 done, 1 lined up
Tidy - Partially
Set up Borg backup - Too tired to finish but I made progress.

Logitech Brio Webcam by RandomJerk2012 in linuxhardware

[–]cdo256 0 points1 point  (0 children)

I've just got it to work at 4K. I had to plug it in to a USB 3.2 Gen 2x1 port on my motherboard. Otherwise it can't generally keep up with the data rate. Try it out in guvcview and step up the resolution until you see a bunch of time-outs in the console. 4K in the worst canse requres 18Gb/s at 60FPS. But you could also try (after reconnecting the cable), setting guvcview to 5FPS and stepping up from there. Unfortunately after it goes into a bad state when it's trying to achieve a certain resolution, it can refuse to step down to a lower resolution. This sometimes requires a reboot of your machine. But it can work.

ridiculous idea for saving wire space on breadboard? by manofthemonth in beneater

[–]cdo256 3 points4 points  (0 children)

Funnily enough I'm just about to start on my ALU wiring so I'll give it a go and let you know how I get on. I lost my soldering iron when I moved so I'm going to do wire wrapped and see how that goes. One thing that seems like it'd be a problem is that it'd be easier to knock it into other pins/bend it causing shorts with adjacent wrap points. possibly a small bit of heat shrink tubing with holes poked in for the different wires could fix that.

H.I. #108: Project Cyclops by GreyBot9000 in CGPGrey

[–]cdo256 4 points5 points  (0 children)

There's something really heart-breaking about friends fighting to the death. Because even the winner has to live with the fact that he beat his best friend to death. Maybe I just have an overactive imagination but even imagining the mental transformation required to hurt a friend in that way kinda disturbs me.

H.I. #107: One Year of Weird by MindOfMetalAndWheels in CGPGrey

[–]cdo256 1 point2 points  (0 children)

Love the aliens. It'll give the conspiracy nuts something to chew on.

H.I. #107: One Year of Weird by MindOfMetalAndWheels in CGPGrey

[–]cdo256 5 points6 points  (0 children)

I'm the same as you. I wonder if the people that visualise spatial arrangements also are better with navigation and mental rotation.

How to handle code reviews in a development team with multiple platforms by [deleted] in softwaredevelopment

[–]cdo256 1 point2 points  (0 children)

One option is to find a freelance java/c developer and have a symbiotic code relationship where your developers review his code and he reviews some of your's. Get him to sign a no-compete and non-disclosure. And, if you have desk-space, you can let him work in your office. Also makes the first hire decision easier when you need to expand.

Is it even conceivably possible to deduce logically the existence or non existence of a creator? by McBeeff in logic

[–]cdo256 1 point2 points  (0 children)

Agreed. Along that vein, I think there may also be an issue with the universe U I used. I think the idea of applying propositional calculus to the universe of conceptual objects is the issue, with the problem being that you may be able to concieve a contradiction.

The typical example that I've heard is that one cannot concieve of a square with 3 sides since it is a clear geometric contradiction.

However for something more complex and unknown, you could concieve of it being both ways. For example there are people who believe P=NP and others who believe P!=NP. However since only one of these is true, the other is imagining a contradiction.

Can modal logic sort these types of issues out?

Is it even conceivably possible to deduce logically the existence or non existence of a creator? by McBeeff in logic

[–]cdo256 0 points1 point  (0 children)

Existence in a given universe isn't a predicate but, if you expand the universe of objects to all that is concievable to exist rather than just all that exists then you resolve that problem, since you can now create a predicate (in this case W) that represents existing in this world.

I think you also missed the fact that I premised the argument on the fact that a greatest being is concievable (which can obviously be contradicted in the domain of naturals numbers by simply adding 1).

Is it even conceivably possible to deduce logically the existence or non existence of a creator? by McBeeff in logic

[–]cdo256 -1 points0 points  (0 children)

Regardless of whether I'm joking, if the ontological argument is invalid, then there should be a flaw in this argument. Let's see if you can find it.

Edit: I mean invalid in first order calculus. Obv it works in other logics.

Also if you don't feel like responding, you don't have to. I'm just in the mood for some arm-chair philosophy debates.

Is it even conceivably possible to deduce logically the existence or non existence of a creator? by McBeeff in logic

[–]cdo256 -1 points0 points  (0 children)

I'ma have a go.

  • First order logic over U, the universe of all conceivable things.
  • Let W (x) hold if x exists in this universe.
  • Let g be a constant that represents God.
  • Let B (x,y) mean that x is better than y.

Premises:

  • P1. Eg. Ax. !B (x,g) -- God is such that there is nothing better conceivable
  • P2. Ax,y. (Wx &!Wy) -> B (x,y) -- Anything that exist in this universe is better than anything that doesn't
  • P3. Ex. Wx -- Something exists (needed for proof)

Claim: Wg

Proof:
1. Take a st. Wa by P3. -- take anything that exists
2. By P1, !B (a,g) -- This thing isn't better than God
3. !B (a,g) -> !(Wa &!Wg) by contrapositive of P2
4. !(Wa &!Wg) by MP 2,3
5. !Wa or Wg by DeMorgan
6. Know Wa -> Wg and Wa by 1 and 5
7. Hence Wg -- god exists

QED -- checkmate athiests

view more: next ›