Skip to main content
Tour
About Us
Meta
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 400 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
7
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
61
How can a point source emit spherical EM waves when they are forbidden by Maxwell's equations?
physics.stackexchange.com
45
If diverging rays never meet, why do parallel rays meet at infinity?
physics.stackexchange.com
32
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
26
Which is a polymorphic type: a type or a set of types?
stackoverflow.com
25
Deriving Via With Standalone Deriving
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
21
Is there a *geometric* explanation for why photons have no rest frame?
physics.stackexchange.com
20
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
What is the decorator running order?
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
Test if all elements of a Foldable are the same
stackoverflow.com
14
Comparing string references
stackoverflow.com
13
HasResolution typeclass
stackoverflow.com
13
Is there a type of hologram that could be used to focus light?
physics.stackexchange.com
13
Can a prvalue of type int be invoked?
stackoverflow.com
13
Why does erasure still allow overriding/implementation?
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
Prevent inadvertently using different type class instance
stackoverflow.com
12
Understanding Wikipedia's definition of a spinor
physics.stackexchange.com
12
In quantum field theory, why is vacuum considered to have the same properties as a particle?
physics.stackexchange.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
1
2
3
4
5
…
7
next