1. Tour
  2. About Us
  3. Meta
Loading…
  1. 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
  2. Log in

Stack Exchange

  • All Sites
  • Top Users
  • Digests

Sacchan

top accounts reputation activity subscriptions
Top Questions
14 votes

How to extract the witness from exists in Coq in function notation/without destructing?

coq witness asked Apr 24, 2022 at 10:23
proofassistants.stackexchange.com

9 votes

Hiding a private overloaded virtual function?

c++ inheritance g++ clang++ asked Jul 5, 2017 at 14:52
stackoverflow.com

8 votes

Use the current directory in Vim commands

vim vimscript asked Dec 18, 2012 at 15:43
stackoverflow.com

8 votes

Does a Cube of Force on setting 2 block the clothing people are wearing?

dnd-5e magic-items equipment asked Jan 29, 2017 at 11:23
rpg.stackexchange.com

6 votes

Fork to shell script and terminate original process with Haskell

haskell process fork asked Nov 6, 2012 at 22:33
stackoverflow.com

5 votes

What would happen if a planet gradually lost mass?

gravity astrophysics asked Jul 6, 2021 at 20:36
worldbuilding.stackexchange.com


Top Answers
30
"DDoouubbllee ssppeeaakk!!"
codegolf.stackexchange.com

5
Could you make me a hexagon please?
codegolf.stackexchange.com


Stack Exchange
  • About
  • Contact
  • Feedback
Company
  • Stack Overflow
  • Teams
  • Advertising
  • Collectives
  • Talent
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
  • Cookie Settings
  • Cookie Policy
Stack Exchange Network
  • Technology
  • Culture & recreation
  • Life & arts
  • Science
  • Professional
  • Business
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

Site design / logo © 2023 Stack Exchange Inc; user contributions licensed under CC BY-SA. rev 2023.6.6.43481