Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
HTNW
top
accounts
reputation
activity
subscriptions
Top Questions
9
votes
What axioms do I need to search the naturals?
coq
axiom-of-choice
markovs-principle
asked Apr 24, 2022 at 10:58
proofassistants.stackexchange.com
6
votes
How to guarantee copy elision with std::variant?
c++
c++17
variant
copy-elision
asked Jun 4, 2019 at 0:12
stackoverflow.com
6
votes
Is it legal to cast a pointer to a partially constructed object to a pointer to a base class?
c++
language-lawyer
asked Aug 7, 2021 at 1:57
stackoverflow.com
5
votes
Fusion for length-indexed linked lists
haskell
optimization
asked Jun 13, 2018 at 19:00
stackoverflow.com
Top Answers
65
Accidentally did dd /dev/sda
askubuntu.com
45
If diverging rays never meet, why do parallel rays meet at infinity?
physics.stackexchange.com
28
What is the difference between a partition name and a partition label?
superuser.com
28
Monad laws expressed in terms of join instead of bind?
stackoverflow.com
27
Without saying "cross product" explain why there is a skew-symmetric angular momentum tensor
physics.stackexchange.com
25
Deriving Via With Standalone Deriving
stackoverflow.com
23
Which is a polymorphic type: a type or a set of types?
stackoverflow.com
22
Why does foldl' use a lot of RAM with complex data structures?
stackoverflow.com
21
The need for pure in Applicatives
stackoverflow.com
20
Is there a *geometric* explanation for why photons have no rest frame?
physics.stackexchange.com
19
Why does the speed of an object affect its path if gravity is warped spacetime?
physics.stackexchange.com
19
Can this function be written in point-free style? If not, why?
stackoverflow.com
16
Why is the effective mass of silicon anisotropic?
physics.stackexchange.com
16
Is the Yoneda Lemma only useful from a theoretical point of view?
stackoverflow.com
15
Why does chaining .map() and .filter() in Kotlin not work as expected?
stackoverflow.com
15
What's the difference between .map (...) and .map {...} in scala
stackoverflow.com
14
Comparing string references
stackoverflow.com
14
Test if all elements of a Foldable are the same
stackoverflow.com
14
What is the decorator running order?
stackoverflow.com
13
HasResolution typeclass
stackoverflow.com
13
Why does erasure still allow overriding/implementation?
stackoverflow.com
12
In quantum field theory, why is vacuum considered to have the same properties as a particle?
physics.stackexchange.com
12
Is there a type of hologram that could be used to focus light?
physics.stackexchange.com
12
Prevent inadvertently using different type class instance
stackoverflow.com
12
Can I print in Haskell the type of a polymorphic function as it would become if I passed to it an entity of a concrete type?
stackoverflow.com
12
Why does foreach only execute once when param name isn't specified?
stackoverflow.com
12
Can all typechecking occurrences of `coerce` safely be replaced with `unsafeCoerce`?
stackoverflow.com
11
Inform c or c++ compiler loop length is mutliple of 8
stackoverflow.com
11
Java & Kotlin casting with generics. Losing typesafety
stackoverflow.com
11
How to not apply instance constraints on a restricted function which uses a more generic function?
stackoverflow.com
1
2
3
4
5
6
next
Stack Exchange works best with JavaScript enabled