▲ 26 r/compsci

Is lean, and similar programming languages the only acceptable way to prove theorem with computers?

So, lean is the language built specifically to prove theorems.but if the algorithm will be rewritten in another programming language, such as python, will it be accepted?

(mathematical theorems)

reddit.com
u/FollowingEvery4802 — 10 days ago
▲ 1 r/IBO

Which tools can I use for ee/IA?

What if, for instance, I will code the mathematical simulation/data analysis/web scraping/whatever for data gathering and processing? Or use a physical/chemical simulation for the experiment? Or center my ee/IA around smt entirely depended on the code? (Not computer science subject).

Or what if I will center my chem IA on comparing the real life experiment against a simulation?

I'm m28, so i did not get any information yet

reddit.com
u/FollowingEvery4802 — 2 months ago
▲ 11 r/ScientificComputing+2 crossposts

Tried implementing the NAND-tree algorithm in Qiskit

I've been working on a Qiskit implementation of the NAND-tree quantum algorithm and thought I'd share it here.
Right now it works with small finite trees. I implemented the quantum walk, the input oracle, query counting, and a few different ways of simulating the Hamiltonian. I've mostly been testing it on 2, 4, and 8 leaves.

It's not a scalable implementation yet. Some parts still use dense Hamiltonian matrices, and figuring out how to get past that is one of the things I'm looking into.
Here's the repo:
https://github.com/mncrftfrcnm/qiskit-nand-tree-implementation
If anyone here has worked with NAND-tree algorithms or quantum walks, I'd really appreciate feedback, especially if you spot something wrong with how I've handled the oracle or query counting.

u/FollowingEvery4802 — 2 months ago
▲ 3 r/IBO

Should I take the chem, math AA hl, and physics HL, or English HL over physics?

Like, I don't know if I will be able to do 3 of the most difficult subjects, and how much it opens up in Universities? Or should I take the IMO easier English?

reddit.com
u/FollowingEvery4802 — 3 months ago

Cannot get 2fa code for some reason

Basically title. Previously I posted some solutions, but now it requires a 2fa, and I do not get the code no matter when or how I try

reddit.com
u/FollowingEvery4802 — 3 months ago
▲ 29 r/ruJoJo+4 crossposts

recreating the 7th jojo personality test in a website

So, while being interested in this game(really good, check it out: https://7thjojo.fandom.com/wiki/FAQ#Download_links), mainly it's personality test system, and the fact that it gives you an actual stand you can play with.

so, interested in what stand i might be given, i tried to find one, but there was really no easy to do it without reading a lot of text, or downloading(and actually playing lol, which may take a bit of time) the game.

so, I created a website, that makes the game-boy styled survey for selecting your stand.

If that seemed interesting to you, then you can download the original game, and enjoy it.

website link: https://mncrftfrcnm.github.io/7th_jojo_personality_test_site.html

u/FollowingEvery4802 — 3 months ago