- Stack Overflow 1.6k 1.6k 22 gold badges2020 silver badges3434 bronze badges
- Computer Science 1.3k 1.3k 55 silver badges1111 bronze badges
- Software Engineering 901 901 11 gold badge66 silver badges1414 bronze badges
- Mathematics 795 795 66 silver badges1212 bronze badges
- Artificial Intelligence 675 675 22 silver badges88 bronze badges
- View network profile →
Top network posts
- 21 Is it normal design to completely decouple backend and frontend web applications and allow them to communicate with (JSON) REST API?
- 14 How to see org.codehaus.jackson log messages - using logging.properties
- 13 Good reference about approximate methods for solving logic problems
- 11 Are there parallel matrix exponentiation algorithms that are more efficient than sequential multiplication?
- 9 How to debug/trace System.Web.Services.Protocols.SoapHttpClientProtocol.invoke (from Windows mobile)?
- 8 Isabelle/HOL sequents: meaning of types o, seq', meaning of nonterminals seq, seqobj, seqcont
- 8 How to call proof asistant Coq from external software
- View more network posts →