We are the anti-"dating app".
No more swiping.
No more pay walls.
No more dopamine addiction.
With DateNight you'll actually go on dates.
And maybe, just maybe, you'll be one of the countless couples who met through our site.
We host speed dating events - but not the type you're used to. This is how we do it better:
Most importantly, we ask you questions about who you are and what you're looking for, and match you based on that. It's not random.
All our events are online, so no more awkward feelings of being in a room with a hundred other singles ushered around tables. It's just you and your dates.
Our events only take about an hour, and you'll meet at most 7 people. It's not overhwhelming and you don't have to dedicate a full night to it.
If you decide to come back for another event (most do), you won't be matched with the same people. Plus our algorithm gets smarter at matching you.
: The structure of propositions, types of judgments (categorical, hypothetical, disjunctive), and the "logical square." Inference (Zaključak) : Immediate Inference : Conversion and opposition.
Petrović’s genius (or madness) lies in embedding the PDF specification—the ISO 32000 standard—into the type system of a dependently typed language (likely a subset of Idris or a custom Coq extraction).
Gajo Petrović’s Logika is not merely a relic of socialist-era education; it is a timeless guide to clear thinking. By balancing the technical requirements of formal logic with a passionate commitment to philosophical "praxis," Petrović created a work that teaches us not only how to think correctly, but how to think for ourselves. AI responses may include mistakes. Learn more
Sign up and pay for an event.
Our algorithm creates the schedules and sends you your link a few hours before the event.
Meet up to 7 singles who match your criteria. Our platform does all the work of rotating you through dates.
Fill out your feedback form and let us know who you'd like to see again.
We'll notify you if there's a match and link you to your Dater Portal where you can see their contact info. The rest is up to you!
: The structure of propositions, types of judgments (categorical, hypothetical, disjunctive), and the "logical square." Inference (Zaključak) : Immediate Inference : Conversion and opposition.
Petrović’s genius (or madness) lies in embedding the PDF specification—the ISO 32000 standard—into the type system of a dependently typed language (likely a subset of Idris or a custom Coq extraction).
Gajo Petrović’s Logika is not merely a relic of socialist-era education; it is a timeless guide to clear thinking. By balancing the technical requirements of formal logic with a passionate commitment to philosophical "praxis," Petrović created a work that teaches us not only how to think correctly, but how to think for ourselves. AI responses may include mistakes. Learn more