Tag Archives: #programming

English [sCTF 2016] [CODE 130 – I Can’t Get No Satisfaction] Write Up


I’ve got another task for you involving my little language, Prop!

It consists of the following expressions (denoted e):

  • Boolean constants, written true and false.
  • Boolean variables, written as any alphabetical string.
  • Implies, written e -> e.
  • Equivalence, written e <-> e.
  • Negation, written !e.
  • And, written e && e.
  • Or, written e || e.

You can also parenthesize any expressions or subexpressions (so, you can write (a || b) && c). Here’s another example program:

(a || b) && c && d && (!d || b) || (b -> c) && (d <-> a)

This time, I’ve determined that the attached program is satisfiable, but I want to know the actual values that make this program satisfiable. Can you find me a satisfying model, please? When you’ve found one, submit a GET request to our server. Any missing keys are considered false.

Here’s an example request:


This request would treat a and b as true and c and the rest of the variables as false. Thus, it’s only necessary to assign the true keys to the value true.



Continue reading [sCTF 2016] [CODE 130 – I Can’t Get No Satisfaction] Write Up

English [HackIM 2016] [Programming 500 – Programming Question 5] Write Up


Programming Question 5 500 pts

Dont blink your Eyes, you might miss it. But the fatigue and exhaustion rules out any logic, any will to stay awake. What you need now is a slumber. Cat nap will not do. 1 is LIFE and 0 is DEAD. in this GAME OF LIFE sleep is as important food. So… catch some sleep. But Remember…In the world of 10×10 matirx, the Life exists. If you SLOTH, sleep for 7 Ticks, or 7 Generation, In the game of Life can you tell what will be the state of the world?

The world- 10×10


Continue reading [HackIM 2016] [Programming 500 – Programming Question 5] Write Up

English [HackIM 2016] [Prog 1/3/4 200/300/400] Write Up


Programming 1 (200 points):

So you reached Delhi and now the noise in your head is not allowing you to think rationally. The Nosise in your head has origin its Origin in your Stomach. And this is a big hunger. You can finish one or probably 2 Tandoori Chicken. So where can you get the best Tandoori Chicken in Delhi? This place tweeted last week that the Tandoori Chicken it servers is like never B4. You got its twitter handle?

Programming 2 (300 points):

Still Hungry and unsutisfied, you are looking for more. Some more, unique un heard dishes. Then you can find one to make it your self. Its his Dish. He has his own website which is he describes as ” a social home for each of our passions”. The link to his website is on his google+ page. whats the name of his site. By the way he loves and hogs on “Onion Kheer”. Have you heard of “Onion Kheer”?

Programming 3 (400 points):

One of the NullCon vidoes talked about a marvalous Russian Gift. The Vidoe was uploaded on [May of 2015] What is the ID of that youtube video.

Continue reading [HackIM 2016] [Prog 1/3/4 200/300/400] Write Up