Skip to main content
Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante
  • Member for 11 years, 11 months
  • Last seen this week
Profile Activity

Stats

3,588
reputation
67k
reached
15
answers
53
questions
Communities
View all

About

Researcher at the Free University of Bozen-Bolzano working on temporal reasoning in formal methods and AI.

Badges

View all badges
This user doesn’t have any gold badges yet.
22
silver badges
39
bronze badges

Top tags

View all tags
29
Score
32
Posts
47
Posts %
27
Score
8
Posts
12
Posts %
18
Score
8
Posts
12
Posts %
4
Score
5
Posts
7
Posts %
4
Score
5
Posts
7
Posts %
1
Score
15
Posts
22
Posts %

Top posts

View all questions, answers, and articles
38
How can I detect if a type can be streamed to an std::ostream?
Mar 31, 2014
27
Why the libc++ std::vector internally keeps three pointers instead of one pointer and two sizes?
May 24, 2015
21
Making use of allocators in a custom container class
Jan 19, 2014
17
Can I have a heap-like contiguous layout for complete trees based on a depth first order rather than breadth first?
Jun 19, 2014
16
How can I include a header file that contains `>` in its name?
May 28, 2019
16
Is calling std::min on an empty initializer list (and explicitly specifying the type) undefined behavior?
Jul 2, 2015
15
On how to recognize Rvalue or Lvalue reference and if-it-has-a-name rule
Dec 31, 2014
15
How do I detect if my code is being compiled with -fno-exceptions?
Aug 12, 2014
13
Removing last trailing comma from the arguments of a macro
Jun 7, 2022
9
"lifetime may not live long enough" for static reference to function pointer
Nov 4, 2025

Top network posts

View all network posts
118
Hyperref warning - Token not allowed in a PDF string
27
Why can't TeX show us the actual "undefined control sequence"?
22
Has the semantics of TeX (as a programming language) ever been formalized?
19
What is the reasoning behind making non-determinism a feature of Haskell?
16
Is the "ques­tions that can’t be an­swered over an­swers that can’t be ques­tioned" quote by Feynman authentic?